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

MPI-SWS researchers receive SOSP'24 Distinguished Artifact Award

November 2024
MPI-SWS research group leader Andrea Lattuada and postdoctoral fellow Travis Hance have received the SOSP'24 Distinguished Artifact Award for their paper "Verus: A Practical Foundation for Systems Verification."

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

Papers