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
  • Tommaso Borghesi
Past members
  • 2015
    Assia Saadi (Assistant)
    Ivan Llopard (CEA Leti)
    Riyadh Baghdadi
    Virgile Andreani (Master)
    Anirudh Kumar (Intern)
    Abhishek Jain (Intern)
    Pankaj More (Intern)
    Pankaj Prateek (Intern)
    Victor Nicolet (Intern)
  • 2014
    Louis Mandel (Faculty)
    Jun Inoue (Post-doc)
    Antoine Madet (Post-doc)
    Tobias Grosser (PhD)
    Feng Li (PhD)
    Adarsh Keshan (Engineer)
  • 2013
    Antoniu Pop (Post-doc)
    Boubacar Diouf (Post-doc)
    Serge Guelton (Post-doc)
    Cédric Pasteur (PhD)
    Cédric Auger (PhD)
    Jean-Yves Vet (PhD)
    Guillaume Chelfi (Master)
    Vincent Thiberville (Master)
    Léonard Gérard (PhD)
    Louis Jachiet (Master)
    Ramakrishna Upadrasta (PhD)
  • 2012
    Mehdi Dogguy (Post-doc)
    Pablo Rauzy (Master)
    François Gindraud (Master)
    Cyprien Lecourt (Master)
    Cupertino Miranda (PhD)
    Boris Arnoux (Master)
  • 2011
    Brice Gelineau (Master)
    Sean Halle (PhD)
    Konrad Trifunovic (PhD)
  • 2010
    Florence Plateau (Postdoc)
Webmaster: webdi[@]di[.]ens[.]fr.