Previous | 
Home
Section: Highlights of the Year
Highlights of the Year
Awards
In January 2019, the paper “Static Analysis Of Binary Code With Memory Indirections Using Polyhedra” resulting from a collaboration with colleagues from Lille University, has received a best paper award of the VMCAI 2019 conference.
The paper “Godot: All the Benefits of Implicit and Explicit Futures” received the distinguished artefact at ECOOP'19.
Best Papers Awards:
[5]Static Analysis Of Binary Code With Memory Indirections Using Polyhedra, in: VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation, Cascais, Portugal, LNCS, Springer, January 2019, vol. 11388, pp. 114-135. [ DOI : 10.1007/978-3-030-11245-5_6 ]
https://hal.archives-ouvertes.fr/hal-01939659
[8]
Fast Virtual Prototyping for Embedded Computing Systems Design and Exploration, in: RAPIDO2019 - 11th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Valence, Spain, January 2019, pp. 1-8. [ DOI : 10.1145/3300189.3300192 ]
https://hal.archives-ouvertes.fr/hal-02023805