Notice: Only variables should be passed by reference in /v/filer5b/webother/users/other/lasr/bibtex.php on line 91
@inproceedings{
Setty13Resolving,
Author = {Srinath Setty and Benjamin Braun and Victor Vu and Andrew J. Blumberg and Bryan Parno and Michael Walfish},
Title = {Resolving the conflict between generality and plausibility in verified computation},
Booktitle = {EuroSys},
Year = {2013}
}