Jason Nieh

7 papers · 2021–2025 · 1 venue · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌉 Interdisciplinary Bridge · Gold 🗺️ Taxonomy Completionist (13)

Venues

OSDI (7)

Top co-authors

Ronghui Gu (6) Runzhou Tao (3) Jianan Yao (3) Xuheng Li (2) Xupeng Li (2) Xudong Sun (1) Wei Qiang (1) Yousuf Sait (1) Zhiqiang Zuo (1) Yaniv David (1)

Research topics

Computer Science (4) Machine Learning (4) Artificial Intelligence (3) Application Areas (3) Core AI (3) Systems (3) Knowledge & Reasoning (2) Reasoning (2) Security & Privacy (1) Applications (1) Foundations (1) Optimization & Theory (1) Privacy (1)

Keywords

formal verification (3) virtual machine (2) inductive invariant (2) smt solver (2) safety property (2) data confidentiality (2) automated verification (2) hardware security (1) confidential computing (1) invariant learning (1) memory protection (1) resource utilization (1) program analysis (1) virtual machine isolation (1) coq proof assistant (1) distributed protocol (1) firmware verification (1) trusted execution environment (1) static analysis (1) formal methods (1)

Papers

Quantum Virtual Machines OSDI 2025 Spoq: Scaling Machine-Checkable Systems Verification in Coq OSDI 2023 BlackBox: A Container Security Monitor for Protecting Containers on Untrusted Operating Systems OSDI 2022 Design and Verification of the Arm Confidential Compute Architecture OSDI 2022 DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols OSDI 2022 UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing OSDI 2022 DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols OSDI 2021