[ English version ]
Mon thème de recherche principal est celui de la conception et
la réalisation de langages pour la programmation des
systèmes réactifs. Je m'intéresse en
particulier : à l'étude théorique des
modèles de composition et de temps (synchrone et asynchrones)
sur lesquels ils reposent, à leurs sémantiques
formelles, aux techniques de compilation pour les mettre en
oeuvre.
Sélection de logiciels (liste complète)
- ReactiveML : une extension réactive de OCaml
- Lucy-n : une extension n-synchrone de Lustre
- Q*cert: un compilateur de requêtes écrit avec l'assistant de preuves Coq
- CloudLens: analyse de données semi-structurées
Sélection de publications (liste complète)
-
Handling environments in a verified query compiler.
International Conference on Management of Data, SIGMOD 2017
avec Joshua Auerbach, Martin Hirzel, Avi Shinnar, and Jérôme Siméon
[ bib ] -
Control structure overloading in X10.
X10 Workshop, X10 2016
avec Joshua Milthorpe and Olivier Tardieu
[ bib ] -
ReactiveML, Ten Years Later.
Principles and Practice of Declarative Programming, PPDP 2015
avec Cédric Pasteur and Marc Pouzet
[ bib | .pdf ] -
Time Refinement in a Functional Synchronous Language.
Science of Computer Programming, SCP 2015
with Cédric Pasteur and Marc Pouzet
[ bib | .pdf | more details ] -
Reactivity of Cooperative Systems.
International Static Analysis Symposium, SAS 2014
avec Cédric Pasteur
[ bib | .pdf | en savoir plus ] -
A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music.
International Conference on Embedded Software, EMSOFT 2013
avec Guillaume Baudart, Florent Jacquemard et Marc Pouzet
[ bib | .pdf | en savoir plus ] -
Time Refinement in a Functional Synchronous Language.
Principles and Practice of Declarative Programming, PPDP 2013
avec Cédric Pasteur and Marc Pouzet
[ bib | .pdf | en savoir plus ] -
Scheduling and Buffer Sizing of n-Synchronous Systems:
Typing of ultimately periodic clocks in Lucy-n.
Mathematics of Program Construction, MPC 2012
avec Florence Plateau
[ bib | .pdf | en savoir plus ] -
Lucy-n: a n-Synchronous Extension of Lustre.
Mathematics of Program Construction, MPC 2010
avec Florence Plateau et Marc Pouzet
[ bib | .pdf | en savoir plus ] -
Interactive Programming of Reactive Systems.
Model-driven High-level Programming of Embedded Systems, SLA++P 2008
avec Florence Plateau
[ bib | .pdf | en savoir plus ] -
Programming in JoCaml.
17th European Symposium on Programming, ESOP 2008
avec Luc Maranget
[ bib | .pdf ] (extended version [ .pdf ]) -
Conception, Sémantique et Implantation de ReactiveML : un langage à la ML pour la programmation réactive.
Thèse de doctorat de l'Université Paris 6, mai 2006
[ bib | .ps.gz | .pdf ] -
Simulation and verification of asynchronous systems by means of a synchronous model.
Sixth International Conference on Application of Concurrency to System Design, ACSD 2006
avec Nicolas Halbwachs
[ bib | .pdf ] -
ReactiveML, a Reactive Extension to ML.
Principles and Practice of Declarative Programming 2005
avec Marc Pouzet
[ bib | .pdf ] (extended version [.pdf])
Docteurs
- Florence Plateau :
Modèle n-synchrone pour la programmation de réseaux de Kahn à mémoire bornée.
Thèse de doctorat de l'Université Paris-Sud 11, janvier 2010
[ bib | .pdf | en savoir plus ] - Cédric Pasteur :
Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel.
Thèse de doctorat de l'Université Paris-Sud 6, novembre 2013
[ bib | .pdf | en savoir plus ] - Adrien Guatto :
A Synchronous Functional Language with Integer Clocks.
Thèse de doctorat de l'Université Paris Sciences et Lettres, janvier 2016
[ bib | .pdf ]