Qinheping Hu
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
- Loris D'Antoni2×
- Gaowei Xuonce
- Jinwoo Kimonce
all 5 in the filters
who talks about the same things
- Loris D'Antoni17 talks
- Jinwoo Kim8 talks
- Xinyu Wang14 talks
- Rui Dong6 talks
- Xiaokang Qiu6 talks
- Ruyi Ji8 talks
| title | conference | date |
|---|---|---|
| Semantics-Guided Synthesis | POPL 2021 | 2021-01-17 |
Framework that takes a grammar, a big‑step semantics expressed as Constrained Horn Clauses, and examples or formulas as specs, then reduces synthesis to CHC… | ||
| Automatic Repair of Regular Expressions | DLS 2019 | 2019-10-20 |
Tool enumerates AST templates with holes and uses automata-based and regex-based SMT encodings plus three pruning tests (Sigma/Top/Bottom) to synthesize… | ||
| nothing matches | ||