@inproceedings{
Braun13Verifying,
Author = {Benjamin Braun and Ariel J. Feldman and Zuocheng (Andy) Ren and Srinath Setty and Andrew J. Blumberg and Michael Walfish},
Title = {Verifying computations with state},
Booktitle = {SOSP},
Year = {2013}
}