Section: Highlights of the Year
Highlights of the Year
The team obtained several strong results published in excellent international conferences, with high theoretical and applied impact (see detailed results). Among the theoretical results we underline those presented in conferences like Principles of programming languages POPL 2017, with the proposal of a novel and groundbreaking way to improve the precision and scalability of analyses performed with disjunctive abstract domains, using silhouette abstraction.
Patrick Cousot received the IEEE John Von Neumann Medal.