@inproceedings {Li14Automating,
	author = {Cheng Li and Joao Leit{\~a}o and Allen Clement and Nuno Pregui{\c c}a and Rodrigo Rodrigues and Viktor Vafeiadis},
	title = {Automating the Choice of Consistency Levels in Replicated Systems},
	booktitle = {2014 USENIX Annual Technical Conference (USENIX ATC 14)},
	year = {2014},
	isbn = {978-1-931971-10-2},
	address = {Philadelphia, PA},
	pages = {281--292},
	url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/li_cheng_2},
	publisher = {USENIX Association},
}