Flint: fixing linearizability violations.

Peng Liu, Omer Tripp, Xiangyu Zhang

Browse the full OOPSLA paper archive.