Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification
0 Comments
by Beom Heyn Kim, Sukwon Oh and David Lie
Reference:
Beom Heyn Kim, Sukwon Oh and David Lie, “Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification”, In Proceedings of the 16th USENIX Workshop on Hot Topics in Operating Systems (HotOS), 2017.
Bibtex Entry:
@inproceedings{bhkim:hotos2017, author = "Kim, Beom Heyn and Oh, Sukwon and Lie, David", title = "Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification", booktitle = "Proceedings of the 16th {USENIX} Workshop on Hot Topics in Operating Systems ({HotOS})", month = "May", year = "2017", url = "https://security.csl.toronto.edu/wp-content/uploads/2018/06/bhkim-oracles-hotos2017.pdf", note = "(Acceptance: 29/94, 31\%; 3 citations)", citations = "3", gsid = "11459804683319624287" }