Resolving the conflict between generality and plausibility in verified computation.

Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish

Browse the full EuroSys paper archive.