2 Doctorants (Direction de recherche / Co-encadrement)

• SUZANNE Hector : Analyses statiques de ressources pour langages de haut niveau
• SYLVESTRE Loic : Programmation sûre expressive et efficace de circuits reprogrammables de type FPGA

9 Docteurs 2011 - 2023

Publications 1997-2024

• 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”, Journé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)