UNDEAD: Detecting and preventing deadlocks in production software | IEEE Conference Publication | IEEE Xplore