Jianan Yao
where else to find them
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 6 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… | ||
| 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 | ||