MixT: a language for mixing consistency in geodistributed transactions.

Mae Milano, Andrew C. Myers

Browse the full PLDI paper archive.