Philip Zucker
where else to find them
github:philzook58
bluesky:sandmouth.bsky.social
mastodon:@sandmouth@types.pl
linkedin:philip-zucker-4520ba90
what they talk about
where they keep going back
- EGRAPHS3 editions2024–2026
on a stage with
- Alexandra Silvaonce
- Cheng Zhangonce
- David Caoonce
all 12 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Lifting E-Graphs: A Function Isn’t a Constant | EGRAPHS 2026 | 2026-06-15 |
Proposes encoding α-equivalence by baking thinning bit vectors into e-nodes so terms carry their context; implements fat identifiers (ID plus thinning) and a… | ||
| From Rewriting to Fixpoints: Solving Recursive Equations with E-Graphs | EGRAPHS 2026 | 2026-06-15 |
Extends e-graphs to represent recursive variables by adding secondary definitional edges that link a variable to its definition without merging, builds a… | ||
| Omelets Need Onions: E-graphs Modulo Theories via Bottom Up E-Matching | EGRAPHS 2025 | 2025-06-16 |
Claims that bottom-up e-matching plus semantic eids lets e-graphs incorporate domain theories by canonicalizing terms before matching, avoiding combinatorial… | ||
| Scimitar: Functional Programs as Optimization Problems | Onward! 2024 | 2024-10-23 |
Scimitar compiles a functional subset into MILP constraints (implemented in Racket) and automatically applies expert encodings like McCormick envelopes for… | ||
| E-graphs and Automated Reasoning: Looking back to look forward | EGRAPHS 2024 | 2024-06-24 |
Argues that e-graphs are essentially an instance of ground completion = e-graph rewriting, demonstrates a Python tool that inverts the completion/tree diagram… | ||
| 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… | ||
| nothing matches | ||