Fine Grain Parallelisation of Functional Programs for VLIW or Super-scalar Architectures. - Marc Pouzet (Applications in Parallel and Distributed Computing, 1994)

The Program Compaction Revisited: the Functional Framework. - Marc Pouzet (Euro-Par, 1995)

Using the parallel complexity of programs to improve compaction. - Marc Pouzet (IEEE PACT, 1996)

Synchronous Kahn Networks. - Paul Caspi; Marc Pouzet (ICFP, 1996)

A Co-iterative Characterization of Synchronous Stream Functions. - Paul Caspi; Marc Pouzet (CMCS, 1998)

Modular resetting of synchronous data-flow programs. - Grégoire Hamon; Marc Pouzet (PPDP, 2000)

Modular Causality in a Synchronous Stream Language. - Pascal Cuoq; Marc Pouzet (ESOP, 2001)

Causalité modulaire dans un langage de flots synchrone. - Pascal Cuoq; Marc Pouzet (JFLA, 2001)

Type-Based Initialisation Analysis of a Synchronous Data-Flow Language. - Jean-Louis Colaço; Marc Pouzet (SLAP@ETAPS, 2002)

Clocks as First Class Abstract Types. - Jean-Louis Colaço; Marc Pouzet (EMSOFT, 2003)

Towards a higher-order synchronous data-flow language. - Jean-Louis Colaço; Alain Girault; Grégoire Hamon; Marc Pouzet (EMSOFT, 2004)

Preface. - Florence Maraninchi; Alain Girault; Marc Pouzet (SLAP@ETAPS, 2004)

Type-based initialization analysis of a synchronous dataflow language. - Jean-Louis Colaço; Marc Pouzet (Int. J. Softw. Tools Technol. Transf., 2004)

Synchronization of periodic clocks. - Albert Cohen 001; Marc Duranton; Christine Eisenbeis; Claire Pagetti; Florence Plateau; Marc Pouzet (EMSOFT, 2005)

A conservative extension of synchronous data-flow with state machines. - Jean-Louis Colaço; Bruno Pagano; Marc Pouzet (EMSOFT, 2005)

ReactiveML: a reactive extension to ML. - Louis Mandel; Marc Pouzet (PPDP, 2005)

Mixing signals and modes in synchronous data-flow systems. - Jean-Louis Colaço; Grégoire Hamon; Marc Pouzet (EMSOFT, 2006)

N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems. - Albert Cohen 001; Marc Duranton; Christine Eisenbeis; Claire Pagetti; Florence Plateau; Marc Pouzet (POPL, 2006)

Automatic rate desynchronization of embedded reactive programs. - Alain Girault; Xavier Nicollin; Marc Pouzet (ACM Trans. Embed. Comput. Syst., 2006)

Slicing Communicating Automata Specifications for Efficient Model Reduction. - Sébastien Labbé 002; Jean-Pierre Gallois; Marc Pouzet (ASWEC, 2007)

Abstraction of Clocks in Synchronous Data-Flow Systems. - Albert Cohen 001; Louis Mandel; Florence Plateau; Marc Pouzet (APLAS, 2008)

Clock-directed modular code generation for synchronous data-flow languages. - Dariusz Biernacki; Jean-Louis Colaço; Grégoire Hamon; Marc Pouzet (LCTES, 2008)

A type system for the automatic distribution of higher-order synchronous dataflow programs. - Gwenaël Delaval; Alain Girault; Marc Pouzet (LCTES, 2008)

Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems. - Florence Maraninchi; Michael Mendler; Marc Pouzet; Alain Girault; Éric Rutten (EURASIP J. Embed. Syst., 2008)

ReactiveML, un langage fonctionnel pour la programmation réactive. - Louis Mandel; Marc Pouzet (Tech. Sci. Informatiques, 2008)

Synchronous objects with scheduling policies: introducing safe shared memory in lustre. - Paul Caspi; Jean-Louis Colaço; Léonard Gérard; Marc Pouzet; Pascal Raymond (LCTES, 2009)

