Sound Dynamic Deadlock Prediction in Linear Time. - Tunç, Hünkar Can; Mathur, Umang; Pavlogiannis, Andreas; Viswanathan, Mahesh (Zenodo, 2023)