Yan Cai, Shangru Wu, W. K. Chan. ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs. In Pankaj Jalote, Lionel C. Briand, André van der Hoek, editors, 36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014. pages 491-502, ACM, 2014. [doi]
@inproceedings{CaiWC14,
title = {ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs},
author = {Yan Cai and Shangru Wu and W. K. Chan},
year = {2014},
doi = {10.1145/2568225.2568312},
url = {http://doi.acm.org/10.1145/2568225.2568312},
researchr = {https://researchr.org/publication/CaiWC14},
cites = {0},
citedby = {0},
pages = {491-502},
booktitle = {36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014},
editor = {Pankaj Jalote and Lionel C. Briand and André van der Hoek},
publisher = {ACM},
isbn = {978-1-4503-2756-5},
}