Parametrizing Reads-From Equivalence for Predictive Monitoring

Azadeh Farzan, Umang Mathur

Predictive runtime monitoring asks whether an execution $\sigma$ of a concurrent program can be used to \emph{soundly predict} the existence of a reordering $\rho$ of $\sigma$ that satisfies a…