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

Andrea Lattuada joins MPI-SWS faculty

September 2024
Andrea Lattuada will join MPI-SWS as a Research Group Leader. His research focuses on pragmatic systems software verification, i.e., verification that is practical and usable by engineers and applicable to complex systems software.

MPI-SWS researcher receives OSDI 2024 Best Paper Award

July 2024
Andrea Lattuada and his collaborators have received a Best Paper Award at OSDI 2024 for his paper “Anvil: Verifying Liveness of Cluster Management Controllers.”

MPI-SWS researchers receive PLDI 2024 Distinguished Artifact Award

July 2024
MPI-SWS researcherers have received the PLDI 2024 Distinguished Artifact Award for their paper Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq.

Max Planck researchers publish 7 papers at POPL 2024!

January 2024
Max Planck researchers have authored six papers to appear in POPL 2024.

MPI-SWS PhD students appointed as tenure-track faculty at ETH Zurich and ISTA

December 2023
MPI-SWS PhD students Michalis Kokologiannakis and Michael Sammler have accepted tenure-track faculty positions at ETH Zurich and ISTA, respectively.

Papers