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

Otto Hahn Medal awarded to two MPI-SWS students

April 2021
Ralf Jung and Bilal Zafar have each been awarded a 2021 Otto Hahn Medal for outstanding scientific achievement.

MPI-SWS researchers receive multiple awards at ETAPS

April 2021
MPI-SWS researchers receive several ETAPS 2021 awards: the EAPLS Best Paper Award, an EAPLS best paper nomination, and a most distinguished tool award.

ETAPS dissertation award and CACM article for Ralf Jung and his work on Rust

March 2021
Ralf Jung receives 2021 ETAPS dissertation award. His work on Rust was also featured in a recent CACM article.

Filip Niksic awarded ACM SIGPLAN John C. Reynolds Dissertation Award

November 2020
Filip Niksic's thesis on "Combinatorial Constructions for Effective Testing" has won the ACM SIGNPLAN John C. Reynolds Doctoral Dissertation Award for 2020.

Anne-Kathrin Schmuck receives Emmy Noether Award

September 2020
MPI-SWS postdoctoral fellow Anne-Kathrin Schmuck was accepted to the Emmy Noether Programme of the German Science Foundation (DFG) to establish her own research group developing "Automated modular synthesis techniques for reliable Cyber-Physical System (CPS) design".

Papers