Steven Varoumas

According to our database, Steven Varoumas authored at least 5 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Programming microcontrollers through high-level abstractions: The OMicroB project.

Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux

J. Comput. Lang., November, 2023

2020

Low Cost High Integrity Platform.

Thierry Lecomte, David Déharbe, Denis Sabatier, Étienne Prun, Patrick Péronne, Emmanuel Chailloux, Steven Varoumas, Adilla Susungi, Sylvain Conchon

CoRR, 2020

Programming microcontrollers through high-level abstractions.

Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux

Proceedings of the VMIL@SPLASH 2020: Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2020

2019

Modèles de programmation de haut niveau pour microcontrôleurs à faibles ressources. (High-level programming models for microcontrollers with scarce resources).

Steven Varoumas

PhD thesis, 2019

WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation.

Steven Varoumas, Tristan Crolard

Proceedings of the 19th International Workshop on Worst-Case Execution Time Analysis, 2019