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