Ronghui Gu
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 11 in the filters
who talks about the same things
- Runzhou Tao6 talks
- Nengkun Yu10 talks
- Xiaodi Wu4 talks
- Mingsheng Ying9 talks
- Max Willsey12 talks
- Robert Rand11 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… | ||
| 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… | ||
| 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 | ||