BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
T.Bourke M.Pouzet P.Dagand X.Leroy L.Rieg
Talks about:
verifi (2) compil (2) synchron (1) dataflow (1) languag (1) semant (1) mechan (1) formal (1) reset (1) lustr (1)

Person: Lélio Brun

DBLP DBLP: Brun:L=eacute=lio

Contributed to:

PLDI 20172017
POPL 20202020

Wrote 2 papers:

PLDI-2017-BourkeBDLPR #compilation
A formally verified compiler for Lustre (TB, LB, PÉD, XL, MP, LR), pp. 586–601.
POPL-2020-BourkeBP #compilation #data flow #semantics
Mechanized semantics and verified compilation for a dataflow synchronous language with reset (TB, LB, MP), p. 29.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.