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)

External associate researchers
Postdoctoral researchers
  • Michael Kruse
  • Zhen Zhang
PhD Students
  • Mircea Namolaru
Master Students and Interns
  • Virgile Andreani
  • Anirudh Kumar
  • Pankaj More
  • Pankaj Prateek
  • Victor Nicolet
Past members
Webmaster: webdi[@]di[.]ens[.]fr.