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.
Gibbons and Ephraim Korach
3 Pith papers cite this work. Polarity classification is still indexing.
fields
cs.PL 3representative citing papers
A Monte Carlo estimator converts stateless optimal DPOR into an unbiased poly-time estimator for the number of Mazurkiewicz traces by sampling paths in the exploration tree and using stochastic enumeration to control variance.
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.
-
State Space Estimation for DPOR-based Model Checkers(Extended Version)
A Monte Carlo estimator converts stateless optimal DPOR into an unbiased poly-time estimator for the number of Mazurkiewicz traces by sampling paths in the exploration tree and using stochastic enumeration to control variance.
- Fixed Parameter Tractable Linearizability Monitoring