Best paper at VMCAI

Posted on Fri 01 February 2019 in misc

Our paper "Static Analysis Of Binary Code With Memory Indirections Using Polyhedra." (hal) has received the best paper award at VMCAI.

In this paper we propose a new approach to compute loop bounds using abstract interpretation based on polyhedra. This research has been carried out in the context of the WP2 (Parametric WCET) of the CORTEVA project.