CHAILLOUX Emmanuel

Professore
Gruppo di ricerca : APR

Sorbonne Université - LIP6

Tel: +33 1 44 27 62 42, Emmanuel.Chailloux (at) nulllip6.fr
https://lip6.fr/Emmanuel.Chailloux

2 Studenti di dottorato (Relatore / Co-relazione)

SUZANNE Hector : Analyses statiques de ressources pour langages de haut niveau
SYLVESTRE Loic : Safe, expressive and efficient programming of FPGA-based reprogrammable circuits

9 Dottore di ricerca 2011 - 2023

Pubblicazioni 1997-2024

Tutti Articoli su rivista Capitoli di libri Articoli su atti di conferenza

2024
- L. Sylvestre, J. Sérot, E. Chailloux : “Hardware Implementation of OCaml Using a Synchronous Functional Language”, Practical Aspects of Declarative Languages, vol. 14512, Lecture Notes in Computer Science, Londres, United Kingdom, pp. 151-168, (Springer Nature Switzerland), (ISBN: 978-3-031-52037-2) (2024)
2023
- S. Varoumas, B. Pesin, B. Vaugon, E. Chailloux : “Programming microcontrollers through high-level abstractions: The OMicroB project”, Journal of Computer Languages, vol. 77, pp. 101228, (Elsevier) (2023)
- H. Suzanne, E. Chailloux : “A Reusable Machine-Calculus for Automated Resource Analyses”, Logic-Based Program Synthesis and Transformation, vol. 14330, Lecture Notes in Computer Science, Cascais, Portugal, pp. 61-79, (Springer Nature Switzerland) (2023)
- L. Sylvestre, E. Chailloux, J. Sérot : “Work-in-Progress: mixing computation and interaction on FPGA”, International Conference on Embedded Software (EMSOFT 2023), Hambourg, Germany (2023)
- L. Sylvestre, E. Chailloux, J. Sérot : “Accelerating OCaml Programs on FPGA”, International Journal of Parallel Programming, vol. 51 (Special Issue on High-Level Parallel Programming and Applications (HLPP 2022)), pp. 186–207, (Springer Verlag) (2023)
2022
- L. Sylvestre, E. Chailloux, J. Sérot : “Accelerating OCaml programs on FPGA”, 15^th International Symposium on High-level Parallel Programming and Applications (HLPP 2022), Porto, Portugal (2022)
- L. Sylvestre, J. Sérot, E. Chailloux : “A Virtual Machine Approach for High-level FPGA Programming”, 2022 IEEE 30^th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), New York City, United States, (IEEE) (2022)
- L. Sylvestre, J. Sérot, E. Chailloux : “Macle : un langage dédié à l’accélération de programmes OCaml sur circuits FPGA”, Journées Francophones des Langages Applicatifs, Saint-Médard-d'Excideuil, France, pp. 93-109 (2022)
2021
- J. Sérot, E. Chailloux : “OCaml sur circuit FPGA”, JFLA 2021 - 32 èmes Journées Francophones des Langages Applicatifs, en ligne, France (2021)
2020
- S. Varoumas, B. Pesin, B. Vaugon, E. Chailloux : “Programming microcontrollers through high-level abstractions”, VMIL 2020: Proceedings of the 12^th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, Chicago / Virtual, United States, pp. 5-14, (Association for Computing Machinery) (2020)
- L. Sylvestre, E. Chailloux : “Expérimentations pédagogiques en Learn-OCaml”, 31^e Journées Francophones des Langages Applicatifs, Gruissan, France (2020)
- Th. Lecomte, D. Déharbe, D. Sabatier, E. Prun, P. Péronne, E. Chailloux, S. Varoumas, A. Susungi, S. Conchon : “Low Cost High Integrity Platform: regular paper”, ERTS 2020 - 10^th European Congress on Embedded Real Time Systems, Toulouse, France (2020)
2019
- B. Sall, F. Peschanski, E. Chailloux : “A Mechanized Theory of Program Refinement”, ICFEM 2019 - 21^st International Conference on Formal Engineering Methods, vol. 11852, Lecture Notes in Computer Science, Shenzhen, China, pp. 305-321, (Springer) (2019)
2018
- E. Chailloux, R. Demangeon, M. Mauny : “Typage des langages de programmation”, chapitre de Techniques de l'ingénieur n°ref. article : h3320, (Editions T.I.) (2018)
- S. Varoumas, B. Vaugon, E. Chailloux : “A Generic Virtual Machine Approach for Programming Microcontrollers: the OMicroB Project”, Proceedings of the 9^th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Toulouse, France (2018)
- S. Varoumas, B. Vaugon, E. Chailloux : “La programmation de microcontrôleurs dans des langages de haut niveau - Cours invité: Tutorial”, JFLA 2018 - Journées Francophones des Langages Applicatifs, Vingt-neuvièmes Journées Francophones des Langages Applicatifs (JFLA 2018), BANYULS, France (2018)
2017
- B. Sall, F. Peschanski, E. Chailloux : “Analyse de Bytecode par Raffinement”, Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2017), Montpellier, France (2017)
- M. Bourgoin, E. Chailloux, A. Doumoulakis : “Profiling High Level Heterogeneous Programs”, Tenth International Workshop on Programmability and Architectures for Heterogeneous Multicores (MULTIPROG 2017), Stockholm, Sweden (2017)
- V. Botbol, E. Chailloux, T. Le Gall : “Static Analysis of Communicating Processes Using Symbolic Transducers”, International Conference on Verification, Model Checking, and Abstract Interpretation - VMCAI 2017, vol. 10145, Lecture Notes in Computer Science, Paris, France, (Springer International Publishing) (2017)
- S. Varoumas, B. Vaugon, E. Chailloux : “OCaLustre : une extension synchrone d’OCaml pour la programmation de microcontrôleurs”, JFLA 2017 - Vingt-huitièmes Journées Francophones des Langages Applicatifs, Gourette, France (2017)
2016
- R. El Sibaïe, E. Chailloux : “Synchronous Web Programming,”, Proceedings of the 3^rd International Workshop on Reactive and Event-Based Languages and Systems (SPLASHWS-REBLS), Amsterdam, Netherlands (2016)
- M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “High Level Data Structures for GPGPU Programming in a Statically Typed Language”, International Journal of Parallel Programming, (Springer Verlag) (2016)
- S. Varoumas, B. Vaugon, E. Chailloux : “Concurrent Programming of Microcontrollers, a Virtual Machine Approach”, Proceedings of the 8^th European Congress on Embedded Real Time Software and Systems (ERTS 2016), TOULOUSE, France, pp. 711-720 (2016)
- R. El Sibaïe, E. Chailloux : “Pendulum : une extension réactive pour la programmation Web en OCaml”, Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Saint-Malo, France (2016)
- J. Salvucci, E. Chailloux : “Memory Consumption Analysis for a Functional and Imperative Language”, RAC 2016 - Resource Aware Computing, vol. 330, Electronic Notes in Theoretical Computer Science, Eindhoven, Netherlands, pp. 27-46 (2016)
2015
- M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “High Level Data Structures for GPGPU Programming in a Statically Typed Language”, 8^th International Symposium on High-level Parallel Programming and Applications, Pisa, Italy (2015)
- M. Bourgoin, E. Chailloux : “High-Level Accelerated Array Programming in the Web Browser”, ACM SIGPLAN International Workshop on LIbraries, Languages and Compilers for Array Programming, Portland, OR, United States, pp. 31-36 (2015)
- B. Carré, G. Henry, X. Clerc, E. Chailloux : “O’Jacaré : un pont entre OCaml et Java”, 4^e Conférence en IngénieriE du Logiciel, Bordeaux, France (2015)
- B. Vaugon, Ph. Wang, E. Chailloux : “Programming Microcontrollers in Ocaml: the OCaPIC Project”, International Symposium on Practical Aspects of Declarative Languages (PADL 2015), vol. 9131, Lecture Notes in Computer Science, Portland, OR, United States, pp. 132-148, (Springer Verlag) (2015)
- J. Salvucci, E. Chailloux : “Analyse statique de consommation mémoire pour un langage fonctionnel/impératif typé”, Actes des vingt-sixièmes journées francophones des langages applicatifs, Val d'Ajol, France (2015)
2014
- M. Bourgoin, E. Chailloux : “High Performance Client-Side Web Programming with SPOC and Js of ocaml”, The OCaml Users and Developers Workshop, Boston, MA, United States (2014)
- M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “Efficient Abstractions for GPGPU Programming”, International Journal of Parallel Programming, vol. 42 (4), pp. 583-600, (Springer Verlag) (2014)
- P. Manoury, Ph. Baufreton, J.‑L. Dufour, E. Prun, E. Chailloux, G. Henry, F. Thibord, Ph. Wang, E. Millon : “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), Paris, France, pp. 109-114 (2014)
- M. Bourgoin, E. Chailloux : “GPGPU Composition with OCaml”, ACM SIGPLAN International Workshop on LIbraries, Languages and Compilers for Array Programming, ARRAY'14, Edinburgh, United Kingdom, pp. 1-6 (2014)
- Ph. Baufreton, E. Chailloux, J.‑L. Dufour, G. Henry, P. Manoury, E. Prun, F. Thibord, Ph. Wang : “Compositional certification: the CERCLES2 project”, Embedded Real Time Software and Systems (ERTS2), Toulouse, France, pp. 582-591 (2014)
- B. Serpette, P. Manoury, E. Chailloux : “Unification des couleurs dans un lambda-calcul polychrome”, Journées Francophones des Langages Applicatifs, Fréjus, France (2014)
- M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “High Level GPGPU Programming with Parallel Skeletons”, chapter in PATTERNS FOR PARALLEL PROGRAMMING ON GPUS, (Saxe-Coburg Publications) (2014)
2013
- M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “High-Performance GPGPU Programming with OCaml”, The OCaml Users and Developers Workshop, Boston, MA, United States (2013)
- M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “Efficient Abstractions for GPGPU Programming”, International Symposium on High-level Parallel Programming and Applications, Paris, France (2013)
- B. Canou, E. Chailloux, V. Botbol : “Static Typing and JavaScript Libraries: Towards a More Considerate Relationship”, International World Wide Web Conference, dev track, Rio de Janeiro, Brazil, pp. 15-17 (2013)
- M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “Retour d’expérience : portage d’une application haute-performance vers un langage de haut niveau”, Compas'13, Grenoble, France, pp. 8 (2013)
- B. Canou, E. Chailloux, V. Balat : “A declarative-friendly API for Web document manipulation”, International Symposium on Practical Aspects of Declarative Languages (PADL 2013), vol. 7752, Lecture Notes in Computer Science, Rome, Italy, pp. 109-124, (Springer) (2013)
2012
- G. Henry, M. Mauny, E. Chailloux, P. Manoury : “Typing Unmarshalling without Marshalling Types”, International Conference on Functional Programming, Copenhagen, Denmark, pp. 287-298, (ACM) (2012)
- M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “SPOC: GPGPU PROGRAMMING THROUGH STREAM PROCESSING WITH OCAML”, Parallel Processing Letters, vol. 22 (2), pp. 1240007, (World Scientific Publishing) (2012)
- B. Canou, E. Chailloux, J. Vouillon : “How to Run your Favorite Language in Web Browsers”, WWW2012 dev track proceedings, Lyon, France (2012)
- E. Chailloux, B. Serpette : “Séparation des couleurs dans un lambda-calcul bichrome”, JFLA - Journées Francophones des Langages Applicatifs - 2012, Carnac, France (2012)
- M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “Experiments with Spoc”, Workshop OpenGPU, HIPEAC 2012, Paris, France (2012)
- M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “SPOC : GPGPU programming through Stream Processing with OCaml”, HLPGPU2012 workshop, Paris, France, pp. 1-8 (2012)
2011
- Ph. Wang, A. Jonquet, E. Chailloux : “Non-Intrusive Structural Coverage for Objective Caml”, 5^th Workshop on Bytecode Semantics, Verification, Analysis and Transformation, vol. 264 (4), Electronic Notes in Theoretical Computer Science, Paphos, Cyprus, pp. 59-73, (Elsevier) (2011)
- B. Vaugon, Ph. Wang, E. Chailloux : “Les microcontrôleurs PIC programmés en Objective Caml”, Actes des vingt-deuxièmes Journées Francophones des Langages Applicatifs, Studia Informatica Universalis, La Bresse, France, pp. 177-207, (Hermann) (2011)
2009
- M. Bourgoin, B. Canou, E. Chailloux, A. Jonquet, Ph. Wang : “OC4MC: Objective Caml for Multicore Architectures”, 21^st Symposium on Implementation and Application of Functional Languages, vol. SHU-TR-CS-2009-09-1, South Orange, United States, pp. 24-41 (2009)
- B. Pagano, O. Andrieu, Th. Moniot, B. Canou, E. Chailloux, Ph. Wang, P. Manoury, J.‑L. Colaço : “Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certification framework”, The 14^th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009), Edinburgh, United Kingdom, pp. 215-220, (ACM) (2009)
2008
- E. Chailloux, V. Ravet, J. Verlaguet : “Hirondml: Fair Threads Migrations for Objective Caml”, Parallel Processing Letters, vol. 18 (1), pp. 55-69, (World Scientific Publishing) (2008)
2007
- B. Pagano, B. Canou, E. Chailloux, J.‑L. Colaço, Ph. Wang : “Couverture de code Caml pour la réalisation d’outils de développement certifiés”, Journées Francophones des Langages Applicatifs (JFLA 2007), Aix-les-Bains, France, pp. 71-86 (2007)
- G. Henry, M. Mauny, E. Chailloux : “Typer la désérialisation sans sérialiser les types”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 26 (9), pp. 1067-1090, (Lavoisier) (2007)
2006
- E. Chailloux, M. Mauny : “Programmation fonctionnelle”, chapitre de Encyclopédie de l'informatique et des systèmes d'information, pp. 1016-1027, (Vuibert) (2006)
- A.‑G. Bosser, E. Chailloux : “FITGap : un framework objet pour le développement de jeux massivement multi-joueurs”, Nouvelles Technologies de la Repartition (NOTERE'2006), Toulouse, France, pp. 119-130, (Hermes Sciences) (2006)
2002
- Ch. Queinnec, E. Chailloux : “Une expérience de notation en masse”, TICE 2002 - Technologies de l'Information et de la Communication dans les Enseignements d'Ingénieurs et dans l'industrie, Lyon, France, pp. 403-404, (Institut National des Sciences Appliquées de Lyon) (2002)
- M.‑V. Aponte, E. Chailloux, G. Cousineau, P. Manoury : “Advanced programming features in objective caml.”, 6^eme Brazilian Symposium on Programming Languages. -- Rio de Janeiro, X, France (2002)
1997
- E. Chailloux, P. Manoury, B. Pagano : “Types behind the mirror : a proposal for partial ML type reconstruction at run-time.”, Types in Compilation Workshop, Amsterdam, Netherlands (1997)