Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis.

Christoph Borchert, Olaf Spinczyk

Browse the full SOSP paper archive.