Lélio Brun's homepage
Lélio Brun's homepage
About
Publications
Talks
Projects
Experience
Teaching
Academic service
Contact
CV
Light
Dark
Automatic
Events
2020
Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset
Dec 17, 2020 11:00 AM
IRISA - Inria Rennes
68NQRT Seminar
Project
Slides
Video
Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset
Jan 24, 2020 4:18 PM
JW Marriott New Orleans
POPL'20
Project
Slides
Video
2019
Verified Compilation of the Modular Reset, Finally
Nov 28, 2019 9:45 AM
CAES CNRS - Centre Paul-Langevin
SYNCHRON'19
Project
Slides
2018
Verifying the Lustre Modular Reset
Nov 29, 2018 9:00 AM
CAES CNRS - Villa Clythia
SYNCHRON'18
Project
Slides
Towards a Verified Lustre Compiler With Modular Reset
May 30, 2018 11:30 AM
Schloss Rheinfels Hotel
SCOPES'18
Project
Slides
2017
Vélus: Towards a Modular Reset
Nov 29, 2017 2:45 PM
Centre Inria Rennes - Bretagne Atlantique
SYNCHRON'17
Project
Slides
2016
Proving a Lustre Compiler Part 2
Dec 7, 2016 5:30 PM
Dominikanerkloster Bamberg
SYNCHRON'16
Project
Slides
Génération de code certifié pour Lustre
Nov 28, 2016 4:25 PM
Laboratoire de Recherche en Informatique
GDR GPL LTP 2016
Project
Slides
Cite
×