Shengyuan Yang
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Chang Xuonce
- Charles Yuanonce
- Tian Tanonce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Quantum Assertion Testing Without Mid-Circuit Measurement: Strategies and Lower Bounds | PLanQC 2026 | 2026-01-12 |
Defines FirstFail and exist-fail tasks and proves concrete time‑space limits: any strategy without mid‑circuit measurement satisfies T × S = Ω(log n). Provides… | ||
| Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise(…) | PLDI 2023 | 2023-06-17 |
Proposes Cut-Shortcut that cuts PFG edges causing merged flows and adds direct shortcut edges to simulate context sensitivity without cloning; implements two… | ||
| nothing matches | ||