Lélio Brun

Statistics

Publications

Citations

H-Index

Active since

2017

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Yale University

Collège de France

Centre National de la Recherche Scientifique

Lélio Brun is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, compilers, and interactive theorem proving.

ORCID

Publications per year

2017–2019

Publications

A formally verified compiler for Lustre

Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand et al. · 2017 · 60 citations

Computing, Computer Engineering, Computer Science +15

Mechanized semantics and verified compilation for a dataflow synchronous language with reset

Timothy Bourke, Lélio Brun, Marc Pouzet · Proceedings of the ACM on Programming Languages · 2019 · 21 citations · Full text

Computing, Computer Engineering, Computer Science +17

A formally verified compiler for Lustre

Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand et al. · ACM SIGPLAN Notices · 2017 · 17 citations

Computing, Computer Engineering, Computer Science +15

1–3 of 3