Weihao Qu
where else to find them
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Marco Gaboardi2×
- Deepak Gargonce
- Eric Koskinenonce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Relational Cell Morphing: Automated Verification of Relational Properties of Array(…) | ARRAY 2026 | 2026-06-16 |
The system reduces relational verification of array programs to constrained Horn clause solving over scalars by tracking a few distinguished cells across two… | ||
| Program Analysis for Adaptive Data Analysis | PLDI 2024 | 2024-06-24 |
Static analysis estimates the adaptivity of while-like adaptive data analyses by building a weighted dependency graph whose node weights are reachability upper… | ||
| nothing matches | ||