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: Pouzet:Marc
Contributed to:
2015
20152013
2012201120092008
20062005
20012000
199620172018
20172020Wrote 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.