Jean-Louis Colaço

According to our database, Jean-Louis Colaço authored at least 19 papers between 1999 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

Polymorphic Types with Polynomial Sizes.

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

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

2020

An overview of Scade, a synchronous language for safety-critical software (keynote).

Jean-Louis Colaço

Proceedings of the REBLS 2020: Proceedings of the 7th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2020

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

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

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

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

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

Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.

Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Certified Development Tools Implementation in Objective Caml.

Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang

Proceedings of the Practical Aspects of Declarative 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

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

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

Jean-Louis Colaço, Bruno Pagano, 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

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

1999

Static safety analysis for non-uniform service availability in Actors.

Jean-Louis Colaço, Marc Pantel, Fabien Dagnat, Patrick Sallé

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999