MulticoreSDK: a practical and efficient data race detector for real-world applications. - Yao Qi; Raja Das; Zhi Da Luo; Martin Trotter (PADTAD, 2009)

Unit testing for concurrent business code. - Yao Qi; Yarden Nir-Buchbinder; Eitan Farchi; Raja Das; Zhi Da Luo; Zhi Gan (PDATAD, 2010)

Effective Static Analysis to Find Concurrency Bugs in Java. - Zhi Da Luo; Linda Hillis; Raja Das; Yao Qi (SCAM, 2010)

Multicore SDK: A Practical and Efficient Deadlock Detector for Real-World Applications. - Zhi Da Luo; Raja Das; Yao Qi (ICST, 2011)