The Max Planck Institute for Software Systems

studies the principles of efficient, dependable, secure, and usable computing systems, as well as their interaction with the physical and social context in which they operate.

We conduct foundational research in relevant areas of computer science and beyond, covering theory, empirical analysis, and data-driven investigation. We seek impact through publications, artifacts, and people.

Derek Dreyer receives Robin Milner Young Researcher Award

for outstanding contributions in the area of programming languages

Peter Druschel wins EuroSys Lifetime Achievement Award

For his numerous and valuable contributions to research in computer systems

Derek Dreyer awarded ERC Consolidator Grant

For his project "RustBelt: Logical Foundations for the Future of Safe Systems Programming"


Krishna Gummadi and Peter Druschel win ACM SIGCOMM test-of-time award

July 19, 2017
MPI-SWS researchers have received the SIGCOMM Test of Time Award for their 2007 paper on "Measurement and Analysis of Online Social Networks."

Amaury Pouly wins Ackermann Award

July 6, 2017
Amaury Pouly has won the 2017 Ackermann Award, presented annually to the author of an exceptional doctoral dissertation in the area of computer science logic.

Paul Francis to give keynote at Oakland '17 Workshop on Privacy Engineering

April 25, 2017
Paul Francis will give the keynote address, entitled "The Diffix Framework: Revisiting Noise, Again," at the Oakland (IEEE S&P) Workshop on Privacy Engineering.

Peter Druschel wins EuroSys Lifetime Achievement Award

April 26, 2017
Peter Druschel has received the EuroSys Lifetime Achievement Award, the highest honor accorded by EuroSys to systems researchers.

Real-Time Systems group wins 3 best-paper awards in a row

April 25, 2017
The MPI-SWS Real-Time Systems group, led by Björn Brandenburg, has won three consecutive best paper awards at the top three real-time systems conferences.