Publications

Program analyses and transformations for automatic parallelization

Models and algorithms for high-level synthesis

Habilitation

PhD Thesis