---

Teaching (in French)

Université de Toulouse

2025-2026

• Théorie des langages (en Master 1)
• Bases de l’architecture et des systèmes (en Licence)
• Architecture des machines (en Licence)

Sorbonne Université

2024-2025

• responsable du cours de Compilation Avancée (en Master 1 STL)
• intervenant dans le cours de Paradigmes de Programmation Concurrente (en Master 2 STL)
• Architectures Client-serveur (4 TD, en Licence 2)

2023-2024

• Analyse de programmes et sémantique (TD, en Master 1)
• Compilation Avancée (4 cours / 5 TD, en Master 1 STL)
• Architecture des ordinateurs (TP, en Licence 2)

2022-2023

• Analyse de programmes et sémantique (TD, en Master 1 STL)
• Programmation fonctionnelle (TP, en Licence 2)
• Architecture des ordinateurs (TP, en Licence 2)

2021-2022

• Eléments de programmation (TD et TP, en Licence 1)
• Programmation fonctionnelle (TP, en Licence 2)
• Compilation Avancée (TD, en Master 1 STL)
• Architecture des ordinateurs (TP, en Licence 2)

Software

• Eclat, a compiler turning programs writen in Eclat (a functional-imperative, parallel, synchronous language) down to VHDL for reconfiguring FPGAs
• easy-check, a library for easing writing exercices with automatic graders in Learn-OCaml
• Macle (ML Accelerator), a compiler for implementing hardware accelerators to be called by OCaml programs executed by O2B on FPGAs
• B2ML, a compiler for generating OCaml code from B specifications, part of the LCHIP project.

Publications

• 2025 L. Sylvestre, J. Sérot, E. Chailloux : Programming parallelism on FPGAs with Eclat, International Journal of Parallel Programming (IJPP) 53, pp. 26-50, Springer Verlag (2025). DOI:10.1007/s10766-025-00801-7 ( HAL)
• 2024 L. Sylvestre, J. Sérot, E. Chailloux : Programming parallelism on FPGAs with Eclat, 17th International Symposium on High-Level Parallel Programming and Applications (HLPP ’24) Pisa, Italy, pp. 69-88 – (HAL)
• 2024 L. Sylvestre, J. Sérot, E. Chailloux : Hardware implementation of OCaml using a synchronous functional language, Practical Aspects of Declarative Languages (PADL ’24), Londres, United Kingdom (2024), pp. 151-168, Springer Nature Switzerland. DOI:10.1007/978-3-031-52038-9_10 – (HAL)
• 2023 L. Sylvestre, E. Chailloux, J. Sérot : Work-in-Progress: Mixing Computation and Interaction on FPGA, International Conference on Embedded Software (EMSOFT ’23) Hamburg, Germany, pp. 5-6, ACM. DOI:10.1145/3607890.3608467 – ( HAL)
• 2023 L. Sylvestre, E. Chailloux, J. Sérot : Accelerating OCaml Programs on FPGA, International Journal of Parallel Programming (IJPP), pp. 186-207, Springer Verlag (2023). DOI:10.1007/s10766-022-00748-z – ( HAL)
• 2022 L. Sylvestre, E. Chailloux, J. Sérot : Accelerating OCaml Programs on FPGA, 15th International Symposium on High-Level Parallel Programming and Applications (HLPP 2022) Porto, Portugal – ( HAL)
• 2022 L. Sylvestre, J. Sérot, E. Chailloux : “A Virtual Machine Approach for High-level FPGA Programming”,
  IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM ’22), IEEE. 10.1109/FCCM53951.2022.9786082 – ( HAL)
• 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 (JFLA ’22), pp. 93-109 – ( HAL)
• 2020 L. Sylvestre, E. Chailloux : “Expérimentations pédagogiques en Learn-OCaml”,
  Journées Francophones des Langages Applicatifs (JFLA ’20) – ( HAL)

Talks

• • groupe de travail Programmation, IRIF (April 28, 2025) – « Synthèse de circuits sur cibles FPGA : quel rôle pour les langages de programmation ? »
  • Lab-STICC (March 27, 2025) – « Conception et synthèse d’applications matérielles temporellement prédictibles : un retour d’expérience »
  • Séminaire TRACES, IRIT (Marsh 20, 2025)  – « Conception et synthèse d’applications matérielles temporellement prédictibles : un retour d’expérience »
  • Séminaire Preuve de programmes, LMF (March 12, 2025) – « Conception d’architectures matérielles fiables à base de FPGA avec Eclat »
  • Séminaire DISC, ISAE-SUPAERO (March 7, 2025) – « Conception de systèmes réactifs et programmation parallèle de haut niveau à base d’architectures FPGA »
  • Séminaire Kairos, I3S/INRIA (March 3, 2025) – Conception de systèmes réactifs et programmation parallèle de haut niveau à base d’architectures FPGA
  • Séminaire du LIFO (January 25, 2025) – Eclat : un langage synchrone pour la programmation sûre, expressive et efficace de circuits FPGA
  • Meetup OCaml (OUPS) (December 12, 2024) – Safe, expressive and efficient FPGA programming
  • Journées d’équipe APR à Caen (May 31, 2024) – Programmation FPGA de bas en haut et vice-versa
  • VAADER Serminar (May 24, 2024) – En même temps mais dans l‘ordre : une approche synchrone pour la programmation parallèle sur FPGA
  • Séminaire PARKAS (December 06, 2023) – Une approche synchrone pour la
    programmation haut-niveau de FPGA
  • SYNCHRON23 (30 November, 2023) – Mixing interaction and computation on FPGA
  • Seminários DEEI, Universidade do Algarve (3 November, 2023) – Mixing interaction and computation on FPGA
  • FSIC 2023 (July 10, 2023) – Mixing software abstractions for high-level FPGA programming
  • Journées CLAP-HiFi-LVP 2023, session du groupe de travail HiFi (March 20, 2023) – Mélange de calcul et d’interaction sur un FPGA
  • Journée de l’équipe APR, École des Mines, Paris (June 17, 2022) – « Accélération de programmes OCaml sur FPGA » 
  • Journées nationales du GDR GPL 2022, session du groupe de travail CLAP (June 7, 2022) – Macle : un langage dédié à l’accélération de programmes OCaml sur FPGA
  • Séminaire IRILL (March 24, 2022) – Macle : un langage dédié à l’accélération de programmes OCaml sur circuits FPGA
  • Demi-journée de l’équipe APR (July 5, 2019) – Portage de matériels pédagogiques sur la plateforme Learn-OCaml (un assistant à l’enseignement du langage OCaml)