Brijesh Dongol, Radha Jagadeesan, James Riely. Modular transactions: bounding mixed races in space and time. In Jeffrey K. Hollingsworth, Idit Keidar, editors, Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019. pages 82-93, ACM, 2019. [doi]
Abstract is missing.