The fundamentals of hybrid systems modelers. - Albert Benveniste; Benoît Caillaud; Marc Pouzet (CDC, 2010)

Lucy-n: a n-Synchronous Extension of Lustre. - Louis Mandel; Florence Plateau; Marc Pouzet (MPC, 2010)

Modular static scheduling of synchronous data-flow networks - An efficient symbolic representation. - Marc Pouzet; Pascal Raymond (Des. Autom. Embed. Syst., 2010)

A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. - Albert Benveniste; Timothy Bourke; Benoît Caillaud; Marc Pouzet (EMSOFT, 2011)

Static scheduling of latency insensitive designs with Lucy-n. - Louis Mandel; Florence Plateau; Marc Pouzet (FMCAD, 2011)

Divide and recycle: types and compilation for a hybrid synchronous language. - Albert Benveniste; Timothy Bourke; Benoît Caillaud; Marc Pouzet (LCTES, 2011)

An overview of the career of Paul Caspi. - Albert Benveniste; Edward A. Lee; Marc Pouzet; Stavros Tripakis; Florence Maraninchi (EMSOFT, 2012)

Programming parallelism with futures in lustre. - Albert Cohen 001; Léonard Gérard; Marc Pouzet (EMSOFT, 2012)

Message from Program Co-chairs. - Isabelle Perseil; Marc Pouzet; Karin K. Breitman (ICECCS, 2012)

A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler. - Léonard Gérard; Adrien Guatto; Cédric Pasteur; Marc Pouzet (LCTES, 2012)

Non-standard semantics of hybrid systems modelers. - Albert Benveniste; Timothy Bourke; Benoît Caillaud; Marc Pouzet (J. Comput. Syst. Sci., 2012)

A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music. - Guillaume Baudart; Florent Jacquemard; Louis Mandel; Marc Pouzet (EMSOFT, 2013)

Zélus: a synchronous language with ODEs. - Timothy Bourke; Marc Pouzet (HSCC, 2013)

Programming mixed music in ReactiveML. - Guillaume Baudart; Louis Mandel; Marc Pouzet (FARM@ICFP, 2013)

A type-based analysis of causality loops in hybrid systems modelers. - Albert Benveniste; Timothy Bourke; Benoît Caillaud; Bruno Pagano; Marc Pouzet (HSCC, 2014)

A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages. - Timothy Bourke; Jean-Louis Colaço; Bruno Pagano; Cédric Pasteur; Marc Pouzet (CC, 2015)

Building a hybrid systems modeler from synchronous language principles. - Marc Pouzet (EMSOFT, 2015)

ReactiveML, ten years later. - Louis Mandel; Cédric Pasteur; Marc Pouzet (PPDP, 2015)

Time refinement in a functional synchronous language. - Louis Mandel; Cédric Pasteur; Marc Pouzet (Sci. Comput. Program., 2015)

Soundness of the quasi-synchronous abstraction. - Guillaume Baudart; Timothy Bourke; Marc Pouzet (FMCAD, 2016)

In-Place Update in a Dataflow Synchronous Language: A Retiming-Enabled Language Experiment. - Ulysse Beaugnon; Albert Cohen 001; Marc Pouzet (SCOPES, 2016)

Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers. - Timothy Bourke; Jun Inoue 001; Marc Pouzet (ML/OCAML, 2016)

Optimization space pruning without regrets. - Ulysse Beaugnon; Antoine Pouille; Marc Pouzet; Jacques A. Pienaar; Albert Cohen 001 (CC, 2017)

Symbolic simulation of dataflow synchronous programs with timers. - Guillaume Baudart; Timothy Bourke; Marc Pouzet (FDL, 2017)

Structural Analysis of Multi-Mode DAE Systems. - Albert Benveniste; Benoît Caillaud; Hilding Elmqvist; Khalil Ghorbal; Martin Otter; Marc Pouzet (HSCC, 2017)

A formally verified compiler for Lustre. - Timothy Bourke; Lélio Brun; Pierre-Évariste Dagand; Xavier Leroy; Marc Pouzet; Lionel Rieg (PLDI, 2017)

