Events

2020

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