Research
Publications
PhD Thesis
Journals
Peer-reviewed conferences and workshops
- S. Varoumas, B. Pesin, B. Vaugon, E. Chailloux - Programming
microcontrollers through high-level abstractions - VMIL 2020 @ SPLASH 2020
- J. Harrison, S. Thompson, S. Varoumas, R. Rowe - API migration:
compare transformed - OCaml Workshop 2020 @ ICFP 2020
>> video <<
- T. Lecomte, D. Déharbe, D. Sabatier, E. Prun, P. Péronne, E. Chailloux, S. Varoumas,
A. Susungi, S. Conchon - Low Cost High Integrity
Platform - ERTS 2020
- S. Varoumas, T. Crolard - WCET of
OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation - WCET
2019
>> Coq files <<
- S. Varoumas, B. Vaugon, E. Chailloux - La
programmation de microcontrôleurs dans des langages de haut niveau (tutoriel
invité) - JFLA 2018
en: Programming microcontrollers with high-level languages (invited tutorial)
- S. Varoumas, B. Vaugon, E. Chailloux - A Generic Virtual Machine
Approach for Programming Microcontrollers: the OMicroB Project - ERTS2
2018
- S. Varoumas, B. Vaugon, E. Chailloux - OCaLustre : une extension
synchrone d'OCaml pour la programmation de microcontrôleurs - JFLA 2017
en: OCaLustre: a
synchronous extension to OCaml for programming microcontrollers
- S. Varoumas, B. Vaugon, E. Chailloux - Concurrent Programming of
Microcontrollers, a Virtual Machine Approach - ERTS2 2016
Other Talks (non-exhaustive list)
(Titles of talks done in french are translated)
-
May 2023 - EuroLLVM 2023 Developers' Meeting (Glasgow, Scotland)
« Using MLIR to Optimize Basic Linear Algebraic Subprograms » - video / slides
-
June 2018 - Seminar of the APR team (LIP6 - Sorbonne University)
« Formal verification for the clock typing of a synchronous dataflow language »
-
May 2018 - Seminar of the SyS team (CEDRIC - Cnam)
« Multi-clocks synchronous programming for microcontrollers with scarce resources
»
-
May 2018 - Meetup OUPS (OCaml Users in Paris)
« OMicrob: a virtual machine approach for programming microcontrollers in OCaml
»
-
March 2017 - Seminar of the Sempia team (CEDRIC - Cnam)
« Synchronous programming of microcontrollers with scarce resources »
-
December 2016 - Synchron 2016 (International Open Workshop on Synchronous Programming)
« OCaLustre: a synchronous extension to OCaml »
-
November 2016 - Annual meeting of the LTP (Langages, Types, et Proofs) working group of the GDR
GPL
« OCaLustre: a synchronous extension of OCaml for programming microcontrollers »
-
October 2015 - Master Class of Xavier Leroy for the Colloquium of computer science of the Pierre
and Marie Curie university
« Concurrent programming of microcontrollers using a virtual machine approach »