Emmanuel Chailloux

According to our database1, Emmanuel Chailloux authored at least 33 papers between 1992 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Objective Caml for Multicore Architectures.
CoRR, 2020

Low Cost High Integrity Platform.
CoRR, 2020

A Mechanized Theory of Program Refinement.
Proceedings of the Formal Methods and Software Engineering, 2019

High Level Data Structures for GPGPU Programming in a Statically Typed Language.
Int. J. Parallel Program., 2017

Static Analysis of Communicating Processes Using Symbolic Transducers.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Memory Consumption Analysis for a Functional and Imperative Language.
Electron. Notes Theor. Comput. Sci., 2016

Synchronous-reactive web programming.
Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems, 2016

High-level accelerated array programming in the web browser.
Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, 2015

Programming Microcontrollers in OCaml: The OCaPIC Project.
Proceedings of the Practical Aspects of Declarative Languages, 2015

Efficient Abstractions for GPGPU Programming.
Int. J. Parallel Program., 2014

GPGPU Composition with OCaml.
Proceedings of the ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, 2014

Unification des couleurs dans un λ-calcul polychrome.
Proceedings of the 25. Journées francophones des langages applicatifs, 2014

Static typing & JavaScript libraries: towards a more considerate relationship.
Proceedings of the 22nd International World Wide Web Conference, 2013

A Declarative-Friendly API for Web Document Manipulation.
Proceedings of the Practical Aspects of Declarative Languages, 2013

Spoc: GPGPU Programming through Stream Processing with OCaml.
Parallel Process. Lett., 2012

Typing unmarshalling without marshalling types.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

Non-Intrusive Structural Coverage for Objective Caml.
Electron. Notes Theor. Comput. Sci., 2011

Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Hirondml: Fair Threads Migrations for Objective Caml.
Parallel Process. Lett., 2008

Certified Development Tools Implementation in Objective Caml.
Proceedings of the Practical Aspects of Declarative Languages, 2008

O'browser: objective caml on browsers.
Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, 2008

Typer la désérialisation sans sérialiser les types.
Tech. Sci. Informatiques, 2007

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

Typer la dé-sérialisation sans sérialiser les types
CoRR, 2007

Interopérabilité avec Objective Caml.
Tech. Sci. Informatiques, 2005

O'Jacaré, une interface objet entre Objective Caml et Java.
Obj. Logiciel Base données Réseaux, 2004

CamIL: Un compilateur Objective Caml vers .NET.
Proceedings of the Actes de la Deuxieme Conference Internationale Associant Chercheurs Vietnamiens et Francophones en Informatique, 2004

A Portable Implementation for Objective Caml Flight.
Parallel Process. Lett., 2003

Pratique des langages fonctionnels Types.
, 2003

Toward Visual Constraint Programming.
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark.
J. Funct. Program., 1996

Finite Domain Constraints in the ML Functional Language.
Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

A Conservative Garbage Collector with Ambiguous Roots for Static Typechecking Languages.
Proceedings of the Memory Management, 1992