Campus de Beaulieu
35042 Rennes Cedex
tél : 02 99 84 74 60
fax : 02 99 84 71 71
My research interests revolve around design tools and technique for complex hardware/software systems. This includes (among others) compiler optimizations for High-Level-Synthesis, automatic parallelisation using polyhedral compilation techniques and hardware assisted Dynamic Binary Translation.
I also recently started collaborating with Isabelle Puaut on WCET aware compilation and parallelization in the context of the H2020 Argo project.
- UE PFO : Principles of Computer Design
See my DBLP entry.
- FP7 ALMA project (2011-2015)
- H2020 ARGO project (2016-2019)
- The Hybrid Dynamic Translation framework : Hybrid-DBT is a hardware acceletared Dynamic Binary Translation Framework operating from RISC-I binaries and targeting customisable VLIW.
- The Gecos Source to Source compiler infrastructure : Gecos is a source-to-source compiler framework we use in our High Level Synthesis research activities.
- Logisim-evolution with FSM : this is a fork from logisim evolution with an additionnal extension for capturing/editing/simulating FSM we use for teaching purposes.
Current PhD Students
- Gaël Deest (with Olivier Sentieys) in october 2013
- Simon Rokicki (With Erven Rohou) in october 2015
- Benjamin Rouxel (with Isabelle Puaut) started in october 2015
- Thomas Lefeuvre (with Isabelle Puaut) started in april 2017
- Thibaut Marty (with Tomofumi Yuki) starting in septembre 2017
- Cong Minh Thanh (with François Charot) started in June 2017
Former PhD Students
- Ali El Moussawi, currently engineer at INRIA
- Naeem Abbas, assistant professor at National University of Sciences & Technology (NUST)
- Antoine Morvan, research engineer at INSA Rennes
- Vivek D. Tovinakere, engineer at Nvidia Corporation
- Adeel Pasha, assistant professor at Lahore University Pakistan
- Clément Guy, engineer at INRIA till 2016