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

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.

Maria Christakis to join MPI-SWS as tenure-track faculty

June 2017
Maria's research is in the areas of software engineering, programming languages, and formal methods. She joins the institute in October 2017.

Static Program Analysis Course at Saarland University

April 2017
Eva Darulova is teaching Static Program Analysis in summer 2017 at Saarland University.

Principles of Cyber-Physical Systems Course at TU Kaiserslautern

April 2017
Sadegh Soudjani is teaching Principles of Cyber-physical Systems at the University of Kaiserslautern in Summer 2017.

Advanced Automata Theory Course at TU Kaiserslautern

April 2017
Rupak Majumdar and Daniel Neider are co-teaching Advanced Automata Theory in summer 2017 at the University of Kaiserslautern.

Papers