Marc Pouzet

Latest

• Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset
• Towards a Verified Lustre Compiler with Modular Reset
• A Formally Verified Compiler for Lustre