Mirko Köhler, Nafise Eskandani Masoule, Alessandro Margara, Guido Salvaneschi. ConSysT: tunable, safe consistency meets object-oriented programming. In Wytse Oortwijn, editor, FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020. pages 15-17, ACM, 2020. [doi]
Abstract is missing.