Biblio

Export 22 results:
Filters: Author is Jason Nieh  [Clear All Filters]
2023
Li X, Li X, Qiang W, Gu R, Nieh J.  2023.  Spoq: Scaling Machine-Checkable Systems Verification in Coq. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :851--869.
2022
Hof AVan't, Nieh J.  2022.  BlackBox: A Container Security Monitor for Protecting Containers on Untrusted Operating Systems. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :683--700.
Li X, Li X, Dall C, Gu R, Nieh J, Sait Y, Stockwell G.  2022.  Design and Verification of the Arm Confidential Compute Architecture. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :465--484.
Yao J, Tao R, Gu R, Nieh J.  2022.  DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :485--501.
David Y, Sun X, Sofaer RJ, Senthilnathan A, Yang J, Zuo Z, Xu GHarry, Nieh J, Gu R.  2022.  UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :751--767.
2021
Weng L, Huang P, Nieh J, Yang J.  2021.  Argus: Debugging Performance Issues in Modern Desktop Applications with Annotated Causal Tracing. 2021 USENIX Annual Technical Conference (USENIX ATC 21). :193--207.
Yao J, Tao R, Gu R, Nieh J, Jana S, Ryan G.  2021.  DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21). :405--421.
Li S-W, Li X, Gu R, Nieh J, Hui JZhuang.  2021.  Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor. 30th USENIX Security Symposium (USENIX Security 21). :3953--3970.
2019
Li S-W, Koh JS, Nieh J.  2019.  Protecting Cloud Virtual Machines from Hypervisor and Host Operating System Exploits. 28th USENIX Security Symposium (USENIX Security 19). :1357--1374.
2017
Dall C, Li S-W, Nieh J.  2017.  Optimizing the Design and Implementation of the Linux ARM Hypervisor. 2017 USENIX Annual Technical Conference (USENIX ATC 17). :221--233.
2009
Potter S, Bellovin SM, Nieh J.  2009.  Two-Person Control Administration: Preventing Administation Faults through Duplication. 23rd Large Installation System Administration Conference (LISA 09).
2007
Potter S, Nieh J, Selsky M.  2007.  Secure Isolation of Untrusted Legacy Applications. 21st Large Installation System Administration Conference (LISA 07).
Laadan O, Nieh J.  2007.  Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems . 2007 USENIX Annual Technical Conference (USENIX ATC 07).
2005
Potter S, Nieh J.  2005.  Reducing Downtime Due to System Maintenance and Upgrades. 19th Large Installation System Administration Conference (LISA 05).
Nieh J.  2005.  Thin Clients: Past, Present, and Future. 2005 USENIX Annual Technical Conference (USENIX ATC 05).
2004
Zheng H, Nieh J.  2004.  SWAP: A Scheduler with Automatic Process Dependency Detection. First Symposium on Networked Systems Design and Implementation (NSDI 04).
2002
Osman S, Subhraveti D, Su G, Nieh J.  2002.  The Design and Implementation of Zap: A System for Migrating Computing Environments. 5th Symposium on Operating Systems Design and Implementation (OSDI 02).
2001
S. Yang J, Nieh J, Novik N.  2001.  Measuring Thin-Client Performance Using Slow-Motion Benchmarking. 2001 USENIX Annual Technical Conference (USENIX ATC 01).
2000
Zadok E, Nieh J.  2000.  FiST: A Language for Stackable File Systems. 2000 USENIX Annual Technical Conference (USENIX ATC 00).