« Secure virtual architecture: A safe execution environment for commodity operating systems

» LISB - LISP in Maude

Recovery domains: an organizing principle for recoverable operating systems

Andrew Lenharth, Vikram Adve, and Samuel King

In ASPLOS ’09: Proceeding of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 49–60, New York, NY, USA, 2009. ACM.