Marc Pouzet

According to our database, Marc Pouzet authored at least 69 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., October, 2023

Verified Compilation of Synchronous Dataflow with State Machines.

Timothy Bourke, Basile Pesin, Marc Pouzet

ACM Trans. Embed. Comput. Syst., October, 2023

Polymorphic Types with Polynomial Sizes.

Jean-Louis Colaço, Baptiste Pauget, Marc Pouzet

Proceedings of the 9th ACM SIGPLAN International Workshop on Libraries, 2023

Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints.

Timothy Bourke, Vincent Bregeon, Marc Pouzet

Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023

2021

Verified Lustre Normalization with Node Subsampling.

Timothy Bourke, Paul Jeanmaire, Basile Pesin, Marc Pouzet

ACM Trans. Embed. Comput. Syst., 2021

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, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

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

Reactive probabilistic programming.

Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

From Lustre to Graphical Models and SCCharts.

Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet

Proceedings of the Forum for Specification and Design Languages, 2020

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, Zhenya Zhang

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Multi-Mode DAE Models - Challenges, Theory and Implementation.

Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

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

Towards a verified Lustre compiler with modular reset.

Timothy Bourke, Lélio Brun, Marc Pouzet

Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018

Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore.

Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach.

Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden

Proceedings of the Programming Languages and Systems, 2018

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

SCADE 6: A formal language for embedded critical software development (invited paper).

Jean-Louis Colaço, Bruno Pagano, Marc Pouzet

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

A formally verified compiler for Lustre.

Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Structural Analysis of Multi-Mode DAE Systems.

Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Symbolic Simulation of Dataflow Synchronous Programs with Timers.

Guillaume Baudart, Timothy Bourke, Marc Pouzet

Proceedings of the Languages, Design Methods, and Tools for Electronic System Design, 2017

Optimization space pruning without regrets.

Ulysse Beaugnon, Antoine Pouille, Marc Pouzet, Jacques A. Pienaar, Albert Cohen

Proceedings of the 26th International Conference on Compiler Construction, 2017

2016

Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers.

Timothy Bourke, Jun Inoue, Marc Pouzet

Proceedings of the Proceedings ML Family Workshop / OCaml Users and Developers workshops, 2016

In-Place Update in a Dataflow Synchronous Language: A Retiming-Enabled Language Experiment.

Ulysse Beaugnon, Albert Cohen, Marc Pouzet

Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems, 2016

Soundness of the quasi-synchronous abstraction.

Guillaume Baudart, Timothy Bourke, Marc Pouzet

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Time refinement in a functional synchronous language.

Louis Mandel, Cédric Pasteur, Marc Pouzet

Sci. Comput. Program., 2015

ReactiveML, ten years later.

Louis Mandel, Cédric Pasteur, Marc Pouzet

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Building a hybrid systems modeler from synchronous language principles.

Marc Pouzet

Proceedings of the 2015 International Conference on Embedded Software, 2015

A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages.

Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet

Proceedings of the Compiler Construction - 24th International Conference, 2015

2014

A type-based analysis of causality loops in hybrid systems modelers.

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

2013

Programming mixed music in ReactiveML.

Guillaume Baudart, Louis Mandel, Marc Pouzet

Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design, 2013

Zélus: a synchronous language with ODEs.

Timothy Bourke, Marc Pouzet

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music.

Guillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet

Proceedings of the International Conference on Embedded Software, 2013

2012

Non-standard semantics of hybrid systems modelers.

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet

J. Comput. Syst. Sci., 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

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2012

Message from Program Co-chairs.

Isabelle Perseil, Marc Pouzet, Karin K. Breitman

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Programming parallelism with futures in lustre.

Albert Cohen, Léonard Gérard, Marc Pouzet

Proceedings of the 12th International Conference on Embedded Software, 2012

An overview of the career of Paul Caspi.

Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi

Proceedings of the 12th International Conference on Embedded Software, 2012

2011

