Resolving the conflict between generality and plausibility in verified computation. (2013)

by Srinath Setty, Benjamin Braun, Victor Vu, Andrew J Blumberg, Bryan Parno, Michael Walfish
Venue:In Proceedings of the 8th ACM European Conference on Computer Systems,