Jean-Louis Colaço

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 7

Top Topics

Formal Language

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

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)
Jean-Louis Colaço
An overview of Scade, a synchronous language for safety-critical software (keynote). REBLS@SPLASH (2020)
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)
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)
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)
Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. ICFP (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)
Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet
Clock-directed modular code generation for synchronous data-flow languages. LCTES (2008)
Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang
Certified Development Tools Implementation in Objective Caml. PADL (2008)
Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet
Mixing signals and modes in synchronous data-flow systems. EMSOFT (2006)
Jean-Louis Colaço, Bruno Pagano, Marc Pouzet
A conservative extension of synchronous data-flow with state machines. 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)