Zhi Da Luo

Unit testing for concurrent business code

Eitan Farchi, Raja Das, Yarden Nir-Buchbinder, 2010, PADTAD '10.

Effective Static Analysis to Find Concurrency Bugs in Java

Raja Das, Yao Qi, Zhi Da Luo, 2010, 2010 10th IEEE Working Conference on Source Code Analysis and Manipulation.

Multicore SDK: A Practical and Efficient Deadlock Detector for Real-World Applications

Raja Das, Yao Qi, Zhi Da Luo, 2011, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation.

MulticoreSDK: a practical and efficient data race detector for real-world applications

Raja Das, Yao Qi, Zhi Da Luo, 2009, PADTAD '09.