Niels Van Der Velden

Name: C.P.J. van der Velden
Email: cpjvelde@cs.uu.nl

Papers read for EIFL

Planning

indicate which courses or other actitivities you plan to take in which period (for convenience links to ST courses have been added; replace if necessary)

2003-2004

• Software Technology Colloquium (one meeting each week during year 1 and 2)

Period 1

• Software Engineering
• Advanced Functional Programming
• Student Assistent for: Inleiding Intelligente Systemen

Period 2

• Internet Programmeren
• Program Transformation
• Data Base Architectures
• Student Assistent for: Modelleren en systeemontwikkeling

Period 3

• Distributed Object Systems
• Generic Programming
• Student Assistent for: Functioneel Programmeren

Period 4

• Automatic Program Analysis
• Type Systems
• Student Assistent for: Zoekalgoritmen

2004-2005

Period 1

• Efficient Implementation Of Functional Languages
• Student Assistent for: Graphics

Period 2

• Editing structured documents and XML
• Student Assistent for: Internet Programmeren

Thesis Project

Topic/Area

Program Analysis, Parallelization

Project

Project title:
Location: Philips Research
Internal Advisor: Doaitse Swierstra
External Advisor: Paul Stravers
Start date: 1-12-04
End date: 31-08-05

Description

There is a large amount of public domain C code available, though most of the time not nicely coded. The real problem is however, that it is all sequential code not suitable to run in parallel. This is required for a chip containing multiple cpu's. Currently this software (think of MPEG2 decoders) is changed by hand, so it can run in parallel. Ofcourse this is tedious error prone work. This is where my thesis comes into play. The idea is, that a software engineer (or just someone with knowledge about the application) points out what should be parallelized. My tool should then start doing analysis required to determine the problems in the sequential code. In some specialized situations I expect that some parallelizing transformations can be automated. Note that I'm not interested in full automatic paralellization at all. To summarize, my tool should augment people in parallelizing sequential public domain C code by providing analysis (which should detect problems in the sequential code and sorts) and automatic parallelization to some extent.

Thesis

Thesis Page