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


Best Papers Awards:
C. Abate, R. Blanco, D. Garg, C. Hriţcu, M. Patrignani, J. Thibault.
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation, in: CSF 2019 - 32nd IEEE Computer Security Foundations Symposium, Hoboken, United States, IEEE, June 2019, pp. 256-271, [ DOI : 10.1109/CSF.2019.00025 ]

M. Toro, E. Labrada, É. Tanter.
Gradual Parametricity, Revisited, in: Proceedings of the ACM on Programming Languages, 2019, vol. 3, no POPL, [ DOI : 10.1145/3290330 ]