Emmanuel Chailloux

43 papers A 2B 2C 6Misc 2Journal 18Unranked 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
Programming Parallelism on FPGAs with Eclat.
Int. J. Parallel Program.
Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux
2024 C conf
Hardware Implementation of OCaml Using a Synchronous Functional Language.
PADL
Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux
2023 C conf
A Reusable Machine-Calculus for Automated Resource Analyses.
LOPSTR
Hector Suzanne, Emmanuel Chailloux
2023 J jnl
A Reusable Machine-Calculus for Automated Resource Analyses.
CoRR
Hector Suzanne, Emmanuel Chailloux
2023 J jnl
Accelerating OCaml Programs on FPGA.
Int. J. Parallel Program.
Loïc Sylvestre, Emmanuel Chailloux, Jocelyn Sérot
2023 J jnl
Programming microcontrollers through high-level abstractions: The OMicroB project.
J. Comput. Lang.
Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux
2023 Misc conf
Work-in-Progress: mixing computation and interaction on FPGA.
EMSOFT
Loïc Sylvestre, Emmanuel Chailloux, Jocelyn Sérot
2022 Misc conf
A Virtual Machine Approach for High-level FPGA Programming.
FCCM
Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux
2020 J jnl
Low Cost High Integrity Platform.
CoRR
Thierry Lecomte, David Déharbe, Denis Sabatier, Étienne Prun, Patrick Péronne, Emmanuel Chailloux, Steven Varoumas, Adilla Susungi, Sylvain Conchon
2020 J jnl
Objective Caml for Multicore Architectures.
CoRR
Mathias Bourgoin, Benjamin Canou, Emmanuel Chailloux, Adrien Jonquet, Philippe Wang
2020 — conf
Programming microcontrollers through high-level abstractions.
VMIL@SPLASH
Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux
2019 C conf
A Mechanized Theory of Program Refinement.
ICFEM
Boubacar Demba Sall, Frédéric Peschanski, Emmanuel Chailloux
2017 J jnl
High Level Data Structures for GPGPU Programming in a Statically Typed Language.
Int. J. Parallel Program.
Mathias Bourgoin, Emmanuel Chailloux, Jean Luc Lamotte
2017 B conf
Static Analysis of Communicating Processes Using Symbolic Transducers.
VMCAI
Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall
2016 — conf
Memory Consumption Analysis for a Functional and Imperative Language.
RAC@ETAPS
Jérémie Salvucci, Emmanuel Chailloux
2016 J jnl
Static Analysis of Communicating Processes using Symbolic Transducers.
CoRR
Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall
2016 — conf
Synchronous-reactive web programming.
REBLS@SPLASH
Rémy El Sibaïe, Emmanuel Chailloux
2015 — conf
High-level accelerated array programming in the web browser.
ARRAY@PLDI
Mathias Bourgoin, Emmanuel Chailloux
2015 C conf
Programming Microcontrollers in OCaml: The OCaPIC Project.
PADL
Benoît Vaugon, Philippe Wang, Emmanuel Chailloux
2014 J jnl
Efficient Abstractions for GPGPU Programming.
Int. J. Parallel Program.
Mathias Bourgoin, Emmanuel Chailloux, Jean Luc Lamotte
2014 — conf
GPGPU Composition with OCaml.
ARRAY@PLDI
Mathias Bourgoin, Emmanuel Chailloux
2014 — conf
Unification des couleurs dans un λ-calcul polychrome.
JFLA
Bernard P. Serpette, Pascal Manoury, Emmanuel Chailloux
2013 C conf
A Declarative-Friendly API for Web Document Manipulation.
PADL
Benjamin Canou, Emmanuel Chailloux, Vincent Balat
2013 — conf
Static typing & JavaScript libraries: towards a more considerate relationship.
WWW (Companion Volume)
Benjamin Canou, Emmanuel Chailloux, Vincent Botbol
2012 J jnl
Spoc: GPGPU Programming through Stream Processing with OCaml.
Parallel Process. Lett.
Mathias Bourgoin, Emmanuel Chailloux, Jean Luc Lamotte
2012 A conf
Typing unmarshalling without marshalling types.
ICFP
Grégoire Henry, Michel Mauny, Emmanuel Chailloux, Pascal Manoury
2010 — conf
Non-Intrusive Structural Coverage for Objective Caml.
Bytecode@ETAPS
Philippe Wang, Adrien Jonquet, Emmanuel Chailloux
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
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 J jnl
Hirondml: Fair Threads Migrations for Objective Caml.
Parallel Process. Lett.
Emmanuel Chailloux, Vivien Ravet, Julien Verlaguet
2008 — conf
O'browser: objective caml on browsers.
ML
Benjamin Canou, Vincent Balat, Emmanuel Chailloux
2007 J jnl
Mixing the Objective Caml and C# Programming Models in the .Net Framework
CoRR
Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici
2007 J jnl
Typer la dé-sérialisation sans sérialiser les types
CoRR
Grégoire Henry, Michel Mauny, Emmanuel Chailloux
2007 J jnl
Typer la désérialisation sans sérialiser les types.
Tech. Sci. Informatiques
Grégoire Henry, Michel Mauny, Emmanuel Chailloux
2005 J jnl
Interopérabilité avec Objective Caml.
Tech. Sci. Informatiques
Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici
2004 — conf
CamIL: Un compilateur Objective Caml vers .NET.
RIVF
Emmanuel Chailloux, Raphaël Montelatici, Bruno Pagano
2004 J jnl
O'Jacaré, une interface objet entre Objective Caml et Java.
Obj. Logiciel Base données Réseaux
Emmanuel Chailloux, Grégoire Henry
2003 J jnl
A Portable Implementation for Objective Caml Flight.
Parallel Process. Lett.
Emmanuel Chailloux, Christian Foisy
2003 — book
Pratique des langages fonctionnels Types.
Emmanuel Chailloux
1997 — conf
Toward Visual Constraint Programming.
VL
Emmanuel Chailloux, Philippe Codognet
1996 J jnl
Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark.
J. Funct. Program.
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
1994 B conf
Finite Domain Constraints in the ML Functional Language.
ICTAI
Emmanuel Chailloux, Christian Codognet, Philippe Codognet
1992 — conf
A Conservative Garbage Collector with Ambiguous Roots for Static Typechecking Languages.
IWMM
Emmanuel Chailloux