J A S O N N I E H Dept of Computer Science, Columbia University Home | Research | Teaching | Publications | Facebook | Contact Info Jason Nieh is Professor of Computer Science and Co-Director of the Software Systems Laboratory at Columbia University. He has served as a consultant to both government and industry, including as a technical advisor on the Microsoft Antitrust Settlement and as an expert witness before the US International Trade Commission. He is Chief Scientist of CertiK and was previously Chief Scientist of Cellrox and Desktone, acquired by VMware. Nieh has has authored over 100 peer-reviewed papers across a broad range of areas, including operating systems, virtualization, computer architecture, thin-client computing, cloud computing, mobile computing, computer security, formal verification, multimedia, web technologies, and performance evaluation. Technologies he developed are widely used in major operating system platforms, including Android and Linux, and are built into Arm processors, billions of which ship each year. Nieh is a Fellow of the ACM, IEEE, and John Simon Guggenheim Memorial Foundation. Other honors for his research work include a Sigma Xi Young Investigator Award, a National Science Foundation CAREER Award, a Department of Energy Early Career Award, numerous industry research awards, including those from Amazon, Google, and IBM, and various best paper awards, including those from MobiCom, OSDI, SIGCSE, SIGMETRICS, and SOSP. A dedicated teacher, he received the Distinguished Faculty Teaching Award for his innovations in teaching operating systems and for introducing virtualization as a pedagogical tool, which has become common practice at universities around the world. Nieh earned his B.S. from MIT and his M.S. and Ph.D. from Stanford University, all in Electrical Engineering. He is married to Belinda Nieh and they have four children, Joanna, Caleb, Emma, and Zachary. They live in New York City. TEACHING AND ADVISING RECENT PROFESSIONAL ACTIVITIES COMS E6998 Virtualization Technologies for Cloud Computing Spring 2021 M 10:10am-12:00pm Zoom COMS W4118 Operating Systems Spring 2021 MW 8:40-9:55am 501 Northwest Corner Building (CS MS students see MS Waiver) COMS E6118 Advanced Operating Systems Spring 2020 T 10:10am-12:00pm Pupin 414 COMS E6998 Topics in Mobile Computing Spring 2013 T 10:10am-12:00pm Mudd 1127 COMS E6998 Mobile Computing with iPhone and Android Spring 2009 M 11:00am-12:50pm Mudd 1127 Program Committee, OSDI 2022 Program Committee, SIGMETRICS/Performance 2022 Program Committee, ASPLOS 2022 Program Committee, SIGMETRICS 2021 Program Co-Chair, MobiSys 2020 Distinguished Lecture, Stony Brook University, 2020 SELECTED PUBLICATIONS (Complete List) 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. 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.) 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. Optimizing Nested Virtualization Performance Using Direct Virtual Hardware Jin Tack Lim and Jason Nieh, Proceedings of the 25th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2020), Lausanne, Switzerland, March 2020. 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.) Hardware and Software Support for Virtualization Edouard Bugnion, Jason Nieh, and Dan Tsafrir, Synthesis Lectures on Computer Architecture, Morgan & Claypool Publishers, February 2017. 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.) Pervasive Detection of Process Races in Deployed Systems Oren Laadan, Nicolas Viennot, Chia-Che Tsai, Chris Blinn, Junfeng Yang, and Jason Nieh, Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP 2011), Cascais, Portugal, October 2011. Transparent, Lightweight Application Execution Replay on Commodity Multiprocessor Operating Systems Oren Laadan, Nicolas Viennot, and Jason Nieh, Proceedings of the ACM International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS 2010), New York, NY, June 2010. 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.) ASSURE: Automatic Software Self-healing Using REscue points Stelios Sidiroglou, Oren Laadan, Carlos R. Pérez, Nicolas Viennot, Jason Nieh, and Angelos D. Keromytis, Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2009), Washington, DC, March 2009. DejaView: A Personal Virtual Computer Recorder Oren Laadan, Ricardo Baratto, Dan Phung, Shaya Potter, and Jason Nieh, Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP 2007), Stevenson, WA, October 2007. 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. ksniffer: Determining the Remote Client Perceived Response Time from Live Packet Streams David P. Olshefski, Jason Nieh, and Erich Nahum, Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI 2004), San Francisco, CA, December 2004. 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.) A SMART Scheduler for Multimedia Applications Jason Nieh and Monica S. Lam. ACM Transactions on Computer Systems (TOCS), 21(2), May 2003. (Parts of this work appeared in SOSP 1997.) 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.)