Nikita Koval, Maria Sokolova, Alexander Fedorov, Dan Alistarh, Dmitry Tsitelov. Testing concurrency on the JVM with lincheck. In Rajiv Gupta, Xipeng Shen, editors, PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, California, USA, February 22-26, 2020. pages 423-424, ACM, 2020. [doi]
Abstract is missing.