Cover Image

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Merckx, Jules, Lopoukhine, Alexandre, Coward, Samuel, Cheng, Jianyi, De Sutter, Bjorn, Grosser, Tobias
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

E-Graphs as a Persistent Compiler Abstraction
by: Merckx, Jules, et al.
Published: (2026)

Equality Saturation for Optimizing High-Level Julia IR
by: Merckx, Jules, et al.
Published: (2025)

Building Bridges: Julia as an MLIR Frontend
by: Merckx, Jules
Published: (2025)

Sidekick compilation with xDSL
by: Fehr, Mathieu, et al.
Published: (2023)

Optimism in Equality Saturation
by: Arbore, Russel, et al.
Published: (2025)

Verifying Peephole Rewriting In SSA Compiler IRs
by: Bhat, Siddharth, et al.
Published: (2024)

A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions
by: Lopoukhine, Alexandre, et al.
Published: (2025)

Towards Relational Contextual Equality Saturation
by: Hou, Tyler, et al.
Published: (2025)

Equality Saturation Guided by Large Language Models
by: Peng, Wentao, et al.
Published: (2025)

E-Path: Equality Saturation for Control-Flow Graphs
by: Garcia, Guillermo
Published: (2026)

Scaling Program Synthesis Based Technology Mapping with Equality Saturation
by: Smith, Gus Henry, et al.
Published: (2024)

Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
by: Van der Cruysse, Jonathan, et al.
Published: (2023)

LLM-Guided Strategy Synthesis for Scalable Equality Saturation
by: Yin, Chenyun, et al.
Published: (2026)

HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation
by: Yin, Jiaqi, et al.
Published: (2025)

Strided Difference Bound Matrices
by: Pitchanathan, Arjun, et al.
Published: (2024)

Compressing Structured Tensor Algebra
by: Ghorbani, Mahdi, et al.
Published: (2024)

Transform Dialect Tutorial
by: Zinenko, Oleksandr
Published: (2024)

Dias: Dynamic Rewriting of Pandas Code
by: Baziotis, Stefanos, et al.
Published: (2023)

Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi
by: Tei, Kayo, et al.
Published: (2025)

Rewrite System Showdown: Stochastic Search vs. EqSat
by: Hong, Qiantan, et al.
Published: (2026)

Saturating automata for game semantics
by: Dixon, Alex, et al.
Published: (2023)

StacKAT: Infinite State Network Verification
by: Jacobs, Jules, et al.
Published: (2025)

Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut Elimination
by: Takyu, Kento, et al.
Published: (2024)

A Distribution Semantics for Probabilistic Term Rewriting
by: Vidal, Germán
Published: (2024)

The MLIR Transform Dialect. Your compiler is more powerful than you think
by: Lücke, Martin Paul, et al.
Published: (2024)

Linearization via Rewriting (Long Version)
by: Lago, Ugo Dal, et al.
Published: (2025)

Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq
by: Gross, Jason, et al.
Published: (2023)

ViCAR: Visualizing Categories with Automated Rewriting in Coq
by: Shah, Bhakti, et al.
Published: (2024)

Introducing Quantification into a Hierarchical Graph Rewriting Language
by: Mishina, Haruto, et al.
Published: (2024)

Non-Termination Proving: 100 Million LoC and Beyond
by: Vanegue, Julien, et al.
Published: (2025)

On Complexity Bounds and Confluence of Parallel Term Rewriting
by: Baudon, Thaïs, et al.
Published: (2023)

CODMAS: A Dialectic Multi-Agent Collaborative Framework for Structured RTL Optimization
by: Chang, Che-Ming, et al.
Published: (2026)

Confluence of Conditional Rewriting Modulo
by: Lucas, Salvador
Published: (2025)

An MLIR Lowering Pipeline for Stencils at Wafer-Scale
by: Stawinoga, Nicolai, et al.
Published: (2026)

Canonical bidirectional typechecking
by: Mihejevs, Zanzi, et al.
Published: (2025)

E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis
by: Chen, Chen, et al.
Published: (2024)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
by: Gao, Yifei, et al.
Published: (2025)

CF-GKAT: Efficient Validation of Control-Flow Transformations
by: Zhang, Cheng, et al.
Published: (2024)

TPDE: A Fast Adaptable Compiler Back-End Framework
by: Schwarz, Tobias, et al.
Published: (2025)

On Propositional Program Equivalence (extended abstract)
by: Kappé, Tobias
Published: (2025)