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.
What happe ns-after the first race? enhancing the predictive power of happens-before ba sed dynamic race detection
2 Pith papers cite this work, alongside 44 external citations. Polarity classification is still indexing.
2
Pith papers citing it
44
external citations · OpenAlex
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.