Mira Mezini

PRDTs: Composable Design and Verification of Consensus Protocols using Replicated Data Types

Consensus protocols are fundamental in distributed systems as they enable services with strong consistency properties. However, designing protocols optimized for specific use-cases under certain system assumptions is typically an error-prone process requiring expert knowledge. Fu...