Race Condition and Deadlock Detection for Large-Scale Applications

Anh-Tu Do-Mai, Thanh-Dang Diep, Nam Thoai. Race Condition and Deadlock Detection for Large-Scale Applications. In Riqing Chen, Chunming Rong, Dan Grigoras, editors, 15th International Symposium on Parallel and Distributed Computing, ISPDC 2016, Fuzhou, China, July 8-10, 2016. pages 319-326, IEEE Computer Society, 2016. [doi]

Abstract

Abstract is missing.