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.