k-sliced reorderings form a strictly increasing hierarchy converging to reads-from equivalence, supporting constant-space streaming algorithms for predictive monitoring against any regular specification at any fixed k.
Sound deadlock pre diction
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.PL 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Introduces the TRW partial order for sound deadlock prediction and a weakened variant for completeness, both efficiently computable and agreeing on benchmarks.
citing papers explorer
-
Parametrizing Reads-From Equivalence for Predictive Monitoring
k-sliced reorderings form a strictly increasing hierarchy converging to reads-from equivalence, supporting constant-space streaming algorithms for predictive monitoring against any regular specification at any fixed k.
-
Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
Introduces the TRW partial order for sound deadlock prediction and a weakened variant for completeness, both efficiently computable and agreeing on benchmarks.