Amy Zhu
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2021–2023
on a stage with
all 12 in the filters
who talks about the same things
- Brett Saiki3 talks
- Oliver Flatt4 talks
- Max Willsey12 talks
- Ryan Tjoa3 talks
- Zachary Tatlock11 talks
- Chandrakana Nandi9 talks
| title | conference | date |
|---|---|---|
| Equality Saturation Theory Exploration à la Carte | OOPSLA 2023 | 2023-10-23 |
Enumo is a domain-specific language for programmable theory exploration that gives users small, composable operators to guide automatic inference of rewrite… | ||
| Exploring Self-Embedded Knitting Programs with Twine | FARM 2023 | 2023-09-08 |
Project designs a color-based language called twine language that encodes knitting instructions directly into fabric, using industrial knitting machines… | ||
| Rewrite Rule Inference Using Equality Saturation | OOPSLA 2021 | 2021-10-17 |
Describes a system called Ruler that uses equality saturation over e-graphs to infer rewrite rules automatically, implemented in Rust on the egg library… | ||
| nothing matches | ||