Author
Annette Bieniusa
Recent research
- AI & ComputingOpen access
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...
- AI & ComputingOpen access
Set-Theoretic Type Checking of Beginner Erlang Code: A Retrospective Study Appendix
The appendix for the Erlang '26 paper: Set-Theoretic Type Checking of Beginner Erlang Code: A Retrospective Study