Jason Nieh
where else to find them
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 5 in the filters
on a stage with
all 12 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Quantum Virtual Machines | OSDI '25 | 2025-07-07 |
HyperQ builds quantum virtual machines that partition hardware by repeating topology tiles, compiles programs to those smaller virtual back ends, and… | ||
| Mostly Automated Verification of Liveness Properties for Distributed Protocols w... | POPL 2024 | 2024-01-14 |
LVR reduces liveness to a set of safety checks plus a termination proof: synthesize a nonnegative integer ranking function that strictly decreases on every… | ||
| Spoq: Scaling Machine-Checkable Systems Verification in Coq | OSDI 2023 | 2023-07-10 |
Spoq produces machine-checkable Coq proofs by compiling unmodified C to LLVM IR and then translating LLVM into Coq with full C semantics so macros, inline… | ||
| Argus: Debugging Performance Issues in Modern Desktop Applications... | USENIX ATC '21 | 2021-07-14 |
Argus is a causal-tracing system that annotates trace graphs with strong and weak edges and uses a beam-search diagnosis to tolerate tracing ambiguities. It… | ||
| DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols | 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21) | 2021-07-14 |
DistAI simulates protocols to collect states, enumerates strongest possible invariants up to a bounded formula size, and checks inductiveness with an SMT-based… | ||
| nothing matches | ||