Ziteng Wang
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 editions2024–2026
on a stage with
- Işıl Dillig2×
- Aaryan Prakashonce
- Dixin Tangonce
all 13 in the filters
who talks about the same things
- Zheng Guo5 talks
- Işıl Dillig21 talks
- Dixin Tang3 talks
- Hila Peleg8 talks
- Nadia Polikarpova24 talks
- Ruijie Fang3 talks
| title | conference | date |
|---|---|---|
| Homomorphism Calculus for User-Defined Aggregations | PLDI 2026 | 2026-06-15 |
Introduces a decidable homomorphism calculus and a synthesis tool Inc that reduces dataframe homomorphism verification to a local per-row check via a… | ||
| From Batch to Stream: Automatic Generation of Online Algorithms | PLDI 2024 | 2024-06-24 |
Automated method extracts a relational function signature via static analysis, builds initial state by evaluating each spec on the empty list, and synthesizes… | ||
| 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 | ||