){kind=avatar}
Lélio Brun
PhD candidate in Computer Science
My research interests include synchronous languages, functional programming and verified compilation.
Publications
Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset
Specifications based on block diagrams and state machines are used to design control software, especially in the certified development …
Towards a Verified Lustre Compiler with Modular Reset
This paper presents ongoing work to add a modular reset construct to a verified Lustre compiler. We present a novel formal …
A Formally Verified Compiler for Lustre
The correct compilation of block diagram languages like Lustre, Scade, and a discrete subset of Simulink is important since they are …
Talks
Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset
Specifications based on block diagrams and state machines are used to design control software, especially in the certified development …
Jan 24, 2020 4:18 PM
JW Marriott New Orleans
Verified Compilation of the Modular Reset, Finally
We present the formalization of the semantics of the modular reset construct of Lustre, and show how to integrate it into Vélus, a …
Nov 28, 2019 9:45 AM
CAES CNRS - Centre Paul-Langevin
Verifying the Lustre Modular Reset
We present ongoing work on the compilation of the modular reset and its proof of correctness.
Nov 29, 2018 9:00 AM
CAES CNRS - Villa Clythia
Towards a Verified Lustre Compiler With Modular Reset
We present a formalization of the semantics of the modular reset and discuss its compilation.
May 30, 2018 11:30 AM
Schloss Rheinfels Hotel
Vélus: Towards a Modular Reset
We present two ideas in this talk:
- A co-inductive based semantics formalization for normalized Lustre
- A formalization of the semantics …
Nov 29, 2017 2:45 PM
Centre Inria Rennes - Bretagne Atlantique
Proving a Lustre Compiler Part 2
The compilation of block diagram languages like Lustre or Scade often use an intermediary language between the source data-flow code …
Dec 7, 2016 5:30 PM
Dominikanerkloster Bamberg