Marc Pouzet

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 29

Top Topics

Formal Language

Numeric Attributes

Inter Annotator Agreement

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

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