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