BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Ireland
1 × Portugal
1 × Spain
1 × United Kingdom
2 × Italy
4 × USA
Collaborated with:
L.Mandel C.Pasteur T.Bourke G.Hamon P.Caspi J.Colaço P.Cuoq Lélio Brun L.Gérard A.Cohen G.Delaval A.Girault A.Guatto A.Benveniste B.Caillaud D.Biernacki B.Pagano P.Raymond U.Beaugnon A.Pouille J.A.Pienaar J.Aguado M.Mendler P.S.Roop R.v.Hanxleden M.Duranton C.Eisenbeis C.Pagetti F.Plateau P.Dagand X.Leroy L.Rieg
Talks about:
synchron (12) languag (7) modular (4) compil (4) reactiv (3) system (3) memori (3) lustr (3) flow (3) data (3)

Person: Marc Pouzet

DBLP DBLP: Pouzet:Marc

Contributed to:

CC 20152015
PPDP 20152015
PPDP 20132013
LCTES 20122012
LCTES 20112011
LCTES 20092009
LCTES 20082008
POPL 20062006
PPDP 20052005
ESOP 20012001
PPDP 20002000
ICFP 19961996
CC 20172017
ESOP 20182018
PLDI 20172017
POPL 20202020

Wrote 17 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.
PPDP-2015-MandelPP #ml #years after
ReactiveML, ten years later (LM, CP, MP), pp. 6–17.
PPDP-2013-MandelPP #functional #refinement
Time refinement in a functional synchronous language (LM, CP, MP), pp. 169–180.
LCTES-2012-GerardGPP #array #compilation #composition #data flow #memory management #optimisation
A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler (LG, AG, CP, MP), pp. 51–60.
LCTES-2011-BenvenisteBCP #compilation #hybrid
Divide and recycle: types and compilation for a hybrid synchronous language (AB, TB, BC, MP), pp. 61–70.
LCTES-2009-CaspiCGPR #memory management #policy #scheduling
Synchronous objects with scheduling policies: introducing safe shared memory in lustre (PC, JLC, LG, MP, PR), pp. 11–20.
LCTES-2008-BiernackiCHP #code generation #composition #data flow
Clock-directed modular code generation for synchronous data-flow languages (DB, JLC, GH, MP), pp. 121–130.
LCTES-2008-DelavalGP #automation #data flow #higher-order #source code #type system
A type system for the automatic distribution of higher-order synchronous dataflow programs (GD, AG, MP), pp. 101–110.
POPL-2006-CohenDEPPP #network #realtime
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems (AC, MD, CE, CP, FP, MP), pp. 180–193.
PPDP-2005-MandelP #ml #named
ReactiveML: a reactive extension to ML (LM, MP), pp. 82–93.
ESOP-2001-CuoqP #composition
Modular Causality in a Synchronous Stream Language (PC, MP), pp. 237–251.
PPDP-2000-HamonP #composition #data flow #source code
Modular resetting of synchronous data-flow programs (GH, MP), pp. 289–300.
ICFP-1996-CaspiP #network
Synchronous Kahn Networks (PC, MP), pp. 226–238.
CC-2017-BeaugnonPPPC #optimisation
Optimization space pruning without regrets (UB, AP, MP, JAP, AC), pp. 34–44.
ESOP-2018-AguadoMPRH #approach #concurrent #memory management
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach (JA, MM, MP, PSR, RvH), pp. 86–113.
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.