8 citations · 8 across the 2 of their papers we have counts for
2 papers
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…
cs.PL2018★ 8 cited
Gradual Session Types
Atsushi Igarashi, Peter Thiemann, Yuya Tsuda +2
Session types are a rich type discipline, based on linear types, that lifts the sort of safety claims that come with type systems to communications. However, web-based applications…