Marc Pouzet

79 papers A* 3A 3B 14C 9Misc 12Journal 18Unranked 18
YearRankTypeTitle / Venue / Authors
2025 A* conf
Functional Stream Semantics for a Synchronous Block-Diagram Compiler.
LICS
Timothy Bourke, Paul Jeanmaire, Marc Pouzet
2025 J jnl
Lustre, Fast First, and Fresh.
IEEE Embed. Syst. Lett.
Timothy Bourke, Marc Pouzet
2025 J jnl
PSM: Policy Synchronised Deterministic Memory.
CoRR
Michael Mendler, Marc Pouzet
2024 J jnl
From Lustre to Graphical Models and SCCharts.
ACM Trans. Embed. Comput. Syst.
Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet
2023 J jnl
A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines.
ACM Trans. Embed. Comput. Syst.
Jean-Louis Colaço, Michael Mendler, Baptiste Pauget, Marc Pouzet
2023 — conf
Polymorphic Types with Polynomial Sizes.
ARRAY@PLDI
Jean-Louis Colaço, Baptiste Pauget, Marc Pouzet
2023 B conf
Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints.
ECRTS
Timothy Bourke, Vincent Bregeon, Marc Pouzet
2023 J jnl
Verified Compilation of Synchronous Dataflow with State Machines.
ACM Trans. Embed. Comput. Syst.
Timothy Bourke, Basile Pesin, Marc Pouzet
2021 — conf
ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
ARCH@ADHS
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
2021 J jnl
Verified Lustre Normalization with Node Subsampling.
ACM Trans. Embed. Comput. Syst.
Timothy Bourke, Paul Jeanmaire, Basile Pesin, Marc Pouzet
2020 — conf
ARCH-COMP 2020 Category Report: Falsification.
ARCH
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
2020 C conf
From Lustre to Graphical Models and SCCharts.
FDL
Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet
2020 J jnl
Mechanized semantics and verified compilation for a dataflow synchronous language with reset.
Proc. ACM Program. Lang.
Timothy Bourke, Lélio Brun, Marc Pouzet
2020 A* conf
Reactive probabilistic programming.
PLDI
Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin
2019 — ch.
Multi-Mode DAE Models - Challenges, Theory and Implementation.
Computing and Software Science
Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
2019 J jnl
Reactive Probabilistic Programming.
CoRR
Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin
2018 J jnl
Building a Hybrid Systems Modeler on Synchronous Languages Principles.
Proc. IEEE
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet
2018 A conf
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach.
ESOP
Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden
2018 C conf
Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore.
FDL
Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
2018 C conf
Towards a verified Lustre compiler with modular reset.
SCOPES
Timothy Bourke, Lélio Brun, Marc Pouzet
2017 J jnl
A Synchronous Look at the Simulink Standard Library.
ACM Trans. Embed. Comput. Syst.
Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
2017 A* conf
A formally verified compiler for Lustre.
PLDI
Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg
2017 B conf
Optimization space pruning without regrets.
CC
Ulysse Beaugnon, Antoine Pouille, Marc Pouzet, Jacques A. Pienaar, Albert Cohen
2017 Misc conf
SCADE 6: A formal language for embedded critical software development (invited paper).
TASE
Jean-Louis Colaço, Bruno Pagano, Marc Pouzet
2017 — conf
Structural Analysis of Multi-Mode DAE Systems.
HSCC
Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
2017 — conf
Symbolic Simulation of Dataflow Synchronous Programs with Timers.
FDL (Selected Papers)
Guillaume Baudart, Timothy Bourke, Marc Pouzet
2017 C conf
Symbolic simulation of dataflow synchronous programs with timers.
FDL
Guillaume Baudart, Timothy Bourke, Marc Pouzet
2016 C conf
In-Place Update in a Dataflow Synchronous Language: A Retiming-Enabled Language Experiment.
SCOPES
Ulysse Beaugnon, Albert Cohen, Marc Pouzet
2016 B conf
Soundness of the quasi-synchronous abstraction.
FMCAD
Guillaume Baudart, Timothy Bourke, Marc Pouzet
2016 — conf
Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers.
ML/OCAML
Timothy Bourke, Jun Inoue, Marc Pouzet
2015 B conf
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages.
CC
Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
2015 Misc conf
Building a hybrid systems modeler from synchronous language principles.
EMSOFT
Marc Pouzet
2015 C conf
ReactiveML, ten years later.
PPDP
Louis Mandel, Cédric Pasteur, Marc Pouzet
2015 J jnl
Time refinement in a functional synchronous language.
Sci. Comput. Program.
Louis Mandel, Cédric Pasteur, Marc Pouzet
2014 — conf
A type-based analysis of causality loops in hybrid systems modelers.
HSCC
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet
2013 Misc conf
A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music.
EMSOFT
Guillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet
2013 — conf
Programming mixed music in ReactiveML.
FARM@ICFP
Guillaume Baudart, Louis Mandel, Marc Pouzet
2013 C conf
Time refinement in a functional synchronous language.
PPDP
Louis Mandel, Cédric Pasteur, Marc Pouzet
2013 — conf
Zélus: a synchronous language with ODEs.
HSCC
Timothy Bourke, Marc Pouzet
2012 B ed.
17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012
ICECCS
Isabelle Perseil, Karin K. Breitman, Marc Pouzet
2012 J jnl
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs
CoRR
Gwenaël Delaval, Alain Girault, Marc Pouzet
2012 B conf
A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler.
LCTES
Léonard Gérard, Adrien Guatto, Cédric Pasteur, Marc Pouzet
2012 Misc conf
An overview of the career of Paul Caspi.
EMSOFT
Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi
2012 B conf
Message from Program Co-chairs.
ICECCS
Isabelle Perseil, Marc Pouzet, Karin K. Breitman
2012 J jnl
Non-standard semantics of hybrid systems modelers.
J. Comput. Syst. Sci.
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
2012 Misc conf
Programming parallelism with futures in lustre.
EMSOFT
Albert Cohen, Léonard Gérard, Marc Pouzet
2011 Misc conf
A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code.
EMSOFT
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
2011 B conf
Divide and recycle: types and compilation for a hybrid synchronous language.
LCTES
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
2011 B conf
Static scheduling of latency insensitive designs with Lucy-n.
FMCAD
Louis Mandel, Florence Plateau, Marc Pouzet
2010 B conf
Lucy-n: a n-Synchronous Extension of Lustre.
MPC
Louis Mandel, Florence Plateau, Marc Pouzet
2010 J jnl
Modular static scheduling of synchronous data-flow networks - An efficient symbolic representation.
Des. Autom. Embed. Syst.
Marc Pouzet, Pascal Raymond
2010 — conf
The fundamentals of hybrid systems modelers.
CDC
Albert Benveniste, Benoît Caillaud, Marc Pouzet
2009 Misc conf
Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation.
EMSOFT
Marc Pouzet, Pascal Raymond
2009 B conf
Synchronous objects with scheduling policies: introducing safe shared memory in lustre.
LCTES
Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond
2008 B conf
A type system for the automatic distribution of higher-order synchronous dataflow programs.
LCTES
Gwenaël Delaval, Alain Girault, Marc Pouzet
2008 B conf
Abstraction of Clocks in Synchronous Data-Flow Systems.
APLAS
Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet
2008 B conf
Clock-directed modular code generation for synchronous data-flow languages.
LCTES
Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet
2008 J jnl
ReactiveML, un langage fonctionnel pour la programmation réactive.
Tech. Sci. Informatiques
Louis Mandel, Marc Pouzet
2008 J jnl
Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems.
EURASIP J. Embed. Syst.
Florence Maraninchi, Michael Mendler, Marc Pouzet, Alain Girault, Éric Rutten
2007 — conf
Slicing Communicating Automata Specifications for Efficient Model Reduction.
ASWEC
Sébastien Labbé, Jean-Pierre Gallois, Marc Pouzet
2006 J jnl
Automatic rate desynchronization of embedded reactive programs.
ACM Trans. Embed. Comput. Syst.
Alain Girault, Xavier Nicollin, Marc Pouzet
2006 Misc conf
Mixing signals and modes in synchronous data-flow systems.
EMSOFT
Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet
2006 — ed.
Proceedings of the Third International Workshop on Synchronous Languages, Applications, and Programs, SLAP 2004, Satellite Event of ETAPS 2004, Barcelona, Spain, March 28, 2004
SLAP
Florence Maraninchi, Alain Girault, Marc Pouzet
2005 Misc conf
A conservative extension of synchronous data-flow with state machines.
EMSOFT
Jean-Louis Colaço, Bruno Pagano, Marc Pouzet
2005 C conf
ReactiveML: a reactive extension to ML.
PPDP
Louis Mandel, Marc Pouzet
2005 Misc conf
Synchronization of periodic clocks.
EMSOFT
Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet
2004 — conf
Preface.
SLAP
Florence Maraninchi, Alain Girault, Marc Pouzet
2004 Misc conf
Towards a higher-order synchronous data-flow language.
EMSOFT
Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet
2004 J jnl
Type-based initialization analysis of a synchronous dataflow language.
Int. J. Softw. Tools Technol. Transf.
Jean-Louis Colaço, Marc Pouzet
2003 Misc conf
Clocks as First Class Abstract Types.
EMSOFT
Jean-Louis Colaço, Marc Pouzet
2002 — conf
Type-Based Initialisation Analysis of a Synchronous Data-Flow Language.
SLAP
Jean-Louis Colaço, Marc Pouzet
2001 — conf
Causalité modulaire dans un langage de flots synchrone.
JFLA
Pascal Cuoq, Marc Pouzet
2001 A conf
Modular Causality in a Synchronous Stream Language.
ESOP
Pascal Cuoq, Marc Pouzet
2000 C conf
Modular resetting of synchronous data-flow programs.
PPDP
Grégoire Hamon, Marc Pouzet
1998 — conf
A Co-iterative Characterization of Synchronous Stream Functions.
CMCS
Paul Caspi, Marc Pouzet
1996 A conf
Synchronous Kahn Networks.
ICFP
Paul Caspi, Marc Pouzet
1996 — conf
Using the parallel complexity of programs to improve compaction.
IEEE PACT
Marc Pouzet
1995 — conf
The Program Compaction Revisited: the Functional Framework.
Euro-Par
Marc Pouzet
1994 — conf
Fine Grain Parallelisation of Functional Programs for VLIW or Super-scalar Architectures.
Applications in Parallel and Distributed Computing
Marc Pouzet