David Cao
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–2023
on a stage with
all 14 in the filters
who talks about the same things
- Max Willsey12 talks
- Zachary Tatlock11 talks
- Yisu Remy Wang5 talks
- Yihong Zhang4 talks
- Oliver Flatt4 talks
- Daniel Ruelas-Petrisko2 talks
| title | conference | date |
|---|---|---|
| Better Together: Unifying Datalog and Equality Saturation | PLDI 2023 | 2023-06-17 |
egglog claims a single system that combines Datalog-style declarative analyses with equality-saturation rewriting by introducing functional dependency repair… | ||
| babble: Learning Better Abstractions with E-Graphs and Anti-unification | POPL 2023 | 2023-01-15 |
Presents Library Learning Modulo Theory (LLMT) implemented as the tool babble, which uses e-graphs plus a new e-graph anti-unification algorithm and targeted… | ||
| 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… | ||
| nothing matches | ||