Publications

Flint: Fixing linearizability violations

• • Peng Liu
  • Omer Tripp
  • et al.
• 2014
• OOPSLA 2014