Runzhou Tao
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 5 in the filters
on a stage with
all 14 in the filters
who talks about the same things
- Ronghui Gu6 talks
- Sitan Chen3 talks
- Zhao Song2 talks
- Ruizhe Zhang2 talks
- Jun Sun6 talks
- Chijin Zhou5 talks
| title | conference | date |
|---|---|---|
| Equality Saturation for Quantum Circuit Optimization | PLDI 2026 | 2026-06-15 |
Quasar builds a compiler pass that constructs two complementary e-graphs (graph and sequence views), infers a compact 40 atomic rewrites set from thousands… | ||
| 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… | ||
| A Case for Synthesis of Recursive Quantum Unitary Programs | POPL 2024 | 2024-01-14 |
QSynth synthesizes recursive unitary programs by combining an inductive quantum language with a fixed‑point rule, a hypothesis‑amplitude input/output… | ||
| Symmetric Sparse Boolean Matrix Factorization and Applications | ITCS 2022 | 2022-01-31 |
Average-case result recovers a K‑sparse Boolean factor W from M = W W^T when each row of W is an independent uniform K‑subset, with high probability and… | ||
| 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 | ||