Towards a Verified Lustre Compiler With Modular Reset

Name: Towards a Verified Lustre Compiler With Modular Reset
Start: 2018-05-30T11:30:00Z
Location: Schloss Rheinfels Hotel

Project Slides

We present a formalization of the semantics of the modular reset and discuss its compilation.

Date

May 30, 2018 11:30 AM

Event

SCOPES'18

Location

Schloss Rheinfels Hotel

Schlossberg 47
56329 Sankt Goar

My research interests include synchronous languages, functional programming and verified compilation.