KStruct: preserving consistency through C annotations.

Alexander Schmidt, Martin von Lwis, Andreas Polze

Browse the full SOSP paper archive.