17 citations · 33 across the 22 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.PL2025
Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction
Martin Sulzmann
Lock sets are commonly used for dynamic analysis of deadlocks. The standard per-thread lock set construction only considers locks acquired in the same thread, but is unaware of loc…
cs.PL2025
Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
Bas van den Heuvel, Martin Sulzmann, Peter Thiemann
Deadlocks are a major source of bugs in concurrent programs. They are hard to predict, because they may only occur under specific scheduling conditions. Dynamic analysis attempts t…