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.


Five MPI-SWS papers at POPL 2019!

January 2019
Just as in 2018, MPI-SWS researchers again authored a total of five POPL papers in 2019.

MPI-SWS researchers win OOPSLA 2018 Distinguished Paper award

December 2018
Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Filip Niksic have won a Distinguished Paper award at OOPSLA 2018.

Derek Dreyer wins OOPSLA 2018 Distinguished Reviewer Award

December 2018
Derek Dreyer was one of two PC members (out of 30) to win a Distinguished Reviewer Award at OOPSLA 2018.

Program Analysis course at TU Kaiserslautern and Saarland University

October 2018
Maria Christakis and Eva Darulova are teaching Program Analysis at TU Kaiserslautern and Saarland University.

OOPSLA'18: Four MPI-SWS papers

September 2018
In 2018, MPI-SWS members published four papers at the SPLASH/OOPSLA research track.