Research

Publications

PhD Thesis

• S. Varoumas - Modèles de programmation de haut niveau pour microcontrolleurs à faibles ressources / High-level programming models for microcontrollers with scarce resources (in French)

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 - ERTS² 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 - ERTS² 2016

Other Talks (non-exhaustive list)

• 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)