Emmanuel Chailloux

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 16

Top Topics

Static Analysis

Intermediate Level

Top Venues

Int. J. Parallel Program.

Publications

Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux
Hardware Implementation of OCaml Using a Synchronous Functional Language. PADL (2024)
Loïc Sylvestre, Emmanuel Chailloux, Jocelyn Sérot
Accelerating OCaml Programs on FPGA. Int. J. Parallel Program. 51 (2) (2023)
Hector Suzanne, Emmanuel Chailloux
A Reusable Machine-Calculus for Automated Resource Analyses. CoRR (2023)
Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux
Programming microcontrollers through high-level abstractions: The OMicroB project. J. Comput. Lang. 77 (2023)
Hector Suzanne, Emmanuel Chailloux
A Reusable Machine-Calculus for Automated Resource Analyses. LOPSTR (2023)
Loïc Sylvestre, Emmanuel Chailloux, Jocelyn Sérot
Work-in-Progress: mixing computation and interaction on FPGA. EMSOFT (2023)
Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux
A Virtual Machine Approach for High-level FPGA Programming. FCCM (2022)
Mathias Bourgoin, Benjamin Canou, Emmanuel Chailloux, Adrien Jonquet, Philippe Wang
Objective Caml for Multicore Architectures. CoRR (2020)
Thierry Lecomte, David Déharbe, Denis Sabatier, Étienne Prun, Patrick Péronne, Emmanuel Chailloux, Steven Varoumas, Adilla Susungi, Sylvain Conchon
Low Cost High Integrity Platform. CoRR (2020)
Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux
Programming microcontrollers through high-level abstractions. VMIL@SPLASH (2020)
Boubacar Demba Sall, Frédéric Peschanski, Emmanuel Chailloux
A Mechanized Theory of Program Refinement. ICFEM (2019)
Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall
Static Analysis of Communicating Processes Using Symbolic Transducers. VMCAI (2017)
Mathias Bourgoin, Emmanuel Chailloux, Jean Luc Lamotte
High Level Data Structures for GPGPU Programming in a Statically Typed Language. Int. J. Parallel Program. 45 (2) (2017)
Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall
Static Analysis of Communicating Processes using Symbolic Transducers. CoRR (2016)
Jérémie Salvucci, Emmanuel Chailloux
Memory Consumption Analysis for a Functional and Imperative Language. Electron. Notes Theor. Comput. Sci. 330 (2016)
Rémy El Sibaïe, Emmanuel Chailloux
Synchronous-reactive web programming. REBLS@SPLASH (2016)
Mathias Bourgoin, Emmanuel Chailloux
High-level accelerated array programming in the web browser. ARRAY@PLDI (2015)
Benoît Vaugon, Philippe Wang, Emmanuel Chailloux
Programming Microcontrollers in OCaml: The OCaPIC Project. PADL (2015)
Mathias Bourgoin, Emmanuel Chailloux, Jean Luc Lamotte
Efficient Abstractions for GPGPU Programming. Int. J. Parallel Program. 42 (4) (2014)
Mathias Bourgoin, Emmanuel Chailloux
GPGPU Composition with OCaml. ARRAY@PLDI (2014)
Bernard P. Serpette, Pascal Manoury, Emmanuel Chailloux
Unification des couleurs dans un λ-calcul polychrome. JFLA (2014)
Benjamin Canou, Emmanuel Chailloux, Vincent Botbol
Static typing & JavaScript libraries: towards a more considerate relationship. WWW (Companion Volume) (2013)
Benjamin Canou, Emmanuel Chailloux, Vincent Balat
A Declarative-Friendly API for Web Document Manipulation. PADL (2013)
Grégoire Henry, Michel Mauny, Emmanuel Chailloux, Pascal Manoury
Typing unmarshalling without marshalling types. ICFP (2012)
Mathias Bourgoin, Emmanuel Chailloux, Jean Luc Lamotte
Spoc: GPGPU Programming through Stream Processing with OCaml. Parallel Process. Lett. 22 (2) (2012)
Philippe Wang, Adrien Jonquet, Emmanuel Chailloux
Non-Intrusive Structural Coverage for Objective Caml. Electron. Notes Theor. Comput. Sci. 264 (4) (2011)
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)
Benjamin Canou, Vincent Balat, Emmanuel Chailloux
O'browser: objective caml on browsers. ML (2008)
Emmanuel Chailloux, Vivien Ravet, Julien Verlaguet
Hirondml: Fair Threads Migrations for Objective Caml. Parallel Process. Lett. 18 (1) (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)
Grégoire Henry, Michel Mauny, Emmanuel Chailloux
Typer la dé-sérialisation sans sérialiser les types CoRR (2007)
Grégoire Henry, Michel Mauny, Emmanuel Chailloux
Typer la désérialisation sans sérialiser les types. Tech. Sci. Informatiques 26 (9) (2007)
Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici
Mixing the Objective Caml and C# Programming Models in the .Net Framework CoRR (2007)
Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici
Interopérabilité avec Objective Caml. Tech. Sci. Informatiques 24 (9) (2005)
Emmanuel Chailloux, Grégoire Henry
O'Jacaré, une interface objet entre Objective Caml et Java. Obj. Logiciel Base données Réseaux 10 (2-3) (2004)
Emmanuel Chailloux, Raphaël Montelatici, Bruno Pagano
CamIL: Un compilateur Objective Caml vers .NET. RIVF (2004)
Emmanuel Chailloux, Christian Foisy
A Portable Implementation for Objective Caml Flight. Parallel Process. Lett. 13 (3) (2003)
Emmanuel Chailloux, Philippe Codognet
Toward Visual Constraint Programming. VL (1997)
Pieter H. Hartel, Marc Feeley, Martin Helmut Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth
Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark. J. Funct. Program. 6 (4) (1996)
Emmanuel Chailloux, Christian Codognet, Philippe Codognet
Finite Domain Constraints in the ML Functional Language. ICTAI (1994)
Emmanuel Chailloux
A Conservative Garbage Collector with Ambiguous Roots for Static Typechecking Languages. IWMM (1992)