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.}