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
Travelled to:
1 × USA
1 × United Kingdom
Collaborated with:
M.Pouzet Lélio Brun A.Benveniste B.Caillaud J.Colaço B.Pagano C.Pasteur P.Dagand X.Leroy L.Rieg
Talks about:
synchron (3) languag (3) compil (3) verifi (2) hybrid (2) explicit (1) dataflow (1) generat (1) system (1) semant (1)

Person: Timothy Bourke

DBLP DBLP: Bourke:Timothy

Contributed to:

CC 20152015
LCTES 20112011
PLDI 20172017
POPL 20202020

Wrote 4 papers:

CC-2015-BourkeCPPP #code generation #hybrid
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages (TB, JLC, BP, CP, MP), pp. 69–88.
LCTES-2011-BenvenisteBCP #compilation #hybrid
Divide and recycle: types and compilation for a hybrid synchronous language (AB, TB, BC, MP), pp. 61–70.
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.