Steven Varoumas

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 4

Top Topics

High Efficiency

High Level Abstractions

Programming Language

Top Venues

J. Comput. Lang.

Sorbonne University, Paris, France (PHD)

Education History

Sorbonne University, Paris, France

PHD

Publications

Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux
Programming microcontrollers through high-level abstractions: The OMicroB project. J. Comput. Lang. 77 (2023)
Thierry Lecomte, David Déharbe, Denis Sabatier, Étienne Prun, Patrick Péronne, Emmanuel Chailloux, Steven Varoumas, Adilla Susungi, Sylvain Conchon
Low Cost High Integrity Platform. CoRR (2020)
Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux
Programming microcontrollers through high-level abstractions. VMIL@SPLASH (2020)
Steven Varoumas, Tristan Crolard
WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation. WCET (2019)