High Level Parallel Programming and Parallelization

The problems involved in developing efficient and correct parallel programs have proved much harder than those in developing efficient sequential ones, both for programmers and for compilers. We have made the first attempt to construct a calculational framework for parallelization of sequential programs, including a novel inductive synthesis lemma and a calculation algorithm for parallelization of general recursive functions. Being constructive, this work has proved to be useful both in parallelizing compiler and in parallel programming.

Selected Papers

More papers are available here.


Maintained by Zhenjiang Hu. Last modified in 2006.