Zhi Da Luo, Linda Hillis, Raja Das, Yao Qi
Effective Static Analysis to Find Concurrency Bugs in Java
SCAM, 2010.
@inproceedings{SCAM-2010-LuoHDQ, author = "Zhi Da Luo and Linda Hillis and Raja Das and Yao Qi", booktitle = "{Proceedings of the 10th International Working Conference on Source Code Analysis and Manipulation}", doi = "10.1109/SCAM.2010.20", isbn = "978-0-7695-4178-5", pages = "135--144", publisher = "{IEEE Computer Society}", title = "{Effective Static Analysis to Find Concurrency Bugs in Java}", year = 2010, }