@inproceedings{tunc2023sounddynamic,
 author = {Hünkar Can Tunç and Umang Mathur and Andreas Pavlogiannis and Mahesh Viswanathan},
 booktitle = {PLDI 2023},
 title = {Sound Dynamic Deadlock Prediction in Linear Time},
 url = {https://umangmathur.org/papers/syncpd-pldi23.pdf},
 year = {2023}
}