Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
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 2018, Xavier Leroy received the “Grand prix” jointly awarded by Inria and Académie des sciences.

Gergö Barany received the Best Paper Award for the paper “Finding Missed Compiler Optimizations by Differential Testing” [19] at the 27th International Conference on Compiler Construction (CC 2018).