Research

You can jump directly to my publications

2016-17 : I’m looking for students to work on :

  • M2R: compilation of dataflow programs (together with Laure Gonnord@LIP): Topic here (in French).
  • L3: Static Analysis via Horn Encoding From synchronous Dataflow Programs (together with Laure Gonnord@LIP): Topic here (in English).
  • M2R: performance evaluation of dataflow programs: Topic here (in English).

Research topics

My current research activities focus 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

Applications cover mainly multi-media (typically video) and software-defined radio.

If any of this rings a bell, let me know.

In the large, I’m interested by and open for collaboration on the following topics : Task Scheduling, Memory Management, Runtimes for Parallel Programming Languages, Models of Concurrency and Computations (MoCCs), Programming Languages (in particular Dataflow Programming), Reactive Systems, Synchronous Languages.

I run my research within the CITI labSocrate team.

Current projects

  • 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.

Past students:

  • 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”

Events:

  • April 2014: We organized a one-day seminar on Compilation and Execution of Streaming Programs. Check it out here!

PhD:

  • 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.
    Jury:

    • 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)