Research topics

  • Formally defined high-level languages for embedded systems
    • design, semantics and implementation of programming languages
    • synchronous data-flow concurrency
    • address new applications: computationally intensive, large-scale simulation, mix of continuous/discrete time
  • Efficient compilation for Modern architectures
    • internal and formally defined representations of optimizing compilers (e.g., polyhedral compilation algorithms)
    • generate provably correct and efficient code from synchronous designs
    • target modern shared-memory parallel processors (e.g., multi/many cores, tiled processors arrays, GPUs)

PhD Students
  • Ivan Llopard (CEA Leti)
Master Students and Interns
  • Virgile Andreani
  • Ulysse Beaugnon
  • François Gindraud
  • Anirudh Kumar
  • Pankaj More
  • Pankaj Prateek
  • Vincent Thiberville

Past members
Webmaster: webdi[@]di[.]ens[.]fr.