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:
@string{hotos17="Proceedings of the 16th USENIX Workshop on Hot Topics in Operating Systems (HotOS)"}
@inproceedings{bhkim:hotos2017,
author = {Beom Heyn Kim and Sukwon Oh and David Lie},
title = {Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification},
booktitle = HOTOS17,
month = may,
year = 2017,
url = {https://security.csl.toronto.edu/wp-content/uploads/2018/06/bhkim-oracles-hotos2017.pdf},
note = {(Acceptance: 29/94, 31\%ß)},
}