» Secure virtual architecture: A safe execution environment for commodity operating systems
Making context-sensitive points-to analysis with heap cloning practical for the real world
Chris Lattner, Andrew Lenharth, and Vikram Adve
In PLDI ’07: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 278–289, New York, NY, USA, 2007. ACM.