You can jump directly to my publications
In the large, I’m interested in Compilation, Programming Languages and Runtime Support (including Operating Systems), Security, and “Low-Level” software activities (link with hardware, etc).
Recently, I’ve started to work within the newly created Phénix team where we are interested in re-designing operating systems and programming languages for addressing so-called frugality: the idea is that society cannot expect to keep increasing computing power indefinitely. Instead, we should try to think smaller (far smaller). Phénix tries to answer a broad question that can be posted as “How do we build minimalist computing systems that fulfill some desirable functionality?” [by desirable, we mean, eg wikipedia, but not video streaming 🙂 ]
I also (still) work (a little) bit on program parallelization, together with Laure Gonnord and Paul Ianneta (Phd Student at Lyon 1), both part of the CASH INRIA Team.
From 2017 to 2020, I was a research engineer at CEA LIST, in Grenoble, where I worked on “compilation for cyber security”. Main keywords are:
- Side-Channel Attacks
- Fault-Injection Attacks
- Software counter-measures (Masking, Hiding)
- Static and Dynamic Compilation
In the (older) past, I’ve been working on Programming Models and Operating Systems for Embedded and Real-Time Systems. In particular :
- Compilation and Runtime support for Dataflow Programming
- Performance Analysis of Dataflow Programs
- In 2016, I received a COOPERA grant (cooperation program by the Rhône-Alpes region, link in French), for collaborating with colleagues at EPFL on the topic of performance analysis on NUMA architecture.
- Paul Ianneta (PhD, 2018-2022) Compiling Trees: Combining Data Layouts and the Polyhedral Model. Co-supervised with Laure Gonnord and Gabriel Radanne.
- Irénée Groz (M2R, 2018) : “Intégrité et confidentialité des programmes et des données pour les systèmes embarqués”.
- Paul Ianneta (M2R, 2018) Efficient Compilation of Data Structures for HPC Programs
- Manuel Selva (PhD, 2011-2015) : “Performance Monitoring of Throughput Constrained Dataflow Programs Executed On Shared-Memory Multi-core Architectures”. In collaboration with Bull SA, Échirolles. You can download his thesis.
- Tewodros Deneke (June-Dec 2014) : “Benefits of dataflow programming for the automatic distribution of video transcoders”. Tedy is doing is PhD on distribution of video transcoders at the Embedded Systems Lab, Åbo Akademy, Turku, Finland.
- Sebastian Bacanu, Kamil Deja, Max Thonagel (Undergrad R&D project, IST Semester, 2014-15): “Programming a Many-Core platform: experiences with the Kalray MPPA” [download report in PDF]
- Coralie Saysset (MSc, 2014) : “Evaluation of the Memory Footprint of Dataflow Programs”
- April 2014: I organized a one-day seminar on Compilation and Execution of Streaming Programs. Check it out here!
- 2005 — PhD in Computer Science – Institut National Polytechnique de Grenoble, FRANCE.
Title: Exploiting Regular Structures and Local Specifications for the Correct Development of Large Reactive Systems.
- Jean Chassin de Kergommeaux, Full Professor, Université de Grenoble
- Marc Pouzet, Full Professor, LIP6-Univ. Pierre et Marie Curie, Paris-6
- Patrice Quinton, Full Professor, ENS Cachan
- Jean-Louis Colaço, Esterel Technologies
- Florent Maraninchi, Full Professor, Université de Grenoble (Advisor)