Research
Publications
PhD Thesis
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 2020 - ICFP 2020
- 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 (invited tutorial
- in french) - JFLA 2018
- 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 (in french) - JFLA
2017
- S. Varoumas, B. Vaugon, E. Chailloux - Concurrent Programming of
Microcontrollers, a Virtual Machine Approach - ERTS2 2016
Other Talks (non-exhaustive list)
(Titles of talks made in french are translated)
-
June 2018 - Seminar of the APR team (LIP6 - Sorbonne University)
« Formal verification for the clock typing of a synchronous dataflow language »
(in French)
-
May 2018 - Seminar of the SyS team (CEDRIC - Cnam)
« Multi-clocks synchronous programming for microcontrollers with scarce resources
» (in French)
-
May 2018 - Meetup OUPS (OCaml Users in Paris)
« OMicrob: a virtual machine approach for programming microcontrollers in OCaml
» (in French)
-
March 2017 - Seminar of the Sempia team (CEDRIC - Cnam)
« Synchronous programming of microcontrollers with scarce resources » (in
French)
-
Décember 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 »
(in French)
-
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 »
(in French)