Programming Languages & Verification

The group’s research focuses on the principles, design and implementation of programming languages and on foundational techniques and practical tools for analyzing, testing, and verifying programs against their correctness specifications.

Recent research has developed techniques for verifying compilers and other critical software, and tools for testing and/or verifying concurrent systems.

News

Rupak Majumdar wins CONCUR test-of-time award

June 2022
Rupak Majumdar received the CONCUR Test of Time Award for his 2003 paper on "The Element of Surprise in Timed Games."

Viktor Vafeiadis receives Robin Milner Young Researcher Award

June 2022
Viktor Vafeiadis has won the 2022 Robin Milner Young Researcher Award, which is given by ACM SIGPLAN to recognize outstanding contributions by young investigators in the area of programming languages. 

Two faculty win prestigious Google Research Scholar awards

June 2022
Two MPI-SWS faculty, Maria Christakis and Elissa Redmiles, have earned highly competitive Google Research Scholar awards.

Derek Dreyer appointed MPI-SWS Director

May 2022
Derek Dreyer has been newly appointed as a director of the MPI for Software Systems, effective 1 May 2022.

Joël Ouaknine appointed ACM Fellow

January 2022
Joël Ouaknine was appointed as a Fellow by the Association for Computing Machinery, for his contributions to algorithmic analysis of dynamical systems.

Papers