Publications
Conference papers
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, and Ronghui Gu, Proceedings of the 28th ACM Symposium on Operating Systems Principles (SOSP 2021), October 2021.Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor
Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui, Proceedings of the 30th USENIX Security Symposium (USENIX Security 2021), Vancouver, British Columbia, Canada, August 2021.A Secure and Formally Verified Linux KVM Hypervisor
Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui, Proceedings of the 2021 IEEE Symposium on Security and Privacy (SP 2021), Virtual, May 2021.Protecting Cloud Virtual Machines from Hypervisor and Host Operating System Exploits
Shih-Wei Li, John S. Koh, Jason Nieh, Proceedings of the 28th USENIX Security Symposium (USENIX Security 2019), Santa Clara, CA, USA, August 2019.NEVE: Nested Virtualization Extensions for ARM
Jin Tack Lim, Christoffer Dall, Shih-Wei Li, Jason Nieh, Marc Zyngier, Proceedings of the 26th ACM Symposium on Operating Systems Principles (SOSP 2017), Shanghai, China, October 2017.Optimizing the Design and Implementation of the Linux ARM Hypervisor
Christoffer Dall, Shih-Wei Li, Jason Nieh, 2017 USENIX Annual Technical Conference (USENIX ATC 2017), Santa Clara, CA, USA, July 2017.ARM Virtualization: Performance and Architectural Implications
Christoffer Dall, Shih-Wei Li, Jin Tack Lim, Jason Nieh, Georgios Koloventzos, Proceedings of the 43rd International Symposium on Computer Architecture (ISCA 2016), Seoul, Korea, June 2016.
Tech reports & Invited/Poster papers
ARM Virtualization: Performance and Architectural Implications
Christoffer Dall, Shih-Wei Li, Jin Tack Lim, Jason Nieh, ACM SIGOPS Operating Systems Review, August 2018.Identifying Android library dependencies in the presence of code obfuscation and minimization
Salman A. Baset, Shih-Wei Li, Philippe Suter, Omer Tripp, Proceedings of the 39th International Conference on Software Engineering Companion (ICSE-C 2017), Buenos Aires, Argentina, May 2017.A Measurement Study of ARM Virtualization Performance
Christoffer Dall, Shih-Wei Li, Jin Tack Lim, Jason Nieh, Technical Report CUCS-021-15, Department of Computer Science, Columbia University, November 2015.