Peisen Yao
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA2 editions2021–2022
on a stage with
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Bounded-Exhaustive Subspace Diversification for SMT Solver Testing | SAS 2025 | 2025-10-13 |
Canary runs differential testing on Z3 and CVC5 and systematically partitions solutions with three bounded mutation strategies — numerical domains, boolean… | ||
| Complexity-guided container replacement synthesis | OOPSLA 2022 | 2022-12-05 |
Cres automatically synthesizes container-type replacements using static, allocation-based and flow-sensitive points-to analysis to collect container properties… | ||
| Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis | OOPSLA 2022 | 2022-12-05 |
This paper presents a cheap reduction that transforms extended Dyck-CFL reachability to conventional graph reachability, builds a two-copy indexed graph with… | ||
| Program Analysis via Efficient Symbolic Abstraction | OOPSLA 2021 | 2021-10-17 |
Two algorithms compute most-precise abstractions for quantifier-free bit-vector formulas over the interval and a convex polyhedral-like domain, using… | ||
| nothing matches | ||