| 2013 | A framework for application guidance in virtual memory systems. Michael R. Jantz, Carl Strickland, Karthik Kumar, Martin Dimitrov, Kshitij A. Doshi |
| 2013 | A lightweight VMM on many core for high performance computing. Yue-hua Dai, Yong Qi, Jianbao Ren, Yi Shi, Xiaoguang Wang, Xuan Yu |
| 2013 | A modular approach to on-stack replacement in LLVM. Nurudeen Lameed, Laurie J. Hendren |
| 2013 | ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (co-located with ASPLOS 2013), VEE '13, Houston, TX, USA, March 16-17, 2013 Steve Muir, Gernot Heiser, Stephen M. Blackburn |
| 2013 | EXTERIOR: using a dual-VM based external shell for guest-OS introspection, configuration, and recovery. Yangchun Fu, Zhiqiang Lin |
| 2013 | Efficient live migration of virtual machines using shared storage. Changyeon Jo, Erik Gustafsson, Jeongseok Son, Bernhard Egger |
| 2013 | Improving dynamic binary optimization through early-exit guided code region formation. Chun-Chen Hsu, Pangfeng Liu, Jan-Jan Wu, Pen-Chung Yew, Ding-Yong Hong, Wei-Chung Hsu, Chien-Min Wang |
| 2013 | Introspection-based memory de-duplication and migration. Jui-Hao Chiang, Han-Lin Li, Tzi-cker Chiueh |
| 2013 | Leveraging phase change memory to achieve efficient virtual machine execution. Ruijin Zhou, Tao Li |
| 2013 | Limits of region-based dynamic binary parallelization. Tobias J. K. Edler von Koch, Björn Franke |
| 2013 | Optimizing virtual machine live storage migration in heterogeneous storage environment. Ruijin Zhou, Fang Liu, Chao Li, Tao Li |
| 2013 | Parallelizing live migration of virtual machines. Xiang Song, Jicheng Shi, Ran Liu, Jian Yang, Haibo Chen |
| 2013 | Performance potential of optimization phase selection during dynamic JIT compilation. Michael R. Jantz, Prasad A. Kulkarni |
| 2013 | Preemptable ticket spinlocks: improving consolidated performance in the cloud. Jiannan Ouyang, John R. Lange |
| 2013 | SPIRE: improving dynamic binary translation through SPC-indexed indirect branch redirecting. Ning Jia, Chun Yang, Jing Wang, Dong Tong, Keyi Wang |
| 2013 | Superblock compilation and other optimization techniques for a Java-based DPT machine emulator. Marco Kaufmann, Rainer G. Spallek |
| 2013 | Towards verifiable resource accounting for outsourced computation. Chen Chen, Petros Maniatis, Adrian Perrig, Amit Vasudevan, Vyas Sekar |
| 2013 | Traveling forward in time to newer operating systems using ShadowReboot. Hiroshi Yamada, Kenji Kono |
| 2013 | VMScatter: migrate virtual machines to many hosts. Lei Cui, Jianxin Li, Bo Li, Jinpeng Huai, Chunming Hu, Tianyu Wo, Hussain Al-Aqrabi, Lu Liu |