![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Marc Pouzet
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j13]Timothy Bourke
, Basile Pesin
, Marc Pouzet
:
Verified Compilation of Synchronous Dataflow with State Machines. ACM Trans. Embed. Comput. Syst. 22(5s): 137:1-137:26 (2023) - [j12]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): 152:1-152:26 (2023) - [c58]Timothy Bourke, Vincent Bregeon, Marc Pouzet:
Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints. ECRTS 2023: 1:1-1:22 - [c57]Jean-Louis Colaço, Baptiste Pauget, Marc Pouzet:
Polymorphic Types with Polynomial Sizes. ARRAY@PLDI 2023: 36-49 - 2021
- [j11]Timothy Bourke
, Paul Jeanmaire, Basile Pesin, Marc Pouzet:
Verified Lustre Normalization with Node Subsampling. ACM Trans. Embed. Comput. Syst. 20(5s): 98:1-98:25 (2021) - [c56]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: 133-152 - 2020
- [j10]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): 44:1-44:29 (2020) - [c55]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: 140-152 - [c54]Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet:
From Lustre to Graphical Models and SCCharts. FDL 2020: 1-8 - [c53]Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin:
Reactive probabilistic programming. PLDI 2020: 898-912
2010 – 2019
- 2019
- [p1]Albert Benveniste, Benoît Caillaud
, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet:
Multi-Mode DAE Models - Challenges, Theory and Implementation. Computing and Software Science 2019: 283-310 - [i2]Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin:
Reactive Probabilistic Programming. CoRR abs/1908.07563 (2019) - 2018
- [j9]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): 1568-1592 (2018) - [c52]Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden:
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. ESOP 2018: 86-113 - [c51]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: 5-16 - [c50]Timothy Bourke, Lélio Brun
, Marc Pouzet:
Towards a verified Lustre compiler with modular reset. SCOPES 2018: 14-17 - 2017
- [j8]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): 176:1-176:24 (2017) - [c49]Ulysse Beaugnon, Antoine Pouille, Marc Pouzet, Jacques A. Pienaar, Albert Cohen:
Optimization space pruning without regrets. CC 2017: 34-44 - [c48]Guillaume Baudart, Timothy Bourke, Marc Pouzet:
Symbolic simulation of dataflow synchronous programs with timers. FDL 2017: 1-8 - [c47]Guillaume Baudart, Timothy Bourke, Marc Pouzet:
Symbolic Simulation of Dataflow Synchronous Programs with Timers. FDL (Selected Papers) 2017: 45-70 - [c46]Albert Benveniste, Benoît Caillaud
, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet:
Structural Analysis of Multi-Mode DAE Systems. HSCC 2017: 253-263 - [c45]Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg:
A formally verified compiler for Lustre. PLDI 2017: 586-601 - [c44]Jean-Louis Colaço, Bruno Pagano, Marc Pouzet:
SCADE 6: A formal language for embedded critical software development (invited paper). TASE 2017: 1-11 - 2016
- [c43]Guillaume Baudart, Timothy Bourke, Marc Pouzet:
Soundness of the quasi-synchronous abstraction. FMCAD 2016: 9-16 - [c42]Ulysse Beaugnon, Albert Cohen, Marc Pouzet:
In-Place Update in a Dataflow Synchronous Language: A Retiming-Enabled Language Experiment. SCOPES 2016: 40-49 - [c41]Timothy Bourke, Jun Inoue, Marc Pouzet:
Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers. ML/OCAML 2016: 101-130 - 2015
- [j7]Louis Mandel, Cédric Pasteur, Marc Pouzet:
Time refinement in a functional synchronous language. Sci. Comput. Program. 111: 190-211 (2015) - [c40]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: 69-88 - [c39]Marc Pouzet:
Building a hybrid systems modeler from synchronous language principles. EMSOFT 2015: 125-126 - [c38]Louis Mandel, Cédric Pasteur, Marc Pouzet:
ReactiveML, ten years later. PPDP 2015: 6-17 - 2014
- [c37]Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet:
A type-based analysis of causality loops in hybrid systems modelers. HSCC 2014: 71-82 - 2013
- [c36]Guillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet:
A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music. EMSOFT 2013: 1:1-1:12 - [c35]Timothy Bourke, Marc Pouzet:
Zélus: a synchronous language with ODEs. HSCC 2013: 113-118 - [c34]Guillaume Baudart, Louis Mandel, Marc Pouzet:
Programming mixed music in ReactiveML. FARM@ICFP 2013: 11-22 - [c33]Louis Mandel, Cédric Pasteur, Marc Pouzet:
Time refinement in a functional synchronous language. PPDP 2013: 169-180 - 2012
- [j6]Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet:
Non-standard semantics of hybrid systems modelers. J. Comput. Syst. Sci. 78(3): 877-910 (2012) - [c32]Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi:
An overview of the career of Paul Caspi. EMSOFT 2012: 195-196 - [c31]Albert Cohen, Léonard Gérard, Marc Pouzet:
Programming parallelism with futures in lustre. EMSOFT 2012: 197-206 - [c30]Isabelle Perseil, Marc Pouzet, Karin K. Breitman
:
Message from Program Co-chairs. ICECCS 2012 - [c29]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: 51-60 - [e2]Isabelle Perseil, Karin K. Breitman, Marc Pouzet:
17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-2156-3 [contents] - [i1]Gwenaël Delaval, Alain Girault, Marc Pouzet:
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs. CoRR abs/1211.2776 (2012) - 2011
- [c28]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: 137-148 - [c27]Louis Mandel, Florence Plateau, Marc Pouzet:
Static scheduling of latency insensitive designs with Lucy-n. FMCAD 2011: 171-175 - [c26]Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet:
Divide and recycle: types and compilation for a hybrid synchronous language. LCTES 2011: 61-70 - 2010
- [j5]Marc Pouzet, Pascal Raymond:
Modular static scheduling of synchronous data-flow networks - An efficient symbolic representation. Des. Autom. Embed. Syst. 14(3): 165-192 (2010) - [c25]Albert Benveniste, Benoît Caillaud, Marc Pouzet:
The fundamentals of hybrid systems modelers. CDC 2010: 4180-4185 - [c24]Louis Mandel, Florence Plateau, Marc Pouzet:
Lucy-n: a n-Synchronous Extension of Lustre. MPC 2010: 288-309
2000 – 2009
- 2009
- [c23]Marc Pouzet, Pascal Raymond:
Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. EMSOFT 2009: 215-224 - [c22]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: 11-20 - 2008
- [j4]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) - [j3]Louis Mandel, Marc Pouzet:
ReactiveML, un langage fonctionnel pour la programmation réactive. Tech. Sci. Informatiques 27(9-10): 1097-1128 (2008) - [c21]Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet:
Abstraction of Clocks in Synchronous Data-Flow Systems. APLAS 2008: 237-254 - [c20]Gwenaël Delaval, Alain Girault, Marc Pouzet:
A type system for the automatic distribution of higher-order synchronous dataflow programs. LCTES 2008: 101-110 - [c19]Dariusz Biernacki
, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet:
Clock-directed modular code generation for synchronous data-flow languages. LCTES 2008: 121-130 - 2007
- [c18]Sébastien Labbé
, Jean-Pierre Gallois, Marc Pouzet:
Slicing Communicating Automata Specifications for Efficient Model Reduction. ASWEC 2007: 191-200 - 2006
- [j2]Alain Girault, Xavier Nicollin, Marc Pouzet:
Automatic rate desynchronization of embedded reactive programs. ACM Trans. Embed. Comput. Syst. 5(3): 687-717 (2006) - [c17]Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet:
Mixing signals and modes in synchronous data-flow systems. EMSOFT 2006: 73-82 - [c16]Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet:
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems. POPL 2006: 180-193 - [e1]Florence Maraninchi, Alain Girault, Marc Pouzet:
Proceedings of the Third International Workshop on Synchronous Languages, Applications, and Programs, SLAP 2004, Satellite Event of ETAPS 2004, Barcelona, Spain, March 28, 2004. Electronic Notes in Theoretical Computer Science 153(4), Elsevier 2006 [contents] - 2005
- [c15]Jean-Louis Colaço, Bruno Pagano, Marc Pouzet:
A conservative extension of synchronous data-flow with state machines. EMSOFT 2005: 173-182 - [c14]Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet:
Synchronization of periodic clocks. EMSOFT 2005: 339-342 - [c13]Louis Mandel, Marc Pouzet:
ReactiveML: a reactive extension to ML. PPDP 2005: 82-93 - 2004
- [j1]Jean-Louis Colaço, Marc Pouzet:
Type-based initialization analysis of a synchronous dataflow language. Int. J. Softw. Tools Technol. Transf. 6(3): 245-255 (2004) - [c12]Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet:
Towards a higher-order synchronous data-flow language. EMSOFT 2004: 230-239 - [c11]Florence Maraninchi, Alain Girault, Marc Pouzet:
Preface. SLAP@ETAPS 2004: 1-2 - 2003
- [c10]Jean-Louis Colaço, Marc Pouzet:
Clocks as First Class Abstract Types. EMSOFT 2003: 134-155 - 2002
- [c9]Jean-Louis Colaço, Marc Pouzet:
Type-Based Initialisation Analysis of a Synchronous Data-Flow Language. SLAP@ETAPS 2002: 65-78 - 2001
- [c8]Pascal Cuoq, Marc Pouzet:
Modular Causality in a Synchronous Stream Language. ESOP 2001: 237-251 - [c7]Pascal Cuoq, Marc Pouzet:
Causalité modulaire dans un langage de flots synchrone. JFLA 2001: 113-128 - 2000
- [c6]Grégoire Hamon, Marc Pouzet:
Modular resetting of synchronous data-flow programs. PPDP 2000: 289-300
1990 – 1999
- 1998
- [c5]Paul Caspi, Marc Pouzet:
A Co-iterative Characterization of Synchronous Stream Functions. CMCS 1998: 1-21 - 1996
- [c4]Marc Pouzet:
Using the parallel complexity of programs to improve compaction. IEEE PACT 1996: 111-115 - [c3]Paul Caspi, Marc Pouzet:
Synchronous Kahn Networks. ICFP 1996: 226-238 - 1995
- [c2]Marc Pouzet:
The Program Compaction Revisited: the Functional Framework. Euro-Par 1995: 441-456 - 1994
- [c1]Marc Pouzet:
Fine Grain Parallelisation of Functional Programs for VLIW or Super-scalar Architectures. Applications in Parallel and Distributed Computing 1994: 195-204
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint