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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Objective Caml for Multicore Architectures.
CoRR, 2020

Low Cost High Integrity Platform.
CoRR, 2020

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

2017
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

2016
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

2015
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

2014
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

2013
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

2012
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

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

2009
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

2008
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

2007
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

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

2004
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

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

Pratique des langages fonctionnels Types.
, 2003

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

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

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

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


  Loading...