Taming Deadlocks in Multithreaded Programs | IEEE Conference Publication | IEEE Xplore