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: Bourke:Timothy
Contributed to:
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.