Haopeng Liu, Guangpu Li, Jeffrey F. Lukman, Jiaxin Li, Shan Lu, Haryadi S. Gunawi, Chen Tian. DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems. In Yunji Chen, Olivier Temam, John Carter, editors, Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2017, Xi'an, China, April 8-12, 2017. pages 677-691, ACM, 2017. [doi]
Abstract is missing.