Distributed, Networked & Mobile Systems

Distributed/Mobile systems research at MPI-SWS focuses on the design, implementation, and evaluation of distributed and mobile software systems that are dependable and highly available. Recent research in the group has focused on building systems resistant to arbitrary faults, scalable eventually-consistent services, systems with strong data confidentiality and integrity guarantees, as well as privacy-preserving and secure platforms for mobile social applications.

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

Operating Systems course at Saarland University

April 2024
The Summer 2024 Operating Systems course at Saarland University is being co-taught by two MPI-SWS faculty and a faculty member from MPI-INF.

Systems for LLMs Course at Saarland University

October 2023
MPI-SWS faculty are teaching a course on Systems for LLMs at Saarland University in the Winter 2023/2024 semester.

MPI-SWS alumnus Pramod Bhatotia receives EuroSys Jochen Liedtke Young Researcher Award

May 2023
Pramod Bhatotia, who completed his doctoral studies at MPI-SWS, has received the 2023 EuroSys Jochen Liedtke Young Researcher Award.

Papers