Jean-Louis Colaço

19 papers A 1B 3C 2Misc 5Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2023 J jnl
A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines.
ACM Trans. Embed. Comput. Syst.
Jean-Louis Colaço, Michael Mendler, Baptiste Pauget, Marc Pouzet
2023 — conf
Polymorphic Types with Polynomial Sizes.
ARRAY@PLDI
Jean-Louis Colaço, Baptiste Pauget, Marc Pouzet
2020 — conf
An overview of Scade, a synchronous language for safety-critical software (keynote).
REBLS@SPLASH
Jean-Louis Colaço
2018 J jnl
Building a Hybrid Systems Modeler on Synchronous Languages Principles.
Proc. IEEE
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet
2018 C conf
Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore.
FDL
Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
2017 J jnl
A Synchronous Look at the Simulink Standard Library.
ACM Trans. Embed. Comput. Syst.
Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
2017 Misc conf
SCADE 6: A formal language for embedded critical software development (invited paper).
TASE
Jean-Louis Colaço, Bruno Pagano, Marc Pouzet
2015 B conf
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages.
CC
Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
2009 A conf
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.
ICFP
Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço
2009 B conf
Synchronous objects with scheduling policies: introducing safe shared memory in lustre.
LCTES
Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond
2008 C conf
Certified Development Tools Implementation in Objective Caml.
PADL
Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang
2008 B conf
Clock-directed modular code generation for synchronous data-flow languages.
LCTES
Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet
2006 Misc conf
Mixing signals and modes in synchronous data-flow systems.
EMSOFT
Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet
2005 Misc conf
A conservative extension of synchronous data-flow with state machines.
EMSOFT
Jean-Louis Colaço, Bruno Pagano, Marc Pouzet
2004 Misc conf
Towards a higher-order synchronous data-flow language.
EMSOFT
Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet
2004 J jnl
Type-based initialization analysis of a synchronous dataflow language.
Int. J. Softw. Tools Technol. Transf.
Jean-Louis Colaço, Marc Pouzet
2003 Misc conf
Clocks as First Class Abstract Types.
EMSOFT
Jean-Louis Colaço, Marc Pouzet
2002 — conf
Type-Based Initialisation Analysis of a Synchronous Data-Flow Language.
SLAP
Jean-Louis Colaço, Marc Pouzet
1999 — conf
Static safety analysis for non-uniform service availability in Actors.
FMOODS
Jean-Louis Colaço, Marc Pantel, Fabien Dagnat, Patrick Sallé