Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification.

Beom Heyn Kim, Sukwon Oh, David Lie

Browse the full HotOS paper archive.