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

Sumit Gulwani awarded 2021 Max Planck Humboldt Medal

September 2021

Sumit Gulwani, a scientist at Microsoft Research, has been awarded the 2021 Max Planck-Humboldt Medal. He will collaborate with Rupak Majumdar and Adish Singla on the problem of AI in Education.

More

MPI-SWS students receive ACM SIGPLAN Dissertation Award two years in a row

September 2021

Ralf Jung's thesis has received the 2021 ACM SIGPLAN Dissertation Award, marking the second year in a row that the award was given to an MPI-SWS student.

More

Ralf Jung receives ACM Doctoral Dissertation Award Honorable Mention

July 2021

Ralf Jung's doctoral dissertation on "Understanding and Evolving the Rust Programming Language" has received the ACM Doctoral Dissertation Award Honorable Mention.

More

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.

More

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.

More

All News

Recent projects

PERSIST

A semantic foundation for persistent programming

Daisy

a framework for accuracy analysis and synthesis of numerical programs

FSL

A program logic for C11 concurrency with support for memory fences

Iris

A concurrent program logic based on monoids and invariants

RustBelt

Logical foundations for the future of safe systems programming

OGRA

The Owicki-Gries method for the RA memory model

All projects

Recent software

adiff

Tool for differentially testing soundness and precision of program analyzers

bran

Static analysis framework for EVM bytecode

daisy

A framework for analysis and optimization of numerical programs

genmc

Generic model checker for concurrent C programs

Papers

Pirouette: Higher-Order Typed Functional Choreographies

Andrew K. Hirsch, Deepak Garg.
Technical Report MPI-SWS-2021-004 2021.

Advice-Guided Reinforcement Learning in a non-Markovian Environment.

Daniel Neider, Jean-Raphaël Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu.
AAAI 2021.

Choosing the Initial State for Online Replanning.

Maximilian Fickert, Ivan Gavran, Ivan Fedotov, Jörg Hoffmann, Rupak Majumdar, Wheeler Ruml.
AAAI 2021.

Responsibility Attribution in Parameterized Markovian Models.

Christel Baier, Florian Funke, Rupak Majumdar.
AAAI 2021.

Robustly Safe Compilation, an Efficient Form of Secure Compilation.

Marco Patrignani, Deepak Garg.
ACM TOPLAS 2021.

All papers

People

Faculty

Björn Brandenburg

Maria Christakis

Derek Dreyer

Deepak Garg

Rupak Majumdar

Joel Ouaknine

Viktor Vafeiadis

Georg Zetzsche

Research Group Leaders

Filip Mazowiecki

Daniel Neider

Anne-Kathrin Schmuck

Damien Zufferey

Affiliated Faculty

Eva Darulova
(Adjunct Faculty)

Anthony Lin
(Max Planck Fellow)

Postdoctoral Researchers

Jie An

Jaroslav Bendik

Emanuele D'Osualdo

Moses Ganardi

Andrew Hirsch

Clothilde Jeangoudoux

Edon Kelmendi

Rodolphe Lepigre

Eike Neumann

David Purser

Youngju Song

Léo Stefanesco

Ramanathan Thinniyam Srinivasan

Di-De Yen

Doctoral Students

Rosa Abbasi

Ashwani Anand

Pascal Baumann

Heiko Becker

Hoang-Hai Dang

Akram El-Korashy

Hasan Ferit Eniser

Julian Haas

Jan-Oliver Kaiser

Toghrul Karimov

Michalis Kokologiannakis

Debasmita Lohar

Ana Mainhardt

Kaushik Mallik

Muhammad Numair Mansur

Iason Marmanis

Aman Shankar Mathur

Jan Menz

Satya Prakash Nayak

Joris Nieuwveld

Marcus Pirron

Rajarshi Roy

Irmak Saglam

Mahmoud Salamati

Michael Sammler

Lia Schütze

Simon Spies

Erfan Tavakoli

Maximilian Wuttke

Fengmin Zhu

External Students

Philip Offtermatt

Former members

Chung-Kil Hur

Jacques-Henri Jourdan

Neel Krishnaswami

Ori Lahav

Aaron Turon

Soham Chakraborty

Mahadi Ddamulira

Marko Doko

Sadegh Esmaeil Zadeh Soudjani

Ivan Fedotov

Ivan Gavran

Anastasiia Izycheva

Ralf Jung

Scott Kilpatrick

Engel Lefaucheux

Georg Neis

Anton Podkopaev

Azalea Raad

Andreas Rossberg

Natsuki Urabe

Markus Whiteland

Xuan Xie

Fuyuan Zhang

Burcu Özkan

Pierre-Marie Pédrot

David Swasey