Haibo Chen, Binyu Zang. A case for secure and scalable hypervisor using safe language. In Minyi Guo, Zhiyi Huang 0001, editors, Proceedings of the 2012 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2012, New Orleans, LA, USA, February 26, 2012. pages 134-139, ACM, 2012. [doi]
Abstract is missing.