Sound Dynamic Deadlock Prediction in Linear Time

Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
June, 2023
PDF Cite Code Slides Video DOI
Type
Conference paper
Publication
PLDI 2023
Hünkar Can Tunç
Hünkar Can Tunç
PhD Student