Nombre de documents

50

CV de Emmanuel Chailloux


Pré-publication, Document de travail1 document

  • Bernard Serpette, Pascal Manoury, Emmanuel Chailloux. Unification des couleurs dans un lambda-calcul polychrome. 2013. <hal-00918944>

Ouvrage (y compris édition critique et traduction)1 document

  • Pascal Manoury, Chailloux Emmanuel, Bruno Pagano. Développement d'applications avec Objective Caml. O'Reilly France, pp.400, 2000. <hal-00528476>

Communication dans un congrès37 documents

  • Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall. Static Analysis of Communicating Processes Using Symbolic Transducers. Ahmes Bouajjani and David Monniaux. International Conference on Verification, Model Checking, and Abstract Interpretation - VMCAI 2017, Jan 2017, Paris, France. Springer International Publishing, 10145 Lecture Notes in Computer Science. <10.1007/978-3-319-52234-0_5>. <hal-01449374>
  • Steven Varoumas, Benoît Vaugon, Emmanuel Chailloux. OCaLustre : une extension synchrone d'OCaml pour la programmation de microcontrôleurs. JFLA 2017 - Vingt-huitièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France. <hal-01446225>
  • Mathias Bourgoin, Emmanuel Chailloux, Anastasios Doumoulakis. Profiling High Level Heterogeneous Programs. Tenth International Workshop on Programmability and Architectures for Heterogeneous Multicores (MULTIPROG 2017), Jan 2017, Stockholm, Sweden. <hal-01468891>
  • Steven Varoumas, Benoît Vaugon, Emmanuel Chailloux. Concurrent Programming of Microcontrollers, a Virtual Machine Approach. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), pp.711-720, <http://www.erts2016.org/>. <hal-01292266>
  • Jérémie Salvucci, Emmanuel Chailloux. Memory consumption analysis for a functional and imperative language. Marko van Eekelen and Kerstin Eder. Workshop on Resource Aware Computing (RAC2016), Apr 2016, Eindhoven, Netherlands. 330, Electronic Notes in Theoretical Computer Science. <http://resourceanalysis.cs.ru.nl/rac2016>. <10.1016/j.entcs.2016.12.013>. <hal-01358019>
  • Rémy El Sibaïe, Emmanuel Chailloux. Synchronous Web Programming,. International Workshop on Reactive and Event-Based Languages and Systems (REBLS), Oct 2016, Amsterdam, Netherlands. Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems (SPLASHWS-REBLS) <http://2016.splashcon.org/track/rebls2016>. <10.1145/3001929.3001931>. <hal-01468888>
  • Mathias Bourgoin, Emmanuel Chailloux, Jean-Luc Lamotte. High Level Data Structures for GPGPU Programming in a Statically Typed Language. 8th International Symposium on High-level Parallel Programming and Applications, Jul 2015, Pisa, Italy. <hal-01213331>
  • Jérémie Salvucci, Emmanuel Chailloux. Analyse statique de consommation mémoire pour un langage fonctionnel/impératif typé. Vingt-sixièmes journées francophones des langages applicatifs, Jan 2015, Val d'Ajol, France. <hal-01212788>
  • Benoît Vaugon, Philippe Wang, Emmanuel Chailloux. Programming Microcontrollers in Ocaml: the OCaPIC Project. International Symposium on Practical Aspects of Declarative Languages (PADL 2015), Jun 2015, Portland, OR, United States. Springer Verlag, 9131, pp.132-148, Lecture Notes in Computer Science. <10.1007/978-3-319-19686-2_10>. <hal-01213289>
  • Mathias Bourgoin, Emmanuel Chailloux. High-Level Accelerated Array Programming in the Web Browser. ACM SIGPLAN International Workshop on LIbraries, Languages and Compilers for Array Programming, Jun 2015, Portland, OR, United States. pp.31-36, <10.1145/2774959.2774964>. <hal-01213290>
  • Béatrice Carré, Grégoire Henry, Xavier Clerc, Emmanuel Chailloux. O’Jacaré : un pont entre OCaml et Java. 4ème Conférence en IngénieriE du Logiciel, Jun 2015, Bordeaux, France. <hal-01213292>
  • Philippe Baufreton, Emmanuel Chailloux, Jean-Louis Dufour, Grégoire Henry, Pascal Manoury, et al.. Compositional certification: the CERCLES2 project. Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France. pp.582-591. <hal-01215230>
  • Mathias Bourgoin, Emmanuel Chailloux. High Performance Client-Side Web Programming with SPOC and Js of ocaml. The OCaml Users and Developers Workshop, Sep 2014, Boston, MA, United States. <hal-01215697>
  • Pascal Manoury, Philippe Baufreton, Jean-Louis Dufour, Etienne Prun, Emmanuel Chailloux, et al.. Certification de l’assemblage de composants dans le développement de logiciels critiques. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'14), Jun 2014, Paris, France. pp.109-114. <hal-01215641>
  • Bernard Serpette, Pascal Manoury, Emmanuel Chailloux. Unification des couleurs dans un lambda-calcul polychrome. Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. <hal-01216558>
  • Mathias Bourgoin, Emmanuel Chailloux. GPGPU Composition with OCaml. ACM SIGPLAN International Workshop on LIbraries, Languages and Compilers for Array Programming, ARRAY'14, Jun 2014, Edinburgh, United Kingdom. pp.1-6. <hal-01217264>
  • Mathias Bourgoin, Emmanuel Chailloux, Jean-Luc Lamotte. High-Performance GPGPU Programming with OCaml. The OCaml Users and Developers Workshop, Sep 2013, Boston, MA, United States. <hal-01215694>
  • Mathias Bourgoin, Emmanuel Chailloux, Jean-Luc Lamotte. Efficient Abstractions for GPGPU Programming. International Symposium on High-level Parallel Programming and Applications, Jul 2013, Paris, France. <hal-01216144>
  • Benjamin Canou, Emmanuel Chailloux, Vincent Botbol. Static Typing and JavaScript Libraries: Towards a More Considerate Relationship. International World Wide Web Conference, dev track, May 2013, Rio de Janeiro, Brazil. pp.15-17. <hal-01216057>
  • Mathias Bourgoin, Emmanuel Chailloux, Jean-Luc Lamotte. Retour d'expérience : portage d'une application haute-performance vers un langage de haut niveau. Compas'13, Jan 2013, Grenoble, France. pp.8, 2013. <hal-00838345>
  • Benjamin Canou, Emmanuel Chailloux, Vincent Balat. A declarative-friendly API for Web document manipulation. International Symposium on Practical Aspects of Declarative Languages (PADL 2013), Jan 2013, Rome, Italy. Springer, 7752, pp.109-124, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-45284-0_8>. <hal-00826790>
  • Emmanuel Chailloux, Bernard Serpette. Séparation des couleurs dans un lambda-calcul bichrome. JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France. 2012. <hal-00665958>
  • Mathias Bourgoin, Emmanuel Chailloux, Jean-Luc Lamotte. SPOC : GPGPU programming through Stream Processing with OCaml. HLPGPU2012 workshop, Jan 2012, Paris, France. HLPGPU2012 workshop, pp.1-8. <hal-01273213>
  • Grégoire Henry, Michel Mauny, Emmanuel Chailloux, Pascal Manoury. Typing Unmarshalling without Marshalling Types. International Conference on Functional Programming, Sep 2012, Copenhagen, Denmark. ACM, International Conference on Functional Programming, pp.287-298, <10.1145/2364527.2364569>. <hal-01282253>
  • Mathias Bourgoin, Emmanuel Chailloux, Jean-Luc Lamotte. Experiments with Spoc. Workshop OpenGPU, HIPEAC 2012, Jan 2012, Paris, France. Workshop OpenGPU, HIPEAC 2012. <hal-01282257>
  • Philippe Wang, Adrien Jonquet, Emmanuel Chailloux. Non-Intrusive Structural Coverage for Objective Caml. 5th Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Mar 2010, Paphos, Cyprus. Elsevier, 264 (4), pp.59--73, 2011, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2011.02.006>. <hal-00497131>
  • Mathias Bourgoin, Benjamin Canou, Emmanuel Chailloux, Adrien Jonquet, Philippe Wang. OC4MC: Objective Caml for Multicore Architectures. 21st Symposium on Implementation and Application of Functional Languages, Sep 2009, South Orange, United States. SHU-TR-CS-2009-09-1, pp.24-41, 2009. <hal-00641009>
  • Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, et al.. Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certification framework. The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009), Aug 2009, Edinburgh, United Kingdom. ACM, pp.215-220, <10.1145/1596550.1596582>. <hal-00396371>
  • Bruno Pagano, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Philippe Wang. Couverture de code Caml pour la réalisation d'outils de développement certifiés. Journées Francophones des Langages Applicatifs (JFLA 2007), Jan 2007, Aix-les-Bains, France. pp.71-86, 2007. <hal-00154883>
  • Anne-Gwenn Bosser, Emmanuel Chailloux. FITGap : un framework objet pour le développement de jeux massivement multi-joueurs. Lavoisier. Nouvelles Technologies de la Repartition (NOTERE'2006), Jun 2006, Toulouse, France. Hermes Sciences, pp.119-130, 2006. <hal-00150869>
  • Grégoire Henry, Michel Mauny, Emmanuel Chailloux. Typer la dé-sérialisation sans sérialiser les types. Jan 2006, Pauillac, France. INRIA, pp.133-146, 2006. <hal-00145454>
  • Emmanuel Chailloux, Julien Verlaguet. HirondML : Fair Threads Migrations for Objective Caml. Third Workshop on High-Level Parallel Programming and Applications, Jul 2005, United Kingdom. 2005. <hal-00154880>
  • Raphaël Montelatici, Emmanuel Chailloux, Bruno Pagano. Objective Caml on .NET: The OCamIL Compiler and Toplevel. May 2005, Vaclav Skala and Piotr Nienaltowski, pp.109-120, 2005. <hal-00003784v2>
  • Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici. Mixing the Objective Caml and C# Programming Models in the .Net Framework. Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL), Jun 2004, Oslo, Norway. 2004. <hal-00145420>
  • Raphaël Montelatici, Emmanuel Chailloux, Bruno Pagano. OCAMiL un compilateur Objective Caml pour .NET. Conférence Internationale des chercheurs vietnamiens et Francophones en Informatique (RIVF'04), Feb 2004, Viêt Nam. 2004. <hal-00154504>
  • Clément Capel, Emmanuel Chailloux, Jean-Marc Eber. Applications du toplevel embarqué d'Objective Caml. Jan 2004, INRIA, pp.91-106, 2004. <hal-00154507>
  • Emmanuel Chailloux, Christian Foisy. A portable Implementation for Objective Caml Flight. Second Workshop on High-Level Parallel Programming and Applications, Jun 2003, France. 2003. <hal-00154884>

HDR1 document

  • Emmanuel Chailloux. PRATIQUE DES LANGAGES FONCTIONNELS TYPES. Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2003. <tel-00009013>

Article dans une revue9 documents

  • Jérémie Salvucci, Emmanuel Chailloux. Memory Consumption Analysis for a Functional and Imperative Language. Electronic Notes in Theoretical Computer Science, Elsevier, 2016, 330, pp.27 - 46. <10.1016/j.entcs.2016.12.013>. <hal-01420298>
  • Mathias Bourgoin, Emmanuel Chailloux, Jean-Luc Lamotte. High Level Data Structures for GPGPU Programming in a Statically Typed Language. International Journal of Parallel Programming, Springer Verlag, 2016, <http://link.springer.com/article/10.1007/s10766-016-0424-7>. <10.1007/s10766-016-0424-7>. <hal-01320488>
  • Mathias Bourgoin, Emmanuel Chailloux, Jean-Luc Lamotte. Efficient Abstractions for GPGPU Programming. International Journal of Parallel Programming, Springer Verlag, 2014, 42 (4), pp.583-600. <10.1007/s10766-013-0261-x>. <hal-01146170>
  • Mathias Bourgoin, Emmanuel Chailloux, Jean Luc Lamotte. SPOC: GPGPU PROGRAMMING THROUGH STREAM PROCESSING WITH OCAML. Parallel Processing Letters, World Scientific Publishing, 2012, 22 (2), pp.1240007. <10.1142/S0129626412400075>. <hal-00697257>
  • Emmanuel Chailloux, Vivien Ravet, Julien Verlaguet. Hirondml: Fair Threads Migrations for Objective Caml. Parallel Processing Letters, World Scientific Publishing, 2008, 18 (1), pp.55-69. <10.1142/S0129626408003223>. <hal-00522883>
  • Grégoire Henry, Michel Mauny, Emmanuel Chailloux. Typer la désérialisation sans sérialiser les types. Technique et Science Informatiques, Editions Hermes, 2007, 26 (9), pp.1067-1090. <hal-00275358>
  • Emmanuel Chailloux, Grégoire Henry. O'Jacare : une interface objet entre Objective Caml et Java. Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2004, 10 (2-3), pp.75-88. <hal-00145247>
  • Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici. Interopérabilité avec Objective Caml. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2004, 24 (9), pp.1055-1080. <hal-00145249>
  • Emmanuel Chailloux, Christian Foisy. A portable implementation for Objective Caml flight. Parallel Processing Letters, World Scientific Publishing, 2003, 13 (3), pp.425-436. <hal-00153378>

Chapitre d'ouvrage1 document

  • Mathias Bourgoin, Emmanuel Chailloux, Jean-Luc Lamotte. High Level GPGPU Programming with Parallel Skeletons. PATTERNS FOR PARALLEL PROGRAMMING ON GPUS, Saxe-Coburg Publications, 2014. <hal-01221724>