Satisfiability modulo ordering consistency theory for multi-threaded program verification.

Fei He, Zhihang Sun, Hongyu Fan

Browse the full PLDI paper archive.