VAROUMAS Steven

Team : APR
Invited by : Emmanuel CHAILLOUX
Arrival date : 09/01/2021
Departure date : 08/31/2022
https://www-apr.lip6.fr/~varoumas

2016-2020 Publications

All Conference papers Thesis

2020
- S. Varoumas, B. Pesin, B. Vaugon, E. Chailloux : “Programming microcontrollers through high-level abstractions”, VMIL 2020: Proceedings of the 12^th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, Chicago / Virtual, United States, pp. 5-14, (Association for Computing Machinery) (2020)
- Th. Lecomte, D. Déharbe, D. Sabatier, E. Prun, P. Péronne, E. Chailloux, S. Varoumas, A. Susungi, S. Conchon : “Low Cost High Integrity Platform: regular paper”, ERTS 2020 - 10^th European Congress on Embedded Real Time Systems, Toulouse, France (2020)
2019
- S. Varoumas : “Modèles de programmation de haut niveau pour microcontrôleurs à faibles ressources”, thesis, defence 11/05/2019, supervision Crolard, Tristan, co-supervision : Trebuchet, Philippe, Chailloux, Emmanuel (2019)
- S. Varoumas, T. Crolard : “WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation”, 19^th International Workshop on Worst-Case Execution Time Analysis (WCET 2019), vol. 72, OpenAccess Series in Informatics (OASIcs), Stuttgart, Germany, pp. 5:1-5:12, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) (2019)
2018
- S. Varoumas, B. Vaugon, E. Chailloux : “A Generic Virtual Machine Approach for Programming Microcontrollers: the OMicroB Project”, Proceedings of the 9^th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Toulouse, France (2018)
- S. Varoumas, B. Vaugon, E. Chailloux : “La programmation de microcontrôleurs dans des langages de haut niveau - Cours invité: Tutorial”, JFLA 2018 - Journées Francophones des Langages Applicatifs, Vingt-neuvièmes Journées Francophones des Langages Applicatifs (JFLA 2018), BANYULS, France (2018)
2017
- S. Varoumas, B. Vaugon, E. Chailloux : “OCaLustre : une extension synchrone d’OCaml pour la programmation de microcontrôleurs”, JFLA 2017 - Vingt-huitièmes Journées Francophones des Langages Applicatifs, Gourette, France (2017)
2016
- S. Varoumas, B. Vaugon, E. Chailloux : “Concurrent Programming of Microcontrollers, a Virtual Machine Approach”, Proceedings of the 8^th European Congress on Embedded Real Time Software and Systems (ERTS 2016), TOULOUSE, France, pp. 711-720 (2016)