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

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.
More

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.
More

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.
More

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.
More

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.
More
All News

Recent projects

All projects

Papers

All papers

People

Faculty

Björn Brandenburg

Björn Brandenburg
Maria Christakis

Maria Christakis
Eva Darulova

Eva Darulova
Derek Dreyer

Derek Dreyer
Deepak Garg

Deepak Garg
Rupak Majumdar

Rupak Majumdar
Joel Ouaknine

Joel Ouaknine
Viktor Vafeiadis

Viktor Vafeiadis

Research Group Leaders

Daniel Neider

Daniel Neider
Damien Zufferey

Damien Zufferey

Postdoctoral Researchers

Johar Ashfaque

Johar Ashfaque
Pierre-Marie Pédrot

Pierre-Marie Pédrot
Azalea Raad

Azalea Raad
Anne-Kathrin Schmuck

Anne-Kathrin Schmuck
Burcu Özkan

Burcu Özkan

Doctoral Students

Heiko Becker

Heiko Becker
Soham Chakraborty

Soham Chakraborty
Hoang-Hai Dang

Hoang-Hai Dang
Marko Doko

Marko Doko
Akram El-Korashy

Akram El-Korashy
Ivan Gavran

Ivan Gavran
Ralf Jung

Ralf Jung
Jan-Oliver Kaiser

Jan-Oliver Kaiser
Michalis Kokologiannakis

Michalis Kokologiannakis
Debasmita Lohar

Debasmita Lohar
Kaushik Mallik

Kaushik Mallik
Muhammad Numair Mansur

Muhammad Numair Mansur
Aman Shankar Mathur

Aman Shankar Mathur
Filip Niksic

Filip Niksic
Simin Oraee

Simin Oraee
Marcus Pirron

Marcus Pirron
Vineet Rajani

Vineet Rajani
Mahmoud Salamati

Mahmoud Salamati
David Swasey

David Swasey
Joshua Yanovski

Joshua Yanovski

Former members

Matthew Hammer

Matthew Hammer
Chung-Kil Hur

Chung-Kil Hur
Jacques-Henri Jourdan

Jacques-Henri Jourdan
Neel Krishnaswami

Neel Krishnaswami
Boris Köpf

Boris Köpf
Ori Lahav

Ori Lahav
Michael Rainey

Michael Rainey
Aaron Turon

Aaron Turon
Ventsislav Chonev

Ventsislav Chonev
Ezgi Cicek

Ezgi Cicek
Rayna Dimitrova

Rayna Dimitrova
Joshua Dunfield

Joshua Dunfield
Sadegh Esmaeil Zadeh Soudjani

Sadegh Esmaeil Zadeh Soudjani
Shahram Esmaeilsabzali

Shahram Esmaeilsabzali
Marko Horvat

Marko Horvat
Anastasiia Izycheva

Anastasiia Izycheva
Scott Kilpatrick

Scott Kilpatrick
Johannes Kloos

Johannes Kloos
Adrian Leva

Adrian Leva
Georg Neis

Georg Neis
Marco Patrignani

Marco Patrignani
Willard Rafnsson

Willard Rafnsson
Andreas Rossberg

Andreas Rossberg
Samira Safaei Farahani

Samira Safaei Farahani
Alexander Wieder

Alexander Wieder
Mustafa Zengin

Mustafa Zengin
Vinayak Prabhu

Vinayak Prabhu
Umut Acar

Umut Acar
Ruzica Piskac

Ruzica Piskac