Skip to content
corpus.blog
Sign in Claim your blog
Record · philipzucker.com

E-graphs

Hey There Buddo! | Hot Leaves in a Cold Worlds. · 5 October 2026 · 53 min read

A post on philipzucker.com, published 5 October 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.

Read at philipzucker.com (opens in a new tab) Wayback capture (opens in a new tab)

0blogs citing

Citing blogs and links by period
Period Blogs Links
All time00
Last 90 days00
Last 30 days00
Last 7 days00
Figures for this page
Words blogs link it with0
External links80
Length12,002

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://egglog-python.readthedocs.io/latest/explanation/2024_03_17_community_talk.html Who cites this page
egglog-python.readthedocs.io
https://egglog-python.readthedocs.io/latest/tutorials/sklearn.html Who cites this page
egglog-python.readthedocs.io
https://www.lri.fr/~filliatr/ftp/publis/puf-wml07.pdf Who cites this page
lri.fr
https://youtu.be/KxeHGcbh-4c?t=1254 Who cites this page
youtu.be
https://core.ac.uk/download/pdf/161439519.pdf Who cites this page
core.ac.uk
https://link.springer.com/article/10.1007/s00446-020-00388-x Who cites this page
link.springer.com
https://arxiv.org/pdf/1911.06347.pdf Who cites this page
arxiv.org
https://algocoding.wordpress.com/2015/05/13/simple-union-find-techniques/ Who cites this page
algocoding.wordpress.com
https://bora.uib.no/bora-xmlui/handle/1956/5118 Who cites this page
bora.uib.no
https://en.wikipedia.org/wiki/Tarjan%27s_off-line_lowest_common_ancestors_algorithm Who cites this page
en.wikipedia.org
https://leodemoura.github.io/files/ematching.pdf Who cites this page
leodemoura.github.io
https://www.cs.upc.edu/~roberto/papers/rta05.pdf Who cites this page
cs.upc.edu
https://github.com/coq/coq/tree/master/plugins/cc Who cites this page
github.com
https://dl.acm.org/doi/10.5555/1789277.1789283 Who cites this page
dl.acm.org
https://pldi22.sigplan.org/details/egraphs-2022-papers/6/Equality-Saturation-as-a-Tactic-for-Proof-Assistants Who cites this page
pldi22.sigplan.org
https://leanprover.github.io/papers/congr.pdf Who cites this page
leanprover.github.io
https://github.com/uwplse/szalinski Who cites this page
github.com
https://asplos-conference.org/abstracts/asplos21-paper142-extended_abstract.pdf Who cites this page
asplos-conference.org
https://arxiv.org/abs/2002.07951 Who cites this page
arxiv.org
https://arxiv.org/abs/2105.03949 Who cites this page
arxiv.org
https://github.com/egraphs-good/egg/discussions/106 Who cites this page
github.com
https://cseweb.ucsd.edu/~lerner/papers/popl09.pdf Who cites this page
cseweb.ucsd.edu
https://github.com/riswords/quiche Who cites this page
github.com
https://jacquema.gitlabpages.inria.fr/files/tata.pdf Who cites this page
jacquema.gitlabpages.inria.fr
https://remy.wang/reports/dfta.pdf Who cites this page
remy.wang
https://docs.google.com/presentation/d/1oDNmzxJpsdLE51lmybcfzzzv4jRLDdrVpmMhMpFEoFk/edit?usp=sharing Who cites this page
docs.google.com
https://gist.github.com/remysucre/1788cf0153d7db240e751fb698f74d99 Who cites this page
gist.github.com
https://en.wikipedia.org/wiki/Tree_automaton Who cites this page
en.wikipedia.org
Binding in E-graphs Read at pavpanchekha.com (opens in a new tab)
pavpanchekha.com
https://okmij.org/ftp/tagless-final/ski.pdf Who cites this page
okmij.org
https://docs.google.com/presentation/d/16fpJiVfAaNasCp3rgPusiRl7GD-18fq6aMBkDnVfsco/edit?usp=sharing Who cites this page
docs.google.com
https://github.com/eytans/egg Who cites this page
github.com
https://arxiv.org/abs/2101.02690 Who cites this page
arxiv.org
https://www.sciencedirect.com/science/article/pii/S1571066108002958 Who cites this page
sciencedirect.com
https://arxiv.org/pdf/2111.13040.pdf Who cites this page
arxiv.org
https://courses.cs.washington.edu/courses/cse501/15sp/papers/joshi.pdf Who cites this page
courses.cs.washington.edu
https://github.com/opencompl/egg-tactic-code Who cites this page
github.com
https://arxiv.org/abs/2112.14714 Who cites this page
arxiv.org
https://pldi22.sigplan.org/home/egraphs-2022 Who cites this page
pldi22.sigplan.org
https://www.youtube.com/watch?v=dbgZJyw3hnk&ab_channel=ACMSIGPLAN Who cites this page
youtube.com
https://effect.systems/doc/pldi-2022-egraphs/abstract.pdf Who cites this page
effect.systems
http://effect.systems/blog/ematch-trick.html Who cites this page
effect.systems
https://www.oflatt.com/egraph-union-intersect.html Who cites this page
oflatt.com
https://www.jacarte.me/assets/pdf/wasm_mutate.pdf Who cites this page
jacarte.me
https://arxiv.org/pdf/2203.09191.pdf Who cites this page
arxiv.org
https://github.com/lifting-bits/eqsat Who cites this page
github.com
https://arxiv.org/abs/2111.13040 Who cites this page
arxiv.org
https://github.com/jwtag/egg-csep590d-project Who cites this page
github.com
https://dl.acm.org/doi/pdf/10.1145/3497776.3517781 Who cites this page
dl.acm.org
https://arxiv.org/abs/2204.11478 Who cites this page
arxiv.org
https://github.com/bytecodealliance/rfcs/pull/27 Who cites this page
github.com
https://docs.rs/cranelift-egraph/0.91.0/cranelift_egraph/ Who cites this page
docs.rs
https://link.springer.com/chapter/10.1007/978-3-642-22110-1_59 Who cites this page
link.springer.com
https://arxiv.org/pdf/2204.11478.pdf Who cites this page
arxiv.org
Improving MBA Deobfuscation using Equality Saturation Read at secret.club (opens in a new tab)
secret.club
https://github.com/alt-romes/hegg Who cites this page
github.com
https://github.com/StrongerXi/naive-egraph Who cites this page
github.com
https://www.cl.cam.ac.uk/~ey204/pubs/MPHIL_P3/2022_Zak.pdf Who cites this page
cl.cam.ac.uk
https://dl.acm.org/doi/pdf/10.1145/3497776.3517781?casa_token=mRVhbG5XlgsAAAAA:TtiJ8AOK2htAomYKldxl206wUoOXrCR_aP79biEAiA8jtgzQRIYJSu0FKPmEVaQvlV_NNO0ZLHsT Who cites this page
dl.acm.org
https://arxiv.org/pdf/2212.08427.pdf Who cites this page
arxiv.org
https://arxiv.org/pdf/2303.04651.pdf Who cites this page
arxiv.org
https://github.com/risinglightdb/risinglight/tree/main/src/planner Who cites this page
github.com
https://arxiv.org/pdf/2302.05792.pdf Who cites this page
arxiv.org
https://arxiv.org/pdf/2208.03528.pdf Who cites this page
arxiv.org
https://arxiv.org/pdf/2309.09112.pdf Who cites this page
arxiv.org
https://jonathanvdc.github.io/files/2024-cgo-latent-idiom-recognition.pdf Who cites this page
jonathanvdc.github.io
E-class is in session Read at pavpanchekha.com (opens in a new tab)
pavpanchekha.com
https://eytan.singher.co.il/index.html Who cites this page
eytan.singher.co.il
https://ieeexplore.ieee.org/abstract/document/10247797 Who cites this page
ieeexplore.ieee.org
https://github.com/JuliaPackaging/BinaryBuilder.jl Who cites this page
github.com
https://github.com/Bastacyclop/egg-sketches Who cites this page
github.com
http://poj.org/problem?id=2492 Who cites this page
poj.org
https://www.cs.princeton.edu/courses/archive/spring07/cos226/lectures/01union-find.pdf Who cites this page
cs.princeton.edu
https://ztatlock.net/pubs/2009-popl-equality-saturation-optimizations-egraphs.pdf Who cites this page
ztatlock.net
https://rosstate.org/publications/eqsat/ Who cites this page
rosstate.org
https://github.com/jameysharp/optir Who cites this page
github.com
https://github.com/ondrik/libvata Who cites this page
github.com
https://pure.uvt.nl/ws/portalfiles/portal/311063/80170.pdf Who cites this page
pure.uvt.nl
https://en.wikipedia.org/wiki/E-graph Who cites this page
en.wikipedia.org
https://github.com/fvrmatteo/oracle-synthesis-meets-equality-saturation Who cites this page
github.com
Elsewhere on philipzucker.com (16)
https://www.philipzucker.com/egraph-1/ Read at philipzucker.com (opens in a new tab)
philipzucker.com
https://www.philipzucker.com/egraph-2/ Read at philipzucker.com (opens in a new tab)
philipzucker.com
https://www.philipzucker.com/metatheory-progress/ Read at philipzucker.com (opens in a new tab)
philipzucker.com
https://www.philipzucker.com/rust-category/ Read at philipzucker.com (opens in a new tab)
philipzucker.com
https://www.philipzucker.com/union-find-dict/ Read at philipzucker.com (opens in a new tab)
philipzucker.com
https://www.philipzucker.com/a-simplified-egraph/ Read at philipzucker.com (opens in a new tab)
philipzucker.com
https://www.philipzucker.com/staging-patterns/ Read at philipzucker.com (opens in a new tab)
philipzucker.com
https://www.philipzucker.com/egraph-datalog/ Read at philipzucker.com (opens in a new tab)
philipzucker.com
https://www.philipzucker.com/egglog-checkpoint/ Read at philipzucker.com (opens in a new tab)
philipzucker.com
https://www.philipzucker.com/juliacon-talk/ Read at philipzucker.com (opens in a new tab)
philipzucker.com
https://www.philipzucker.com/egglog2-monic/ Read at philipzucker.com (opens in a new tab)
philipzucker.com
https://www.philipzucker.com/egglog-3/ Read at philipzucker.com (opens in a new tab)
philipzucker.com
https://www.philipzucker.com/datalog-egraph-deux/ Read at philipzucker.com (opens in a new tab)
philipzucker.com
https://www.philipzucker.com/souffle-functor-hack/ Read at philipzucker.com (opens in a new tab)
philipzucker.com
https://www.philipzucker.com/egraph-chr/ Read at philipzucker.com (opens in a new tab)
philipzucker.com
https://www.philipzucker.com/simple-coq-union-find/ Read at philipzucker.com (opens in a new tab)
philipzucker.com

Similar posts

Allen School researchers receive CACM Research Highlight for making equality saturation more practical
cs.washington.edu
13 Aug 2026
Equality Saturation: An “Incomplete” Project
SIGPLAN Blog
1 Oct 2026
The acyclic e-graph: Cranelift's mid-end optimizer
cfallin.org
9 Apr 2026
Unary Functions in an E-graph
pavpanchekha.com
24 Apr 2026
Efficient Search over Algebraic Graphs
anekstein.com
22 Aug 2026
Teaching Booleans About Versions: A Theory-Augmented BDD Library in OCaml
vouillon.github.io
21 Jul 2026
Project Pterodactyl’s layered architecture
jonmsterling.com
7 Mar 2026
The first pages of mastorna.it
mastorna.it
16 Jul 2026
Eunoia: Euler and Venn Diagrams in Five Languages
jolars.co
4 Jul 2026
Hyper-Graph Store Representation and Query Mechanism
gfrison.com
23 Aug 2026

Something wrong here? Report a problem