SCADE 6: A formal language for embedded critical software development (invited paper). - Jean-Louis Colaço; Bruno Pagano; Marc Pouzet (TASE, 2017)

A Synchronous Look at the Simulink Standard Library. - Timothy Bourke; Francois Carcenac; Jean-Louis Colaço; Bruno Pagano; Cédric Pasteur; Marc Pouzet (ACM Trans. Embed. Comput. Syst., 2017)

Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. - Joaquín Aguado; Michael Mendler; Marc Pouzet; Partha S. Roop; Reinhard von Hanxleden (ESOP, 2018)

Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore. - Jean-Louis Colaço; Bruno Pagano; Cédric Pasteur; Marc Pouzet (FDL, 2018)

Towards a verified Lustre compiler with modular reset. - Timothy Bourke; Lélio Brun; Marc Pouzet (SCOPES, 2018)

Building a Hybrid Systems Modeler on Synchronous Languages Principles. - Albert Benveniste; Timothy Bourke; Benoît Caillaud; Jean-Louis Colaço; Cédric Pasteur; Marc Pouzet (Proc. IEEE, 2018)

Multi-Mode DAE Models - Challenges, Theory and Implementation. - Albert Benveniste; Benoît Caillaud; Hilding Elmqvist; Khalil Ghorbal; Martin Otter; Marc Pouzet (Computing and Software Science, 2019)

ARCH-COMP 2020 Category Report: Falsification. - Gidon Ernst; Paolo Arcaini; Ismail Bennani; Alexandre Donzé; Georgios Fainekos; Goran Frehse; Logan Mathesen; Claudio Menghi; Giulia Pedrielli; Marc Pouzet; Shakiba Yaghoubi; Yoriyuki Yamagata; et al. (ARCH, 2020)

Reactive probabilistic programming. - Guillaume Baudart; Louis Mandel; Eric Atkinson; Benjamin Sherman; Marc Pouzet; Michael Carbin (PLDI, 2020)

Mechanized semantics and verified compilation for a dataflow synchronous language with reset. - Timothy Bourke; Lélio Brun; Marc Pouzet (Proc. ACM Program. Lang., 2020)

ARCH-COMP 2021 Category Report: Falsification with Validation of Results. - Gidon Ernst; Paolo Arcaini; Ismail Bennani; Aniruddh Chandratre; Alexandre Donzé; Georgios Fainekos; Goran Frehse; Khouloud Gaaloul; Jun Inoue 001; Tanmay Khandait; Logan Mathesen; Claudio Menghi; et al. (ARCH@ADHS, 2021)

Verified Lustre Normalization with Node Subsampling. - Timothy Bourke; Paul Jeanmaire; Basile Pesin; Marc Pouzet (ACM Trans. Embed. Comput. Syst., 2021)

Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints. - Timothy Bourke; Vincent Bregeon; Marc Pouzet (ECRTS, 2023)

Polymorphic Types with Polynomial Sizes. - Jean-Louis Colaço; Baptiste Pauget; Marc Pouzet (ARRAY@PLDI, 2023)

Verified Compilation of Synchronous Dataflow with State Machines. - Timothy Bourke; Basile Pesin; Marc Pouzet (ACM Trans. Embed. Comput. Syst., 2023)

A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines. - Jean-Louis Colaço; Michael Mendler; Baptiste Pauget; Marc Pouzet (ACM Trans. Embed. Comput. Syst., 2023)

From Lustre to Graphical Models and SCCharts. - Lena Grimm; Steven Smyth; Alexander Schulz-Rosengarten; Reinhard von Hanxleden; Marc Pouzet (ACM Trans. Embed. Comput. Syst., 2024)

Lustre, Fast First, and Fresh. - Timothy Bourke; Marc Pouzet (IEEE Embed. Syst. Lett., 2025)

PSM: Policy Synchronised Deterministic Memory. - Michael Mendler; Marc Pouzet (CoRR, 2025)