- Spoq: Scaling Machine-Checkable Systems Verification in Coq
- Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, and Jason Nieh, Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2023), Boston, MA, July 2023.
- Design and Verification of the Arm Confidential Compute Architecture
- Xupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu, Jason Nieh, Yousuf Sait, and Gareth Stockwell, Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2022), Carlsbad, CA, July 2022.
- BlackBox: A Container Security Monitor for Protecting Containers on Untrusted Operating Systems
- Alexander Van't Hof and Jason Nieh, Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2022), Carlsbad, CA, July 2022.
- 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. (Artifact available.)
- DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
- Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, and Gabriel Ryan, Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2021), Santa Clara, CA, July 2021. (Jay Lepreau Best Paper Award. Artifact available.)
- Encrypted Cloud Photo Storage Using Google Photos
- John S. Koh, Jason Nieh, and Steven M. Bellovin, Proceedings of the 19th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys 2021), Mars, Solar System, Milky Way, June-July 2021.
- A Secure and Formally Verified Linux KVM Hypervisor
- Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, and John Zhuang Hui, Proceedings of the 42nd IEEE Symposium on Security and Privacy (IEEE S&P 2021), San Francisco, CA, May 2021. (Artifact available.)
- Protecting Cloud Virtual Machines from Commodity Hypervisor and Host Operating System Exploits
- Shih-Wei Li, John S. Koh, and Jason Nieh, Proceedings of the 28th USENIX Security Symposium (USENIX Security 2019), Santa Clara, CA, August 2019.
- NEVE: Nested Virtualization Extensions for ARM
- Jin Tack Lim, Christoffer Dall, Shih-Wei Li, Jason Nieh, and Marc Zyngier, Proceedings of the 26th ACM Symposium on Operating Systems Principles (SOSP 2017), Shanghai, China, October 2017. (The research resulting in the ARMv8.4 virtualization architecture.)
- ARM Virtualization: Performance and Architectural Implications
- Christoffer Dall, Shih-Wei Li, Jin Tack Lim, Jason Nieh, and Georgios Koloventzos, Proceedings of the 43rd International Symposium on Computer Architecture (ISCA 2016), Seoul, Korea, June 2016.
- A Measurement Study of Google Play
- Nicolas Viennot, Edward Garcia, and Jason Nieh, Proceedings of the ACM International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS 2014), Austin, TX, June 2014. (Kenneth C. Sevcik Outstanding Student Paper Award.)
- KVM/ARM: The Design and Implementation of the Linux ARM Hypervisor
- Christoffer Dall and Jason Nieh, Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2014), Salt Lake City, UT, March 2014. (The research resulting in KVM/ARM.)
- Cider: Native Execution of iOS Apps on Android
- Jeremy Andrus, Alexander Van't Hof, Naser AlDuaij, Christoffer Dall, Nicolas Viennot, and Jason Nieh, Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2014), Salt Lake City, UT, March 2014.
- Transparent Mutable Replay for Multicore Debugging and Patch Validation
- Nicolas Viennot, Sid Nair, and Jason Nieh, Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2013), Houston, TX, March 2013.
- Cells: A Virtual Mobile Smartphone Architecture
- Jeremy Andrus, Christoffer Dall, Alexander Van't Hof, Oren Laadan, and Jason Nieh, Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP 2011), Cascais, Portugal, October 2011. (Best Paper Award.)
- Apiary: Easy-to-use Desktop Application Fault Containment on Commodity Operating Systems
- Shaya Potter and Jason Nieh, Proceedings of the 2010 USENIX Annual Technical Conference (USENIX 2010), Boston, MA, June 2010. (Together with Strata, the research that led to Docker and Kubernetes.)
- On the Performance of Wide-Area Thin-Client Computing
- Albert Lai and Jason Nieh, ACM Transactions on Computer Systems (TOCS), 24(2), May 2006. (Parts of this work appeared in SIGMETRICS 2002.)
- THINC: A Virtual Display Architecture for Thin-Client Computing
- Ricardo Baratto, Leonard Kim, and Jason Nieh, Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP 2005), Brighton, United Kingdom, October 2005.
- Experiences Teaching Operating Systems Using Virtual Platforms and Linux
- Jason Nieh and Chris Vaill, Proceedings of the 36th ACM Technical Symposium on Computer Science Education (SIGCSE 2005), St. Louis, MO, February 2005.
- MobiDesk: Mobile Virtual Desktop Computing
- Ricardo Baratto, Shaya Potter, Gong Su, and Jason Nieh, Proceedings of the 10th Annual ACM International Conference on Mobile Computing and Networking (MobiCom 2004), Philadelphia, PA, September-October 2004. (Best Student Paper Award.)
- The Design and Implementation of Zap: A System for Migrating Computing Environments
- Steven Osman, Dinesh Subhraveti, Gong Su, and Jason Nieh, Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI 2002), Boston, MA, December 2002. (The research that led to Linux Containers.)
- Examining VMware
- Jason Nieh and Ozgur Can Leonard, Dr. Dobb's Journal, 315, Miller Freeman, San Mateo, CA, August 2000. (Invited paper about the first course to use virtual machines.)
|