Publications

Conférences avec comités de lecture

• S. Varoumas, T. Crolard - WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation - WCET 2019

  > Slides

• S. Varoumas, B. Vaugon, E. Chailloux - La programmation de microcontrôleurs dans des langages de haut niveau (cours invité) - JFLA 2018
> Slides
• S. Varoumas, B. Vaugon, E. Chailloux - A Generic Virtual Machine Approach for Programming Microcontrollers: the OMicroB Project - ERTS² 2018

  > Slides

• S. Varoumas, B. Vaugon, E. Chailloux - OCaLustre : une extension synchrone d'OCaml pour la programmation de microcontrôleurs - JFLA 2017

  > Slides

• S. Varoumas, B. Vaugon, E. Chailloux - Concurrent Programming of Microcontrollers, a Virtual Machine Approach - ERTS² 2016

  > Slides

Présentations (liste non exhaustive)

• Juin 2018 - Séminaire de l'équipe APR (LIP6 - Sorbonne Université)
  « Vérification formelle du typage d'horloges d'un langage synchrone à flots de données »
• Mai 2018 - Séminaire de l'équipe SyS (CEDRIC - Cnam)
  « Programmation synchrone multi-horloges pour microcontrôleurs à faibles ressources »
• Mai 2018 - Meetup OUPS (OCaml Users in Paris)
  « OMicroB : une approche machine virtuelle générique pour la programmation de microcontrôleurs en OCaml »
• Mars 2017 - Séminaire de l'équipe Sempia (CEDRIC - Cnam)
  « Programmation synchrone de microcontrôleurs à faibles ressources »
• Décembre 2016 - Synchron 2016 (International Open Workshop on Synchronous Programming)
  « OCaLustre : a synchronous extension to OCaml »
• Novembre 2016 - Journée annuelle du groupe de travail LTP (Langages, Types, et Preuves) du GDR GPL
  « OCaLustre : une extension synchrone d'OCaml pour la programmation de microcontrôleurs »
• Octobre 2015 - Master Class de Xavier Leroy dans le cadre du Colloquium d'informatique de l'UPMC
  « Programmation concurrente de microcontroleurs basée sur une approche machine virtuelle »