Notice: Only variables should be passed by reference in /v/filer4b/webother/users/other/lasr/bibtex.php on line 91
@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}
}