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

Xavier Leroy received the 2016 Royal Society Milner Award “in recognition of his exceptional achievements in computer programming which includes the design and implementation of the OCaml programming language”.

Xavier Leroy received one of the two 2016 Van Wijngaarden Awards from Centrum Wiskunde & Informatica (Amsterdam).

Xavier Leroy received the ACM SIGPLAN Most Influential POPL Paper Award for his POPL 2006 paper, Formal certification of a compiler back-end or: programming a compiler with a proof assistant [51].