Peng Liu, Omer Tripp, Xiangyu Zhang. Flint: fixing linearizability violations. In Andrew P. Black, Todd D. Millstein, editors, Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014. pages 543-560, ACM, 2014. [doi]
Abstract is missing.