Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions.

Shabnam Ghasemirad, Christoph Sprenger, Si Liu, Luca Multazzu, David A. Basin

Browse the full TACAS paper archive.