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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.