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

Christoph Borchert, Olaf Spinczyk. Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis. In Shan Lu, editor, Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, USA, October 4, 2015. pages 1-7, ACM, 2015. [doi]

Abstract

Abstract is missing.