MulticoreSDK: A practical and efficient deadlock detector for real-world applicationsZhi Da LuoRaja Daset al.2011ICST 2011
MulticoreSDK: A practical and efficient data race detector for real-world applicationsYao QiRaja Daset al.2009ISSTA 2009