| 2023 | PLDI | Polymorphic Types with Polynomial Sizes. | Jean-Louis Colao, Baptiste Pauget, Marc Pouzet |
| 2020 | OOPSLA | An overview of Scade, a synchronous language for safety-critical software (keynote). | Jean-Louis Colao |
| 2018 | FDL | Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore. | Jean-Louis Colao, Bruno Pagano, Cdric Pasteur, Marc Pouzet |
| 2017 | TASE | SCADE 6: A formal language for embedded critical software development (invited paper). | Jean-Louis Colao, Bruno Pagano, Marc Pouzet |
| 2015 | CC | A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages. | Timothy Bourke, Jean-Louis Colao, Bruno Pagano, Cdric Pasteur, Marc Pouzet |
| 2009 | ICFP | 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 Colao |
| 2008 | PADL | Certified Development Tools Implementation in Objective Caml. | Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colao, Thomas Moniot, Philippe Wang |
| 2006 | EMSOFT | Mixing signals and modes in synchronous data-flow systems. | Jean-Louis Colao, Grgoire Hamon, Marc Pouzet |
| 2005 | EMSOFT | A conservative extension of synchronous data-flow with state machines. | Jean-Louis Colao, Bruno Pagano, Marc Pouzet |
| 2004 | EMSOFT | Towards a higher-order synchronous data-flow language. | Jean-Louis Colao, Alain Girault, Grgoire Hamon, Marc Pouzet |
| 2003 | EMSOFT | Clocks as First Class Abstract Types. | Jean-Louis Colao, Marc Pouzet |