Zheng Guo
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2022–2026
on a stage with
all 18 in the filters
who talks about the same things
- Ziteng Wang3 talks
- Hila Peleg8 talks
- Ruyi Ji8 talks
- Yingfei Xiong9 talks
- Rui Dong6 talks
- Nadia Polikarpova24 talks
| title | conference | date |
|---|---|---|
| Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics | PLDI 2026 | 2026-06-15 |
Proposes offline presynthesis that builds a semantics tree automaton and a reachability oracle so online synthesis reduces to fast graph reachability queries… | ||
| Searching Entangled Program Spaces | ICFP 2022 | 2022-09-11 |
Introduces equality-constrained tree automata to compactly represent program spaces where subterm choices are entangled, and implements extraction and lazy… | ||
| Type-Directed Program Synthesis for RESTful APIs | PLDI 2022 | 2022-06-13 |
Built a tool called epiphany that infers fine-grained semantic types from OpenAPI docs plus thousands of observed API call traces, uses a type-directed… | ||
| Digging for Fold: Synthesis-Aided API Discovery for Haskell | OOPSLA 2020 | 2020-11-15 |
A synthesis-backed search called Hoogle Plus indexes popular Haskell libraries and synthesizes compositions that match either a provided type or inferred types… | ||
| nothing matches | ||