I am a post-doctoral researcher in the PARKAS team at INRIA Paris, working on code and circuit generation for embbedded software. I was a former doctoral candidate at Sorbonne Université in the APR team of the LIP6 under the supervision of Emmanuel Chailloux and Jocelyn Sérot. My thesis focused on the design and implementation of the Eclat programming language, following a synchronous approach for mixing parallel computation (control-flow oriented) and interaction (data-flow oriented) on FPGAs.

Information about my thesis defence can be found by following this link.

Teaching at Sorbonne Université (in French)

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)

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 with 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

• 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

• Meetup OCaml (OUPS) (December 12, 2024) - Safe, expressive and efficient FPGA programming
• 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é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)