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
Schlossberg 47
56329 Sankt Goar
Lélio Brun
Lélio Brun
Postdoctoral research scientist in Computer Science

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