Ziyi Yang
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 3 in the filters
on a stage with
- Ilya Sergey3×
- Kiran Gopinathanonce
- Matthew Flattonce
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Answer Set Programming for Egg Extraction and More | EGRAPHS 2026 | 2026-06-15 |
Answer set programming encodes e-graphs as facts and finds low-cost extractions; a naive ASP encoding running with clingo and a core-guided (answer-core)… | ||
| Inductive Synthesis of Inductive Heap Predicates | OOPSLA 2025 | 2025-10-16 |
Claim: an algorithm synthesises recursive Separation Logic predicates from concrete heap graphs using positive-only ILP encoded in answer set programming… | ||
| DSLs in Racket: You Want It How, Now? | SLE 2024 | 2024-10-20 |
Proposes a taxonomy of seven design intents and maps them to concrete Racket mechanisms, splitting enabling techniques into reader and expander customization… | ||
| nothing matches | ||