| 2024 | PADL | Hardware Implementation of OCaml Using a Synchronous Functional Language. | Loc Sylvestre, Jocelyn Srot, Emmanuel Chailloux |
| 2023 | EMSOFT | Work-in-Progress: mixing computation and interaction on FPGA. | Loc Sylvestre, Emmanuel Chailloux, Jocelyn Srot |
| 2023 | LOPSTR | A Reusable Machine-Calculus for Automated Resource Analyses. | Hector Suzanne, Emmanuel Chailloux |
| 2022 | FCCM | A Virtual Machine Approach for High-level FPGA Programming. | Loc Sylvestre, Jocelyn Srot, Emmanuel Chailloux |
| 2020 | OOPSLA | Programming microcontrollers through high-level abstractions. | Steven Varoumas, Basile Pesin, Benot Vaugon, Emmanuel Chailloux |
| 2019 | ICFEM | A Mechanized Theory of Program Refinement. | Boubacar Demba Sall, Frdric Peschanski, Emmanuel Chailloux |
| 2017 | VMCAI | Static Analysis of Communicating Processes Using Symbolic Transducers. | Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall |
| 2016 | OOPSLA | Synchronous-reactive web programming. | Rmy El Sibae, Emmanuel Chailloux |
| 2015 | PADL | Programming Microcontrollers in OCaml: The OCaPIC Project. | Benot Vaugon, Philippe Wang, Emmanuel Chailloux |
| 2015 | PLDI | High-level accelerated array programming in the web browser. | Mathias Bourgoin, Emmanuel Chailloux |
| 2014 | PLDI | GPGPU Composition with OCaml. | Mathias Bourgoin, Emmanuel Chailloux |
| 2013 | PADL | A Declarative-Friendly API for Web Document Manipulation. | Benjamin Canou, Emmanuel Chailloux, Vincent Balat |
| 2013 | WWW | Static typing & JavaScript libraries: towards a more considerate relationship. | Benjamin Canou, Emmanuel Chailloux, Vincent Botbol |
| 2012 | ICFP | Typing unmarshalling without marshalling types. | Grgoire Henry, Michel Mauny, Emmanuel Chailloux, Pascal Manoury |
| 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 |
| 1994 | ICTAI | Finite Domain Constraints in the ML Functional Language. | Emmanuel Chailloux, Christian Codognet, Philippe Codognet |