| 2026 | ASPLOS | Highly Automated Verification of Security Properties for Unmodified System Software. | Ganxiang Yang, Wei Qiang, Yi Rong, Xuheng Li, Fanqi Yu, Jason Nieh, Ronghui Gu |
| 2025 | OSDI | Quantum Virtual Machines. | Runzhou Tao, Hongzheng Zhu, Jason Nieh, Jianan Yao, Ronghui Gu |
| 2025 | SIGCSE | ezFS: A Pedagogical Linux File System. | Emma Nieh, Zijian Zhang, Jason Nieh |
| 2024 | ICSE | RogueOne: Detecting Rogue Updates via Differential Data-flow Analysis Using Trust Domains. | Raphael J. Sofaer, Yaniv David, Mingqing Kang, Jianjia Yu, Yinzhi Cao, Junfeng Yang, Jason Nieh |
| 2023 | EuroSys | Effective Performance Issue Diagnosis with Value-Assisted Cost Profiling. | Lingmei Weng, Yigong Hu, Peng Huang, Jason Nieh, Junfeng Yang |
| 2023 | OSDI | Spoq: Scaling Machine-Checkable Systems Verification in Coq. | Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh |
| 2022 | OSDI | UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing. | Yaniv David, Xudong Sun, Raphael J. Sofaer, Aditya Senthilnathan, Junfeng Yang, Zhiqiang Zuo, Guoqing Harry Xu, Jason Nieh, Ronghui Gu |
| 2022 | OSDI | BlackBox: A Container Security Monitor for Protecting Containers on Untrusted Operating Systems. | Alexander Van't Hof, Jason Nieh |
| 2022 | OSDI | Design and Verification of the Arm Confidential Compute Architecture. | Xupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu, Jason Nieh, Yousuf Sait, Gareth Stockwell |
| 2022 | OSDI | DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols. | Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh |
| 2021 | Mobisys | Tap: an app framework for dynamically composable mobile systems. | Naser AlDuaij, Jason Nieh |
| 2021 | Mobisys | Encrypted cloud photo storage using Google photos. | John S. Koh, Jason Nieh, Steven M. Bellovin |
| 2021 | OSDI | DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. | Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan |
| 2021 | SP | A Secure and Formally Verified Linux KVM Hypervisor. | Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui |
| 2021 | USENIX | Argus: Debugging Performance Issues in Modern Desktop Applications with Annotated Causal Tracing. | Lingmei Weng, Peng Huang, Jason Nieh, Junfeng Yang |
| 2021 | SOSP | Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware. | Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, Ronghui Gu |
| 2020 | ASPLOS | Optimizing Nested Virtualization Performance Using Direct Virtual Hardware. | Jin Tack Lim, Jason Nieh |
| 2019 | EuroSys | AnDrone: Virtual Drone Computing in the Cloud. | Alexander Van't Hof, Jason Nieh |
| 2019 | EuroSys | Why Joanie Can Encrypt: Easy Email Encryption with Easy Key Management. | John S. Koh, Steven M. Bellovin, Jason Nieh |
| 2019 | Mobisys | Heterogeneous Multi-Mobile Computing. | Naser AlDuaij, Alexander Van't Hof, Jason Nieh |
| 2019 | Mobisys | Heterogeneous Multi-Mobile Computing. | Naser AlDuaij, Alexander Van't Hof, Jason Nieh |
| 2017 | Middleware | Binary compatible graphics support in Android for running iOS apps. | Jeremy Andrus, Naser AlDuaij, Jason Nieh |
| 2017 | USENIX | Optimizing the Design and Implementation of the Linux ARM Hypervisor. | Christoffer Dall, Shih-Wei Li, Jason Nieh |
| 2017 | SOSP | NEVE: Nested Virtualization Extensions for ARM. | Jin Tack Lim, Christoffer Dall, Shih-Wei Li, Jason Nieh, Marc Zyngier |
| 2016 | EuroSys | POSIX abstractions in modern operating systems: the old, the new, and the missing. | Vaggelis Atlidakis, Jeremy Andrus, Roxana Geambasu, Dimitris Mitropoulos, Jason Nieh |
| 2016 | ISCA | ARM Virtualization: Performance and Architectural Implications. | Christoffer Dall, Shih-Wei Li, Jin Tack Lim, Jason Nieh, Georgios Koloventzos |
| 2015 | EuroSys | Flux: multi-surface computing in Android. | Alexander Van't Hof, Hani Jamjoom, Jason Nieh, Dan Williams |
| 2015 | EuroSys | Synapse: a microservices architecture for heterogeneous-database web applications. | Nicolas Viennot, Mathias Lcuyer, Jonathan Bell, Roxana Geambasu, Jason Nieh |
| 2014 | ASPLOS | Cider: native execution of iOS apps on android. | Jeremy Andrus, Alexander Van't Hof, Naser AlDuaij, Christoffer Dall, Nicolas Viennot, Jason Nieh |
| 2014 | ASPLOS | KVM/ARM: the design and implementation of the linux ARM hypervisor. | Christoffer Dall, Jason Nieh |
| 2014 | SIGCSE | Teaching operating systems using code review. | Christoffer Dall, Jason Nieh |
| 2014 | SIGMETRICS | A measurement study of google play. | Nicolas Viennot, Edward Garcia, Jason Nieh |
| 2013 | ASPLOS | Transparent mutable replay for multicore debugging and patch validation. | Nicolas Viennot, Siddharth Nair, Jason Nieh |
| 2012 | ASSETS | Capture: a desktop display-centric text recorder. | Oren Laadan, Andrew Shu, Jason Nieh |
| 2012 | CoNEXT | VMTorrent: scalable P2P virtual machine streaming. | Joshua Reich, Oren Laadan, Eli Brosh, Alex Sherman, Vishal Misra, Jason Nieh, Dan Rubenstein |
| 2012 | SIGCSE | Teaching operating systems using android. | Jeremy Andrus, Jason Nieh |
| 2011 | HotOS | Finding Concurrency Errors in Sequential Code - OS-level, In-vivo Model Checking of Process Races. | Oren Laadan, Chia-Che Tsai, Nicolas Viennot, Chris Blinn, Peter Senyao Du, Jason Nieh |
| 2011 | SIGCSE | Structured linux kernel projects for teaching operating systems concepts. | Oren Laadan, Jason Nieh, Nicolas Viennot |
| 2011 | SIGMETRICS | Record and transplay: partial checkpointing for replay debugging across heterogeneous systems. | Dinesh Subhraveti, Jason Nieh |
| 2011 | SOSP | Cells: a virtual mobile smartphone architecture. | Jeremy Andrus, Christoffer Dall, Alexander Van't Hof, Oren Laadan, Jason Nieh |
| 2011 | SOSP | Pervasive detection of process races in deployed systems. | Oren Laadan, Nicolas Viennot, Chia-Che Tsai, Chris Blinn, Junfeng Yang, Jason Nieh |
| 2010 | SIGCSE | Teaching operating systems using virtual appliances and distributed version control. | Oren Laadan, Jason Nieh, Nicolas Viennot |
| 2010 | SIGCOMM | VMtorrent: virtual appliances on-demand. | Joshua Reich, Oren Laadan, Eli Brosh, Alex Sherman, Vishal Misra, Jason Nieh, Dan Rubenstein |
| 2010 | SIGMETRICS | Transparent, lightweight application execution replay on commodity multiprocessor operating systems. | Oren Laadan, Nicolas Viennot, Jason Nieh |
| 2010 | SIGMETRICS | RSIO: automatic user interaction detection and scheduling. | Haoqiang Zheng, Jason Nieh |
| 2010 | USENIX | Apiary: Easy-to-Use Desktop Application Fault Containment on Commodity Operating Systems. | Shaya Potter, Jason Nieh |
| 2010 | SYSTOR | Operating system virtualization: practice and experience. | Oren Laadan, Jason Nieh |
| 2009 | ASPLOS | ASSURE: automatic software self-healing using rescue points. | Stelios Sidiroglou, Oren Laadan, Carlos Perez, Nicolas Viennot, Jason Nieh, Angelos D. Keromytis |
| 2009 | CoNEXT | FairTorrent: bringing fairness to peer-to-peer systems. | Alex Sherman, Jason Nieh, Clifford Stein |
| 2009 | ISM | MediaPod: A Personalized Multimedia Desktop in Your Pocket. | Shaya Potter, Ricardo A. Baratto, Oren Laadan, Leonard N. Kim, Jason Nieh |
| 2009 | ISPASS | WARP: Enabling fast CPU scheduler development and evaluation. | Haoqiang Zheng, Jason Nieh |
| 2007 | SP | Using Rescue Points to Navigate Software Recovery. | Stelios Sidiroglou, Oren Laadan, Angelos D. Keromytis, Jason Nieh |
| 2007 | USENIX | Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems. | Oren Laadan, Jason Nieh |
| 2007 | SOSP | DejaView: a personal virtual computer recorder. | Oren Laadan, Ricardo A. Baratto, Dan B. Phung, Shaya Potter, Jason Nieh |
| 2006 | COMPSAC | Highly Reliable Mobile Desktop Computing in Your Pocket. | Shaya Potter, Jason Nieh |
| 2006 | PODC | Grouped distributed queues: distributed queue, proportional share multiprocessor scheduling. | Bogdan Caprita, Jason Nieh, Clifford Stein |
| 2006 | WWW | pTHINC: a thin-client architecture for mobile wireless web. | Joeng Kim, Ricardo A. Baratto, Jason Nieh |
| 2006 | SIGMETRICS | Understanding the management of client perceived response time. | David P. Olshefski, Jason Nieh |
| 2005 | CLUSTER | Transparent Checkpoint-Restart of Distributed Applications on Commodity Clusters. | Oren Laadan, Dan B. Phung, Jason Nieh |
| 2005 | NDSS | MOVE: An End-to-End Solution to Network Denial of Service. | Angelos Stavrou, Angelos D. Keromytis, Jason Nieh, Vishal Misra, Dan Rubenstein |
| 2005 | WWW | WebPod: persistent Web browsing sessions with pocketable storage devices. | Shaya Potter, Jason Nieh |
| 2005 | SIGCSE | Experiences teaching operating systems using virtual platforms and linux. | Jason Nieh, Chris Vaill |
| 2005 | USENIX | Group Ratio Round-Robin: O(1) Proportional Share Scheduling for Uniprocessor and Multiprocessor Systems. | Bogdan Caprita, Wong Chun Chan, Jason Nieh, Clifford Stein, Haoqiang Zheng |
| 2005 | SOSP | THINC: a virtual display architecture for thin-client computing. | Ricardo A. Baratto, Leonard N. Kim, Jason Nieh |
| 2004 | MOBICOM | MobiDesk: mobile virtual desktop computing. | Ricardo A. Baratto, Shaya Potter, Gong Su, Jason Nieh |
| 2004 | NSDI | SWAP: A Scheduler with Automatic Process Dependency Detection. | Haoqiang Zheng, Jason Nieh |
| 2004 | OSDI | ksniffer: Determining the Remote Client Perceived Response Time from Live Packet Streams. | David P. Olshefski, Jason Nieh, Erich M. Nahum |
| 2004 | WWW | Improving web browsing performance on wireless pdas using thin-client computing. | Albert M. Lai, Jason Nieh, Bhagyashree Bohra, Vijayarka Nandikonda, Abhishek P. Surana, Suchita Varshneya |
| 2003 | AMIA | Thin Client Performance for Remote 3-D Image Display. | Albert M. Lai, Jason Nieh, Andrew Laine, Justin Starren |
| 2003 | CCS | A holistic approach to service survivability. | Angelos D. Keromytis, Janak J. Parekh, Philip Gross, Gail E. Kaiser, Vishal Misra, Jason Nieh, Dan Rubenstein, Salvatore J. Stolfo |
| 2003 | WWW | Web browsing performance of wireless thin-client computing. | S. Jae Yang, Jason Nieh, Shilpa Krishnappa, Aparna Mohla, Mahdi Sajjadpour |
| 2002 | DCC | Low-Complexity Interpolation Coding for Server-Based Computing. | Fei Li, Jason Nieh |
| 2002 | OSDI | The Design and Implementation of Zap: A System for Migrating Computing Environments. | Steven Osman, Dinesh Subhraveti, Gong Su, Jason Nieh |
| 2002 | SIGMETRICS | Limits of wide-area thin-client computing. | Albert M. Lai, Jason Nieh |
| 2002 | SIGMETRICS | Inferring client response time at the web server. | David P. Olshefski, Jason Nieh, Dakshi Agrawal |
| 2002 | USENIX | The Performance of Remote Display Mechanisms for Thin-Client Computing. | S. Jae Yang, Jason Nieh, Matt Selsky, Nikhil Tiwari |
| 2001 | USENIX | Virtual-Time Round-Robin: An O(1) Proportional Share Scheduler. | Jason Nieh, Christopher Vaill, Hua Zhong |
| 2001 | USENIX | Measuring Thin-Client Performance Using Slow-Motion Benchmarking. | S. Jae Yang, Jason Nieh, Naomi Novik |
| 2001 | USENIX | Fast Indexing: Support for Size-Changing Algorithms in Stackable File Systems. | Erez Zadok, Johan M. Andersen, Ion Badulescu, Jason Nieh |
| 2000 | USENIX | FiST: A Language for Stackable File Systems. | Erez Zadok, Jason Nieh |
| 1997 | SOSP | The Design, Implementation and Evaluation of SMART: A Scheduler for Multimedia Applications. | Jason Nieh, Monica S. Lam |
| 1995 | NOSSDAV | Integrated Processors Scheduling for Multimedia. | Jason Nieh, Monica S. Lam |
| 1995 | SOSP | SMART: A Processor Scheduler for Multimedia Applications. | Jason Nieh, Monica S. Lam |
| 1993 | NOSSDAV | SVR4UNIX Scheduler Unacceptable for Multimedia Applications. | Jason Nieh, James G. Hanko, J. Duane Northcutt, Gerard A. Wall |