MulticoreSDK: A practical and efficient deadlock detector for real-world applications
- Zhi Da Luo
- Raja Das
- et al.
- 2011
- ICST 2011
Publications
4 results for Yao Qi
Effective static analysis to find concurrency bugs in Java
- Zhi Da Luo
- Linda Hillis
- et al.
- 2010
- SCAM 2010
Unit testing for concurrent business code
- Yao Qi
- Yarden Nir-Buchbinder
- et al.
- 2010
- PADTAD 2010
MulticoreSDK: A practical and efficient data race detector for real-world applications
- Yao Qi
- Raja Das
- et al.
- 2009
- ISSTA 2009