Verifying Sequential Consistency under Bounded Preemptions

R. Govind, S. Krishna, Sanchari Sil +1

Gibbons and Korach studied a fundamental problem in 1997: given an observed sequence of reads and writes of a multi-threaded program, does there exist an interleaving which is sequ…