« Making Context-sensitive Points-to Analysis With Heap Cloning Practical for the Real World

» Recovery Domains: An Organizing Principle for Recoverable Operating Systems

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

John Criswell, Andrew Lenharth, Dinakar Dhurjati, and Vikram Adve

In SOSP ’07: Proceedings of 21st ACM SIGOPS Symposium on Operating Systems Principles, pages 351–366, New York, NY, USA, 2007. ACM

SOSP 2007 Audience Choice Award