Safe mixing of consistency levels for replicated objects.
Rethinking Safe Consistency in Distributed Object-Oriented ProgrammingProc. ACM Program. Lang. 2020
ConSysT: Tunable, Safe Consistency Meets Object-Oriented ProgrammingIn Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs 2020
- Distributed Object-Oriented Programming with Multiple Consistency Levels in ConSysTIn Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity 2019
Consistency Types for Safe and Efficient Distributed ProgrammingIn Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs 2017
We Have a DREAM: Distributed Reactive Programming with Consistency GuaranteesIn Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems 2014