[PLDI'23] Sound Dynamic Deadlock Prediction in Linear Time | ACM SIGPLAN | Podwise