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.


POPLpalooza: Five MPI-SWS papers at POPL 2018 + a new record!

January 2018
In 2018, MPI-SWS researchers authored a total of five POPL papers. Also, MPI-SWS faculty member Derek Dreyer has achieved a new record: a 10-year streak of having at least one POPL paper each year.

Maria Christakis receives Facebook Faculty Research Award

December 2017
MPI-SWS faculty member Maria Chistakis has received a Facebook Faculty Research Award for her work on combining static and dynamic program analysis.

Two MPI-SWS faculty awarded DFG grants

December 2017
MPI-SWS faculty members Björn Brandenburg and Eva Darulova have each received a 3-year research grant from the DFG, the German Research Organization.

MPI-SWS researchers win OOPSLA 2017 Distinguished Paper award

October 2017
David Swasey, Deepak Garg, and Derek Dreyer have won a Distinguished Paper award at OOPSLA 2017.

MPI-SWS wins best-paper awards at PLDI and ECOOP

June 2017
MPI-SWS researchers won best-paper awards at PLDI 2017 and at ECOOP 2017.