Conférences
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.