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"
}