Jason Nieh
7 papers · 2021–2025 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Interdisciplinary Bridge π§ Keyword Pioneer π Cross-Pollinator (4) π Renaissance Researcher (5) πΊοΈ Taxonomy Completionist (13)
π
Keyword Champion
(2)
Conferences
OSDI (7)
Top co-authors
Research topics
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
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
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
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
OSDI 2021