Team, Visitors, External Collaborators
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Highlights of the Year

Highlights of the Year


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:
C. Ballabriga, J. Forget, L. Gonnord, G. Lipari, J. Ruiz.
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 ]

A. Charif, G. Busnot, R. Mameesh, T. Sassolas, N. Ventroux.
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 ]