My main research topic is on the design and implementation of
programming languages for reactive systems.
Selection of software (full list)
- ReactiveML: a reactive extension of OCaml
- Lucy-n: a n-synchronous extension of Lustre
- Q*cert: query compiler written using the Coq proof assistant
- CloudLens: analysis of semi-structured data
Selection of publications (full list)
-
Handling environments in a verified query compiler.
International Conference on Management of Data, SIGMOD 2017
with Joshua Auerbach, Martin Hirzel, Avi Shinnar, and Jérôme Siméon
[ bib ] -
Control structure overloading in X10.
X10 Workshop, X10 2016
with Joshua Milthorpe and Olivier Tardieu
[ bib ] -
ReactiveML, Ten Years Later.
Principles and Practice of Declarative Programming, PPDP 2015
with 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
with Cédric Pasteur
[ bib | .pdf | more details ] -
A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music.
International Conference on Embedded Software, EMSOFT 2013
with Guillaume Baudart, Florent Jacquemard and Marc Pouzet
[ bib | .pdf | more details ] -
Scheduling and Buffer Sizing of n-Synchronous Systems:
Typing of ultimately periodic clocks in Lucy-n.
Mathematics of Program Construction, MPC 2012
with Florence Plateau
[ bib | .pdf | more details ] -
Lucy-n: a n-Synchronous Extension of Lustre.
Mathematics of Program Construction, MPC 2010
with Florence Plateau et Marc Pouzet
[ bib | .pdf | more details ] -
Interactive Programming of Reactive Systems.
Model-driven High-level Programming of Embedded Systems, SLA++P 2008
with Florence Plateau
[ bib | .pdf | more details ] -
Programming in JoCaml.
17th European Symposium on Programming, ESOP 2008
with 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
with Nicolas Halbwachs
[ bib | .pdf ] -
ReactiveML, a Reactive Extension to ML.
Principles and Practice of Declarative Programming 2005
with Marc Pouzet
[ bib | .pdf ] (extended version [.pdf])
Former PhD Students
- 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 | more details ] - 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 | more details ] - Adrien Guatto :
A Synchronous Functional Language with Integer Clocks.
Thèse de doctorat de l'Université Paris Sciences et Lettres, janvier 2016
[ bib | .pdf ]