Multicore SDK: A Practical and Efficient Deadlock Detector for Real-World Applications | IEEE Conference Publication | IEEE Xplore