Lelio Brun -

Registered user since Wed 8 Mar 2017

Name:Lelio Brun

Country:Japan

Affiliation:National Institute of Informatics

Personal website: https://www.leliobrun.net

GitHub: https://github.com/Lelio-Brun

Research interests:Synchronous language, Verified compilation, Proof assistants

Contributions

2023

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track

2020

POPL

Author of Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset within the Research Papers-track

2017

PLDI

Author of A Formally Verified Compiler for Lustre within the PLDI Research Papers-track