Cover Image

E-Path: Equality Saturation for Control-Flow Graphs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Garcia, Guillermo
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Optimism in Equality Saturation
by: Arbore, Russel, 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)

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
by: Merckx, Jules, et al.
Published: (2025)

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

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)

Enhancing Compiler Optimization Efficiency through Grammatical Decompositions of Control-Flow Graphs
by: Cai, Xuran
Published: (2025)

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

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
by: Zhang, Jiahao, et al.
Published: (2025)

Cocoon: Static Information Flow Control in Rust
by: Lamba, Ada, et al.
Published: (2023)

Retrofitting Control Flow Graphs in LLVM IR for Auto Vectorization
by: Fang, Shihan, et al.
Published: (2025)

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

Series-Parallel-Loop Decompositions of Control-flow Graphs
by: Cai, Xuran, et al.
Published: (2026)

Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs
by: Cai, Xuran, et al.
Published: (2026)

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

Hybrid Path-Sums for Hybrid Quantum Programs
by: Chareton, Christophe, et al.
Published: (2026)

Prime Path Coverage in the GNU Compiler Collection
by: Kvalsvik, Jørgen
Published: (2025)

A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
by: Chen, Zhibo, et al.
Published: (2023)

Filament: Denning-Style Information Flow Control for Rust
by: Ching, Jeffrey C., et al.
Published: (2026)

Compositional Quantum Control Flow with Efficient Compilation in Qunity
by: Mints, Mikhail, et al.
Published: (2025)

Recursive Function Definitions in Static Dataflow Graphs and their Implementation in TensorFlow
by: Kostopoulou, Kelly, et al.
Published: (2024)

The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
by: Yuan, Charles, et al.
Published: (2023)

KestRel: Relational Verification Using E-Graphs for Program Alignment
by: Dickerson, Robert, et al.
Published: (2024)

Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking
by: Baumann, Jonathan, et al.
Published: (2026)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
by: Saumya, Charitha, et al.
Published: (2023)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
by: Yao, Siqiu, et al.
Published: (2024)

Quantum Control Machine: The Limits of Control Flow in Quantum Programming
by: Yuan, Charles, et al.
Published: (2023)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
by: Liu, Peipei, et al.
Published: (2025)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
by: Derakhshan, Farzaneh, et al.
Published: (2024)

A Sound Type System for Secure Currency Flow
by: Aceto, Luca, et al.
Published: (2024)

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

The Parallel Semantics Program Dependence Graph
by: Homerding, Brian, et al.
Published: (2024)

Backwards Data-Flow Analysis using Prophecy Variables in the BuildIt System
by: Brahmakshatriya, Ajay, et al.
Published: (2026)

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses
by: Singh, Avaljot, et al.
Published: (2024)

Graphiti: Bridging Graph and Relational Database Queries
by: He, Yang, et al.
Published: (2025)

Meta-compilation of Baseline JIT Compilers with Druid
by: Palumbo, Nahuel, et al.
Published: (2025)

Cognacy Queries over Dependence Graphs for Transparent Visualisations
by: Bond, Joseph, et al.
Published: (2024)