Lélio Brun's homepage
Lélio Brun's homepage
About
Publications
Talks
Projects
Experience
Teaching
Academic service
Contact
CV
Light
Dark
Automatic
Events
2021
Sémantique Mécanisée, Compilation Vérifiée et Compilation Certifiante pour Lustre
May 20, 2021 9:30 AM
ISAE-SUPAERO
Séminaire SCALP
Project
Project
Slides
Video
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
×