Egraphs Articles

Page 1 of 1 (3 articles)

3/14/2026 • EN

Monus, Factor, and Thinning Union Finds

Explores advanced union-find data structures with annotations like offsets and thinnings for e-graphs and de Bruijn index manipulation.

data structures De Bruijn Indices Egraphs Thinning Union Find

Philip Zucker

1/19/2026 • EN

Subterms Modulo Theories I

Explores generalizing term operations like unification and rewriting to advanced structures like AC terms and rational terms, with Python examples.

Ac Terms Egraphs Formal Methods Term Rewriting Unification

Philip Zucker

1/12/2026 • EN

Dagstuhl Egraphs

A developer's enthusiastic recap of a specialized workshop on egraphs and compilers, covering technical discussions, potential collaborations, and project ideas.

compilers Egraphs optimization programming languages rust

Philip Zucker

Egraphs Articles

Monus, Factor, and Thinning Union Finds

Subterms Modulo Theories I

Dagstuhl Egraphs

Select Language

We use cookies