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]

Authors

Christoph Borchert

This author has not been identified. Look up 'Christoph Borchert' in Google

Olaf Spinczyk

This author has not been identified. Look up 'Olaf Spinczyk' in Google