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

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.

All News

Recent projects

All projects

People

Cookie	Duration	Description
cookielawinfo-checkbox-analytics	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".
cookielawinfo-checkbox-functional	11 months	The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".
cookielawinfo-checkbox-necessary	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".
cookielawinfo-checkbox-others	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.
cookielawinfo-checkbox-performance	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".
viewed_cookie_policy	11 months	The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.

Need help?