| 2025 | LICS | Functional Stream Semantics for a Synchronous Block-Diagram Compiler. | Timothy Bourke, Paul Jeanmaire, Marc Pouzet |
| 2023 | ECRTS | Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints. | Timothy Bourke, Vincent Bregeon, Marc Pouzet |
| 2023 | PLDI | Polymorphic Types with Polynomial Sizes. | Jean-Louis Colao, Baptiste Pauget, Marc Pouzet |
| 2020 | FDL | From Lustre to Graphical Models and SCCharts. | Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet |
| 2020 | PLDI | Reactive probabilistic programming. | Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin |
| 2018 | ESOP | Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. | Joaqun Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden |
| 2018 | FDL | Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore. | Jean-Louis Colao, Bruno Pagano, Cdric Pasteur, Marc Pouzet |
| 2018 | SCOPES | Towards a verified Lustre compiler with modular reset. | Timothy Bourke, Llio Brun, Marc Pouzet |
| 2017 | CC | Optimization space pruning without regrets. | Ulysse Beaugnon, Antoine Pouille, Marc Pouzet, Jacques A. Pienaar, Albert Cohen |
| 2017 | FDL | Symbolic simulation of dataflow synchronous programs with timers. | Guillaume Baudart, Timothy Bourke, Marc Pouzet |
| 2017 | FDL | Symbolic Simulation of Dataflow Synchronous Programs with Timers. | Guillaume Baudart, Timothy Bourke, Marc Pouzet |
| 2017 | PLDI | A formally verified compiler for Lustre. | Timothy Bourke, Llio Brun, Pierre-variste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg |
| 2017 | TASE | SCADE 6: A formal language for embedded critical software development (invited paper). | Jean-Louis Colao, Bruno Pagano, Marc Pouzet |
| 2016 | FMCAD | Soundness of the quasi-synchronous abstraction. | Guillaume Baudart, Timothy Bourke, Marc Pouzet |
| 2016 | SCOPES | In-Place Update in a Dataflow Synchronous Language: A Retiming-Enabled Language Experiment. | Ulysse Beaugnon, Albert Cohen, Marc Pouzet |
| 2015 | CC | A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages. | Timothy Bourke, Jean-Louis Colao, Bruno Pagano, Cdric Pasteur, Marc Pouzet |
| 2015 | EMSOFT | Building a hybrid systems modeler from synchronous language principles. | Marc Pouzet |
| 2015 | PPDP | ReactiveML, ten years later. | Louis Mandel, Cdric Pasteur, Marc Pouzet |
| 2013 | EMSOFT | A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music. | Guillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet |
| 2013 | ICFP | Programming mixed music in ReactiveML. | Guillaume Baudart, Louis Mandel, Marc Pouzet |
| 2013 | PPDP | Time refinement in a functional synchronous language. | Louis Mandel, Cdric Pasteur, Marc Pouzet |
| 2012 | EMSOFT | An overview of the career of Paul Caspi. | Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi |
| 2012 | EMSOFT | Programming parallelism with futures in lustre. | Albert Cohen, Lonard Grard, Marc Pouzet |
| 2012 | ICECCS | Message from Program Co-chairs. | Isabelle Perseil, Marc Pouzet, Karin K. Breitman |
| 2011 | EMSOFT | A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. | Albert Benveniste, Timothy Bourke, Benot Caillaud, Marc Pouzet |
| 2011 | FMCAD | Static scheduling of latency insensitive designs with Lucy-n. | Louis Mandel, Florence Plateau, Marc Pouzet |
| 2010 | MPC | Lucy-n: a n-Synchronous Extension of Lustre. | Louis Mandel, Florence Plateau, Marc Pouzet |
| 2009 | EMSOFT | Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. | Marc Pouzet, Pascal Raymond |
| 2008 | APLAS | Abstraction of Clocks in Synchronous Data-Flow Systems. | Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet |
| 2006 | EMSOFT | Mixing signals and modes in synchronous data-flow systems. | Jean-Louis Colao, Grgoire Hamon, Marc Pouzet |
| 2006 | POPL | Untitled record | Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet |
| 2005 | EMSOFT | Synchronization of periodic clocks. | Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet |
| 2005 | EMSOFT | A conservative extension of synchronous data-flow with state machines. | Jean-Louis Colao, Bruno Pagano, Marc Pouzet |
| 2005 | PPDP | ReactiveML: a reactive extension to ML. | Louis Mandel, Marc Pouzet |
| 2004 | EMSOFT | Towards a higher-order synchronous data-flow language. | Jean-Louis Colao, Alain Girault, Grgoire Hamon, Marc Pouzet |
| 2003 | EMSOFT | Clocks as First Class Abstract Types. | Jean-Louis Colao, Marc Pouzet |
| 2001 | ESOP | Modular Causality in a Synchronous Stream Language. | Pascal Cuoq, Marc Pouzet |
| 2000 | PPDP | Modular resetting of synchronous data-flow programs. | Grgoire Hamon, Marc Pouzet |
| 1996 | ICFP | Synchronous Kahn Networks. | Paul Caspi, Marc Pouzet |
| 1995 | EuroPar | The Program Compaction Revisited: the Functional Framework. | Marc Pouzet |