Conference articles
Normalisation vérifiée du
langage Lustre
with Timothy Bourke, Basile Pesin and
Marc Pouzet
Journées francophones des langages applicatifs (JFLA), april 2021
Verified Lustre normalization
with node subsampling
(poster,
blog post)
with Timothy Bourke, Basile Pesin and
Marc Pouzet
International Conference on Embedded Software (EMSOFT), october 2021
Towards a denotational semantics of streams for a verified Lustre compiler
with Timothy Bourke and Marc Pouzet
International Conference on Types for Proofs and Programs (TYPES), june 2022
Functional Stream Semantics for a Synchronous Block-Diagram Compiler
with Timothy Bourke and Marc Pouzet
Symposium on Logic in Computer Science (LICS), june 2025
Une sémantique de Kahn mécanisée pour les machines à états
with Timothy Bourke et Marc Pouzet
Journées francophones des langages applicatifs (JFLA), january 2026