Huanwen Qu

Name: Huanwen Qu
Email: hqu@cs.uu.nl

Courses

2004

Period 3

• Functional Programming
• Program Correctness

Period 4

• Program Verification
• Automatic Program Analysis

Period 1

• Software Engineering
• Software Specification

Period 2

• Implementation Of Programming Languages
• Software Architecture

2005

Period 3

• Distributed Object Systems
• Program Transformation

Period 4

• Advanced Functional Programming

Period 1

• Type Systems

Thesis Project

Colloquium

A System and Language for Building System-Specific, Static Analyses

Topic/Area

Program analysis and program transformation.

Project

Project title: Interactive Loop Paralellelization for C Programs
Advisor: Doaitse Swierstra and Paul Stravers
Start date: 05-12-2005
End date: 30-06-2006

Abstract

It's been years since Philips introduced the successful media processor TriMedia which is capable of processing audio, video, graphics and communication-data at the same time. Now the new generation media processor of Philips, the Wasabi processor, integrates multiple TriMedia cores in a single package in order to avoid increasing the complexity of one chip. To fully exploit the multi-core processor, we need to adapt the existing media codes and make them suitable to the new platform. In this thesis, a tool that relieves the application programmer of some his manual work and assists him in the process of parallelization is presented. We propose a framework for analyzing and generating shared memory parallel programs. The tool can analyze loop structures in C programs and detect loop dependencies and other problems in the loops, and subsequently transform the analyzed sequential program into a parallel program by applying the fork-join parallelism. This parallelization process is interactive with application programmers so that the programmers can parallelize an existing program quickly.

Thesis

• My thesis