2 papers
cs.PL2026
PRDTs: Composable Design and Verification of Consensus Protocols using Replicated Data Types
Julian Haas, Ragnar Mogk, Annette Bieniusa +1
Consensus protocols are fundamental in distributed systems as they enable services with strong consistency properties. However, designing protocols optimized for specific use-cases…
cs.PL2024
Distributed Locking as a Data Type
Julian Haas, Ragnar Mogk, Annette Bieniusa +1
Mixed-consistency programming models assist programmers in designing applications that provide high availability while still ensuring application-specific safety invariants. Howeve…