Chengpeng Wang
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 10 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate... | USENIX ATC '23 | 2023-07-10 |
PINOLO synthesizes queries that are guaranteed to be over-approximations or under-approximations of a seed SQL query by applying concrete mutators (predicate… | ||
| 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… | ||
| nothing matches | ||