My thesis is about Compilation and Optimization of Parallel Languages.
My thesis focuses on automatically generate a distributed parallel code from a sequential code.
This code generation is done with simple step-by-step transformations to guarantee the correctness of the result.
I am especially interest on task parallelism that is less known than data parallelism. Task parallelism unrestrict the parallelism on the loop unlike the data parallelism. But the guarantee of all the task has an update data still must be check.
|firstname dot lastname at cri dot mines dash paristech dot fr
Room R.06, Building P (Couperin)
Centre de Recherche en Informatique
35, rue Saint-Honoré
77305 Fontainebleau CEDEX