Record · cs.washington.edu
Allen School researchers receive CACM Research Highlight for making equality saturation more practical
cs.washington.edu · 13 August 2026 · 3 min read
A post on cs.washington.edu, published 13 August 2026, has not been cited by any blog yet (corpus.blog, measured 12 October 2026).
A record is what was published and who pointed at it. The text of the post is not shown here: read it at the source, or at its Wayback capture.
0blogs citing
| Period | Blogs | Links |
|---|---|---|
| All time | 0 | 0 |
| Last 90 days | 0 | 0 |
| Last 30 days | 0 | 0 |
| Last 7 days | 0 | 0 |
| Words blogs link it with | 0 |
|---|---|
| External links | 12 |
| Length | 559 |
Cited by
No blog we hold has cited this post yet.
Links from this post
Link
Host
ztatlock.net
mwillsey.com
oflatt.com
egraphs-good.github.io
egraphs.org
https://cacm.acm.org/research-highlights/egg-fast-and-extensible-equality-saturation/ Who cites this page
cacm.acm.org
uwplse.org
cnandi.com
remy.wang
pavpanchekha.com
Similar posts
Equality Saturation: An “Incomplete” Project
SIGPLAN Blog
1 Oct 2026
9 Apr 2026
E-graphs
Hey There Buddo! | Hot Leaves in a Cold Worlds.
5 Oct 2026
Egglog | Hey There Buddo!
Hey There Buddo! | Hot Leaves in a Cold Worlds.
5 Oct 2026
A Lean Proof Printing Python Union Find
Hey There Buddo! | Hot Leaves in a Cold Worlds.
25 Sept 2026
Refinement E-Graphs
Hey There Buddo! | Hot Leaves in a Cold Worlds.
4 Oct 2026
Efficient Search over Algebraic Graphs
anekstein.com
22 Aug 2026
Lambda MicroEgg
Hey There Buddo! | Hot Leaves in a Cold Worlds.
20 Sept 2026
12 Jul 2026
Something wrong here? Report a problem