Emmanuel Chailloux

According to our database, Emmanuel Chailloux authored at least 40 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Hardware Implementation of OCaml Using a Synchronous Functional Language.

Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux

Proceedings of the Practical Aspects of Declarative Languages, 2024

2023

Programming microcontrollers through high-level abstractions: The OMicroB project.

Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux

J. Comput. Lang., November, 2023

Accelerating OCaml Programs on FPGA.

Loïc Sylvestre, Emmanuel Chailloux, Jocelyn Sérot

Int. J. Parallel Program., 2023

A Reusable Machine-Calculus for Automated Resource Analyses.

Hector Suzanne, Emmanuel Chailloux

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

Work-in-Progress: mixing computation and interaction on FPGA.

Loïc Sylvestre, Emmanuel Chailloux, Jocelyn Sérot

Proceedings of the International Conference on Embedded Software, 2023

2022

A Virtual Machine Approach for High-level FPGA Programming.

Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux

Proceedings of the 30th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2022

2020

Objective Caml for Multicore Architectures.

Mathias Bourgoin, Benjamin Canou, Emmanuel Chailloux, Adrien Jonquet, Philippe Wang

CoRR, 2020

Low Cost High Integrity Platform.

Thierry Lecomte, David Déharbe, Denis Sabatier, Étienne Prun, Patrick Péronne, Emmanuel Chailloux, Steven Varoumas, Adilla Susungi, Sylvain Conchon

CoRR, 2020

Programming microcontrollers through high-level abstractions.

Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux

Proceedings of the VMIL@SPLASH 2020: Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2020

2019

A Mechanized Theory of Program Refinement.

Boubacar Demba Sall, Frédéric Peschanski, Emmanuel Chailloux

Proceedings of the Formal Methods and Software Engineering, 2019

2017

High Level Data Structures for GPGPU Programming in a Statically Typed Language.

Mathias Bourgoin, Emmanuel Chailloux, Jean Luc Lamotte

Int. J. Parallel Program., 2017

Static Analysis of Communicating Processes Using Symbolic Transducers.

Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016

Memory Consumption Analysis for a Functional and Imperative Language.

Jérémie Salvucci, Emmanuel Chailloux

Proceedings of the Resource Aware Computing, 2016

Synchronous-reactive web programming.

Rémy El Sibaïe, Emmanuel Chailloux

Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems, 2016

2015

High-level accelerated array programming in the web browser.

Mathias Bourgoin, Emmanuel Chailloux

Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, 2015

Programming Microcontrollers in OCaml: The OCaPIC Project.

Benoît Vaugon, Philippe Wang, Emmanuel Chailloux

Proceedings of the Practical Aspects of Declarative Languages, 2015

2014

Efficient Abstractions for GPGPU Programming.

Mathias Bourgoin, Emmanuel Chailloux, Jean Luc Lamotte

Int. J. Parallel Program., 2014

GPGPU Composition with OCaml.

Mathias Bourgoin, Emmanuel Chailloux

Proceedings of the ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, 2014

Unification des couleurs dans un λ-calcul polychrome.

Bernard P. Serpette, Pascal Manoury, Emmanuel Chailloux

Proceedings of the 25. Journées francophones des langages applicatifs, 2014

2013

Static typing & JavaScript libraries: towards a more considerate relationship.

Benjamin Canou, Emmanuel Chailloux, Vincent Botbol

Proceedings of the 22nd International World Wide Web Conference, 2013

A Declarative-Friendly API for Web Document Manipulation.

Benjamin Canou, Emmanuel Chailloux, Vincent Balat

Proceedings of the Practical Aspects of Declarative Languages, 2013

2012

Spoc: GPGPU Programming through Stream Processing with OCaml.

Mathias Bourgoin, Emmanuel Chailloux, Jean Luc Lamotte

Parallel Process. Lett., 2012

Typing unmarshalling without marshalling types.

Grégoire Henry, Michel Mauny, Emmanuel Chailloux, Pascal Manoury

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2010

Non-Intrusive Structural Coverage for Objective Caml.

Philippe Wang, Adrien Jonquet, Emmanuel Chailloux

Proceedings of the Fifth Workshop on Bytecode Semantics, 2010

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

Hirondml: Fair Threads Migrations for Objective Caml.

Emmanuel Chailloux, Vivien Ravet, Julien Verlaguet

Parallel Process. Lett., 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

O'browser: objective caml on browsers.

Benjamin Canou, Vincent Balat, Emmanuel Chailloux

Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, 2008

2007

Typer la désérialisation sans sérialiser les types.

Grégoire Henry, Michel Mauny, Emmanuel Chailloux

Tech. Sci. Informatiques, 2007

Mixing the Objective Caml and C# Programming Models in the .Net Framework

Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici

CoRR, 2007

Typer la dé-sérialisation sans sérialiser les types

Grégoire Henry, Michel Mauny, Emmanuel Chailloux

CoRR, 2007

2005

Interopérabilité avec Objective Caml.

Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici

Tech. Sci. Informatiques, 2005

2004

O'Jacaré, une interface objet entre Objective Caml et Java.

Emmanuel Chailloux, Grégoire Henry

Obj. Logiciel Base données Réseaux, 2004

CamIL: Un compilateur Objective Caml vers .NET.

Emmanuel Chailloux, Raphaël Montelatici, Bruno Pagano

Proceedings of the Actes de la Deuxieme Conference Internationale Associant Chercheurs Vietnamiens et Francophones en Informatique, 2004

2003

A Portable Implementation for Objective Caml Flight.

Emmanuel Chailloux, Christian Foisy

Parallel Process. Lett., 2003

Pratique des langages fonctionnels Types.

Emmanuel Chailloux

, 2003

1997

Toward Visual Constraint Programming.

Emmanuel Chailloux, Philippe Codognet

Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

1996

Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark.

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

J. Funct. Program., 1996

1994

Finite Domain Constraints in the ML Functional Language.

Emmanuel Chailloux, Christian Codognet, Philippe Codognet

Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

1992

A Conservative Garbage Collector with Ambiguous Roots for Static Typechecking Languages.

Emmanuel Chailloux

Proceedings of the Memory Management, 1992