MPI-SWS researcher receives OSDI 2024 Best Paper Award
Andrea Lattuada and his collaborators have received a Best Paper Award at OSDI 2024 for his paper “Anvil: Verifying Liveness of Cluster Management Controllers.”
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.