Divide and recycle: types and compilation for a hybrid synchronous language.

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet

Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Static scheduling of latency insensitive designs with Lucy-n.

Louis Mandel, Florence Plateau, Marc Pouzet

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code.

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Modular static scheduling of synchronous data-flow networks - An efficient symbolic representation.

Marc Pouzet, Pascal Raymond

Des. Autom. Embed. Syst., 2010

Lucy-n: a n-Synchronous Extension of Lustre.

Louis Mandel, Florence Plateau, Marc Pouzet

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

The fundamentals of hybrid systems modelers.

Albert Benveniste, Benoît Caillaud, Marc Pouzet

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

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

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

2008

ReactiveML, un langage fonctionnel pour la programmation réactive.

Louis Mandel, Marc Pouzet

Tech. Sci. Informatiques, 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

A type system for the automatic distribution of higher-order synchronous dataflow programs.

Gwenaël Delaval, Alain Girault, Marc Pouzet

Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

Clock-directed modular code generation for synchronous data-flow languages.

Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet

Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

Abstraction of Clocks in Synchronous Data-Flow Systems.

Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Slicing Communicating Automata Specifications for Efficient Model Reduction.

Sébastien Labbé, Jean-Pierre Gallois, Marc Pouzet

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

2006

Automatic rate desynchronization of embedded reactive programs.

Alain Girault, Xavier Nicollin, Marc Pouzet

ACM Trans. Embed. Comput. Syst., 2006

<i>N</i>-synchronous Kahn networks: a relaxed model of synchrony for real-time systems.

Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Mixing signals and modes in synchronous data-flow systems.

Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

ReactiveML: a reactive extension to ML.

Louis Mandel, Marc Pouzet

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

A conservative extension of synchronous data-flow with state machines.

Jean-Louis Colaço, Bruno Pagano, Marc Pouzet

Proceedings of the EMSOFT 2005, 2005

Synchronization of periodic clocks.

Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet

Proceedings of the EMSOFT 2005, 2005

2004

Type-based initialization analysis of a synchronous dataflow language.

Jean-Louis Colaço, Marc Pouzet

Int. J. Softw. Tools Technol. Transf., 2004

Preface.

Florence Maraninchi, Alain Girault, Marc Pouzet

Proceedings of the Third International Workshop on Synchronous Languages, 2004

Towards a higher-order synchronous data-flow language.

Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet

Proceedings of the EMSOFT 2004, 2004

2003

Clocks as First Class Abstract Types.

Jean-Louis Colaço, Marc Pouzet

Proceedings of the Embedded Software, Third International Conference, 2003

2002

Type-Based Initialisation Analysis of a Synchronous Data-Flow Language.

Jean-Louis Colaço, Marc Pouzet

Proceedings of the Synchronous Languages, Applications, and Programming, 2002

2001

Causalité modulaire dans un langage de flots synchrone.

Pascal Cuoq, Marc Pouzet

Proceedings of the Journées francophones des langages applicatifs (JFLA'01), 2001

Modular Causality in a Synchronous Stream Language.

Pascal Cuoq, Marc Pouzet

Proceedings of the Programming Languages and Systems, 2001

2000

Modular resetting of synchronous data-flow programs.

Grégoire Hamon, Marc Pouzet

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

1998

A Co-iterative Characterization of Synchronous Stream Functions.

Paul Caspi, Marc Pouzet

Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998

1996

Synchronous Kahn Networks.

Paul Caspi, Marc Pouzet

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

Using the parallel complexity of programs to improve compaction.

Marc Pouzet

Proceedings of the Fifth International Conference on Parallel Architectures and Compilation Techniques, 1996

1995

The Program Compaction Revisited: the Functional Framework.

Marc Pouzet

Proceedings of the Euro-Par '95 Parallel Processing, 1995

1994

Fine Grain Parallelisation of Functional Programs for VLIW or Super-scalar Architectures.

Marc Pouzet

Proceedings of the Applications in Parallel and Distributed Computing, 1994