Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish. Verifying computations with state. In Michael Kaminsky, Mike Dahlin, editors, ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13, Farmington, PA, USA, November 3-6, 2013. pages 341-357, ACM, 2013. [doi]
@inproceedings{BraunFRSBW13,
title = {Verifying computations with state},
author = {Benjamin Braun and Ariel J. Feldman and Zuocheng Ren and Srinath T. V. Setty and Andrew J. Blumberg and Michael Walfish},
year = {2013},
doi = {10.1145/2517349.2522733},
url = {http://doi.acm.org/10.1145/2517349.2522733},
researchr = {https://researchr.org/publication/BraunFRSBW13},
cites = {0},
citedby = {0},
pages = {341-357},
booktitle = {ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13, Farmington, PA, USA, November 3-6, 2013},
editor = {Michael Kaminsky and Mike Dahlin},
publisher = {ACM},
isbn = {978-1-4503-2388-8},
}