Organization / Workplace

Location

Occupation

Industry

Education

Website

About

Research Interests * Parallel Computing for Real-time applications * Generative programming and meta-programming * High-level tools and models for parallel programming * Massively Parallel architectures and accelerators My researches focus on studying generative programming idioms and techniques to design tools for parallel software development. The two main parts of those works are : exploration of Embedded Domain Specific Language design for parallel computing on various architectures and the definition of a formal framework for reasoning about meta-programs and prove their compile-time correctness. Applications range from real-time image processing on embedded architectures to High Pe...