Publications

PhD Thesis

• Sorbonne Université
  Steven Varoumas - Modèles de programmation de haut niveau pour microcontrolleurs à faibles ressources
  
  🇬🇧 English version: High-level programming models for resource-constrained microcontrollers
  This manuscript has been translated from French into English with the assistance of AI tools. The text may contain errors or imprecisions. In addition, some figures and captions remain in French, and some formatting errors may be present.

Journals

• Journal of Computer Languages - Volume 77, November 2023
  S. Varoumas, B. Pesin, B. Vaugon, E. Chailloux - Programming microcontrollers through high-level abstractions: The OMicroB project

Peer-reviewed conferences and workshops

• VMIL 2020 @ SPLASH 2020
  S. Varoumas, B. Pesin, B. Vaugon, E. Chailloux - Programming microcontrollers through high-level abstractions
• OCaml Workshop @ ICFP 2020
  Harrison, S. Thompson, S. Varoumas, R. Rowe - API migration: compare transformed (video)
• ERTS 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
• WCET 2019
  S. Varoumas, T. Crolard - WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation (Coq files)
• JFLA 2018
  S. Varoumas, B. Vaugon, E. Chailloux - La programmation de microcontrôleurs dans des langages de haut niveau (tutoriel invité)
  en: Programming microcontrollers with high-level languages (guest tutorial)
• ERTS² 2018
  Varoumas, B. Vaugon, E. Chailloux - A Generic Virtual Machine Approach for Programming Microcontrollers: the OMicroB Project
• JFLA 2017
  S. Varoumas, B. Vaugon, E. Chailloux - OCaLustre : une extension synchrone d'OCaml pour la programmation de microcontrôleurs
  en: OCaLustre: a synchronous extension to OCaml for programming microcontrollers
• ERTS² 2016
  S. Varoumas, B. Vaugon, E. Chailloux - Concurrent Programming of Microcontrollers, a Virtual Machine Approach

Other Talks (non-exhaustive list)

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