Qianshan Yu
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Bow-Yaw Wangonce
- Fei Heonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Incremental Predicate Analysis for Regression Verification | OOPSLA 2020 | 2020-11-15 |
Implements an end-to-end regression-verification pipeline on CPAchecker that reuses assertion annotations across revisions: a CFA Diff based on similarity… | ||
| nothing matches | ||