Skip to content

Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification

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