Nadav Amit, Dan Tsafrir, Assaf Schuster, Ahmad Ayoub, Eran Shlomo. Virtual CPU validation. In Ethan L. Miller, Steven Hand, editors, Proceedings of the 25th Symposium on Operating Systems Principles, SOSP 2015, Monterey, CA, USA, October 4-7, 2015. pages 311-327, ACM, 2015. [doi]
Abstract is missing.