On the public citation graph
egg: Fast and Extensible Equality Saturation
0 signed · 172 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-1-4612-1986-6_17openalex-snapshot
The TAMPR Program Transformation System: Simplifying the Development of Numerical Software
inferredcites →https://doi.org/10.1007/978-3-540-32033-3_33openalex-snapshot
Proof-Producing Congruence Closure
inferredcites →https://doi.org/10.1007/978-3-540-73595-3_13openalex-snapshot
Efficient E-Matching for SMT Solvers
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_24openalex-snapshot
Z3: An Efficient SMT Solver
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_59openalex-snapshot
Equality-Based Translation Validator for LLVM
inferredcites →https://doi.org/10.1016/0020-0190(77)90002-3openalex-snapshot
A generalization of Dijkstra's algorithm
inferredcites →https://doi.org/10.1016/s0167-6423(98)00023-9openalex-snapshot
Graph transformation for specification and programming
inferredcites →https://doi.org/10.1109/cvpr.2018.00578openalex-snapshot
CSGNet: Neural Shape Parser for Constructive Solid Geometry
inferredcites →https://doi.org/10.1109/dac63849.2025.11133110openalex-snapshot
E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis
inferredcites →https://doi.org/10.1109/tcad.2024.3410154openalex-snapshot
ROVER: RTL Optimization via Verified E-Graph Rewriting
inferredcites →https://doi.org/10.1145/1066100.1066102openalex-snapshot
Simplify: a theorem prover for program checking
inferredcites →https://doi.org/10.1145/2737924.2737959openalex-snapshot
Automatically improving accuracy for floating point expressions
inferredcites →https://doi.org/10.1145/2813885.2737959openalex-snapshot
Automatically improving accuracy for floating point expressions
inferredcites →https://doi.org/10.1145/289423.289425openalex-snapshot
Building program optimizers with rewriting strategies
inferredcites →https://doi.org/10.1145/321033.321034openalex-snapshot
A Computing Procedure for Quantification Theory
inferredcites →https://doi.org/10.1145/321879.321884openalex-snapshot
Efficiency of a Good But Not Linear Set Union Algorithm
inferredcites →https://doi.org/10.1145/322186.322198openalex-snapshot
Fast Decision Procedures Based on Congruence Closure
inferredcites →https://doi.org/10.1145/322217.322228openalex-snapshot
Variations on the Common Subexpression Problem
inferredcites →https://doi.org/10.1145/3236794openalex-snapshot
Functional programming for compiling and decompiling computer-aided design
inferredcites →https://doi.org/10.1145/3385412.3386001openalex-snapshot
Semantic code search via equational reasoning
inferredcites →https://doi.org/10.1145/3385412.3386012openalex-snapshot
Synthesizing structured CAD models with equality saturation and inverse transformations
inferredcites →https://doi.org/10.1145/357073.357079openalex-snapshot
Simplification by Cooperating Decision Procedures
inferredcites →https://doi.org/10.1145/3571207openalex-snapshot
babble: Learning Better Abstractions with E-Graphs and Anti-unification
inferredcites →https://doi.org/10.1145/3591239openalex-snapshot
Better Together: Unifying Datalog and Equality Saturation
inferredcites →https://doi.org/10.1145/36205.36194openalex-snapshot
Superoptimizer: a look at the smallest program
inferredcites →https://doi.org/10.1145/36206.36194openalex-snapshot
Superoptimizer: a look at the smallest program
inferredcites →https://doi.org/10.1145/3669940.3707262openalex-snapshot
SmoothE: Differentiable E-Graph Extraction
inferredcites →https://doi.org/10.1145/3720474openalex-snapshot
KestRel: Relational Verification using E-Graphs for Program Alignment
inferredcites →https://doi.org/10.1145/800105.803406openalex-snapshot
Complexity of finitely presented algebras
inferredcites →https://doi.org/10.48550/arxiv.1707.09627openalex-snapshot
Learning to Infer Graphics Programs from Hand-Drawn Images
inferredcites →https://doi.org/10.48550/arxiv.1901.02875openalex-snapshot
Learning to Infer and Execute 3D Shape Programs
inferredcites →https://doi.org/10.48550/arxiv.2002.07951openalex-snapshot
SPORES: Sum-Product Optimization via Relational Equality Saturation for Large Scale Linear Algebra
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4578348openalex-extracted
Wasm-Mutate: Fast and Effective Binary Diversification for Webassembly
inferred← citeshttps://doi.org/10.1007/978-3-030-81688-9_6openalex-snapshot
Theory Exploration Powered by Deductive Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-031-09843-7_9openalex-snapshot
Computational Category-Theoretic Rewriting
inferred← citeshttps://doi.org/10.1007/978-3-031-37703-7_12openalex-snapshot
Incremental Dead State Detection in Logarithmic Time
inferred← citeshttps://doi.org/10.1007/978-3-031-37703-7_4openalex-snapshot
Fast Approximations of Quantifier Elimination
inferred← citeshttps://doi.org/10.1007/978-3-031-57246-3_9openalex-snapshot
CESAR: Control Envelope Synthesis via Angelic Refinements
inferred← citeshttps://doi.org/10.1007/978-3-031-66997-2_11openalex-snapshot
Transforming Optimization Problems into Disciplined Convex Programming Form
inferred← citeshttps://doi.org/10.1007/978-3-031-70055-2_17openalex-snapshot
The Inefficiency of Genetic Programming for Symbolic Regression
inferred← citeshttps://doi.org/10.1007/978-3-031-86695-1_4openalex-snapshot
PolySAT: Word-level Bit-vector Reasoning in Z3
inferred← citeshttps://doi.org/10.1007/978-3-031-98420-4_25openalex-snapshot
Buggy Rule Diagnosis for Combined Steps Through Final Answer Evaluation in Stepwise Tasks
inferred← citeshttps://doi.org/10.1007/978-3-031-98465-5_54openalex-snapshot
Combining Model Tracing and Constraint-Based Modeling for Multistep Strategy Diagnoses
inferred← citeshttps://doi.org/10.1007/978-3-031-98685-7_3openalex-snapshot
D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation
inferred← citeshttps://doi.org/10.1007/978-3-031-99984-0_18openalex-snapshot
Interoperability of Proof Systems with SC-TPTP
inferred← citeshttps://doi.org/10.1007/978-3-032-07106-4_3openalex-snapshot
Contextual Equality Saturation
inferred← citeshttps://doi.org/10.1007/s00778-024-00892-7openalex-snapshot
Optimizing navigational graph queries
inferred← citeshttps://doi.org/10.1007/s11432-024-4155-7openalex-snapshot
Large circuit models: opportunities and challenges
inferred← citeshttps://doi.org/10.1016/j.cose.2023.103296openalex-snapshot
WebAssembly diversification for malware evasion
inferred← citeshttps://doi.org/10.1016/j.cose.2024.103731openalex-snapshot
Wasm-Mutate: Fast and effective binary diversification for WebAssembly
inferred← citeshttps://doi.org/10.1038/s41467-024-50966-xopenalex-snapshot
Symbolic metaprogram search improves learning efficiency and explains rule learning in humans
inferred← citeshttps://doi.org/10.1109/arith54963.2022.00016openalex-snapshot
Automatic Datapath Optimization using E-Graphs
inferred← citeshttps://doi.org/10.1109/arith61463.2024.00014openalex-snapshot
Combining Power and Arithmetic Optimization via Datapath Rewriting
inferred← citeshttps://doi.org/10.1109/cgo57630.2024.10444787openalex-snapshot
A Tensor Algebra Compiler for Sparse Differentiation
inferred← citeshttps://doi.org/10.1109/cgo57630.2024.10444879openalex-snapshot
Latent Idiom Recognition for a Minimalist Functional Array Language Using Equality Saturation
inferred← citeshttps://doi.org/10.1109/dac56929.2023.10247797openalex-snapshot
Automating Constraint-Aware Datapath Optimization using E-Graphs
inferred← citeshttps://doi.org/10.1109/dac56929.2023.10247901openalex-snapshot
Automatic End-to-End Joint Optimization for Kernel Compilation on DSPs
inferred← citeshttps://doi.org/10.1109/dac56929.2023.10247948openalex-snapshot
Equality Saturation for Datapath Synthesis: A Pathway to Pareto Optimality
inferred← citeshttps://doi.org/10.1109/fccm53951.2022.9786123openalex-snapshot
IMpress: Large Integer Multiplication Expression Rewriting for FPGA HLS
inferred← citeshttps://doi.org/10.1109/fccm60383.2024.00055openalex-snapshot
Ph.D. Project: Compiler-Driven Hardware/Software Co- Design for Embedded AI
inferred← citeshttps://doi.org/10.1109/iccad57390.2023.10323906openalex-snapshot
WolFEx: Word-Level Function Extraction and Simplification from Gate-Level Arithmetic Circuits
inferred← citeshttps://doi.org/10.1109/iccv51070.2023.01447openalex-snapshot
Improving Unsupervised Visual Program Inference with Code Rewriting Families
inferred← citeshttps://doi.org/10.1109/icde53745.2022.00190openalex-snapshot
vChain+: Optimizing Verifiable Blockchain Boolean Range Queries
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00117openalex-snapshot
Verifying Data Constraint Equivalence in FinTech Systems
inferred← citeshttps://doi.org/10.1109/icst57152.2023.00035openalex-snapshot
Spectacular: Finding Laws from 25 Trillion Terms
inferred← citeshttps://doi.org/10.1109/ieeeconf59524.2023.10476812openalex-snapshot
Multiplier Optimization via E-Graph Rewriting
inferred← citeshttps://doi.org/10.1109/tse.2023.3271065openalex-snapshot
Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules
inferred← citeshttps://doi.org/10.1111/cgf.14775openalex-snapshot
Neurosymbolic Models for Computer Graphics
inferred← citeshttps://doi.org/10.1145/3445814.3446707openalex-snapshot
Vectorization for digital signal processors via equality saturation
inferred← citeshttps://doi.org/10.1145/3453483.3454030openalex-snapshot
Alive2: bounded translation validation for LLVM
inferred← citeshttps://doi.org/10.1145/3460945.3464953openalex-snapshot
Pure tensor program rewriting via access patterns (representation pearl)
inferred← citeshttps://doi.org/10.1145/3485496openalex-snapshot
Rewrite rule inference using equality saturation
inferred← citeshttps://doi.org/10.1145/3497776.3517781openalex-snapshot
Caviar: an e-graph based TRS for automatic code optimization
inferred← citeshttps://doi.org/10.1145/3508499openalex-snapshot
Co-Optimization of Design and Fabrication Plans for Carpentry
inferred← citeshttps://doi.org/10.1145/3511528.3511535openalex-snapshot
High-performance symbolic-numerics via multiple dispatch
inferred← citeshttps://doi.org/10.1145/3514221.3517827openalex-snapshot
Optimizing Recursive Queries with Progam Synthesis
inferred← citeshttps://doi.org/10.1145/3519939.3523711openalex-snapshot
WebRobot: web robotic process automation using interactive programming-by-demonstration
inferred← citeshttps://doi.org/10.1145/3519939.3523712openalex-snapshot
Synthesizing analytical SQL queries from computation demonstration
inferred← citeshttps://doi.org/10.1145/3520308.3534506openalex-snapshot
Synthesizing mathematical identities with e-graphs
inferred← citeshttps://doi.org/10.1145/3559009.3569664openalex-snapshot
Optimizing Regular Expressions via Rewrite-Guided Synthesis
inferred← citeshttps://doi.org/10.1145/3571207openalex-snapshot
babble: Learning Better Abstractions with E-Graphs and Anti-unification
inferred← citeshttps://doi.org/10.1145/3571234openalex-snapshot
Top-Down Synthesis for Library Learning
inferred← citeshttps://doi.org/10.1145/3571258openalex-snapshot
SSA Translation Is an Abstract Interpretation
inferred← citeshttps://doi.org/10.1145/3578356.3592577openalex-snapshot
MCTS-GEB: Monte Carlo Tree Search is a Good E-graph Builder
inferred← citeshttps://doi.org/10.1145/3582016.3582057openalex-snapshot
Coyote: A Compiler for Vectorizing Encrypted Arithmetic Circuits
inferred← citeshttps://doi.org/10.1145/3583131.3590346openalex-snapshot
Reducing Overparameterization of Symbolic Regression Models with Equality Saturation
inferred← citeshttps://doi.org/10.1145/3583781.3590239openalex-snapshot
ESFO: Equality Saturation for FIRRTL Optimization
inferred← citeshttps://doi.org/10.1145/3584684openalex-snapshot
Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems
inferred← citeshttps://doi.org/10.1145/3584684.3597272openalex-snapshot
Invited Paper: Initial Steps Toward a Compiler for Distributed Programs
inferred← citeshttps://doi.org/10.1145/3588717openalex-snapshot
Optimizing Tensor Programs on Flexible Storage
inferred← citeshttps://doi.org/10.1145/3589250openalex-snapshot
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
inferred← citeshttps://doi.org/10.1145/3589250.3596144openalex-snapshot
Combining E-Graphs with Abstract Interpretation
inferred← citeshttps://doi.org/10.1145/3591237openalex-snapshot
Loop Rerolling for Hardware Decompilation
inferred← citeshttps://doi.org/10.1145/3591239openalex-snapshot
Better Together: Unifying Datalog and Equality Saturation
inferred← citeshttps://doi.org/10.1145/3591254openalex-snapshot
Synthesizing Quantum-Circuit Optimizers
inferred← citeshttps://doi.org/10.1145/3591622openalex-snapshot
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search
inferred← citeshttps://doi.org/10.1145/3592416openalex-snapshot
ShapeCoder: Discovering Abstractions for Visual Programs from Unstructured Primitives
inferred← citeshttps://doi.org/10.1145/3617232.3624873openalex-snapshot
Automatic Generation of Vectorizing Compilers for Customizable Digital Signal Processors
inferred← citeshttps://doi.org/10.1145/3618305.3623595openalex-snapshot
Synthesizing Recursive Programs through Dataflow Constraints
inferred← citeshttps://doi.org/10.1145/3620665.3640392openalex-snapshot
SEER: Super-Optimization Explorer for High-Level Synthesis using E-graph Rewriting
inferred← citeshttps://doi.org/10.1145/3620666.3651348openalex-snapshot
Felix: Optimizing Tensor Programs with Gradient Descent
inferred← citeshttps://doi.org/10.1145/3622800openalex-snapshot
Synthesizing Efficient Memoization Algorithms
inferred← citeshttps://doi.org/10.1145/3622813openalex-snapshot
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
inferred← citeshttps://doi.org/10.1145/3622840openalex-snapshot
Bring Your Own Data Structures to Datalog
inferred← citeshttps://doi.org/10.1145/3622874openalex-snapshot
Explainable Program Synthesis by Localizing Specifications
inferred← citeshttps://doi.org/10.1145/3623278.3624768openalex-snapshot
Fast Instruction Selection for Fast Digital Signal Processing
inferred← citeshttps://doi.org/10.1145/3626202.3637563openalex-snapshot
Formal Verification of Source-to-Source Transformations for HLS
inferred← citeshttps://doi.org/10.1145/3629104.3666030openalex-snapshot
AquaLang: A Dataflow Programming Language
inferred← citeshttps://doi.org/10.1145/3632874openalex-snapshot
Implementation and Synthesis of Math Library Functions
inferred← citeshttps://doi.org/10.1145/3632894openalex-snapshot
Efficient Bottom-Up Synthesis for Programs with Local Variables
inferred← citeshttps://doi.org/10.1145/3632928openalex-snapshot
Flan: An Expressive and Efficient Datalog Compiler for Program Analysis
inferred← citeshttps://doi.org/10.1145/3639051openalex-snapshot
Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface
inferred← citeshttps://doi.org/10.1145/3650212.3680378openalex-snapshot
Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
inferred← citeshttps://doi.org/10.1145/3656019.3689611openalex-snapshot
Optimizing Tensor Computation Graphs with Equality Saturation and Monte Carlo Tree Search
inferred← citeshttps://doi.org/10.1145/3656445openalex-snapshot
SpEQ: Translation of Sparse Codes using Equivalences
inferred← citeshttps://doi.org/10.1145/3656453openalex-snapshot
Equivalence by Canonicalization for Synthesis-Backed Refactoring
inferred← citeshttps://doi.org/10.1145/3658644.3691382openalex-snapshot
Poster: E-Graphs and Equality Saturation for Term-Rewriting in MBA Deobfuscation: An Empirical Study
inferred← citeshttps://doi.org/10.1145/3669940.3707262openalex-snapshot
SmoothE: Differentiable E-Graph Extraction
inferred← citeshttps://doi.org/10.1145/3669940.3707277openalex-snapshot
Target-Aware Implementation of Real Expressions
inferred← citeshttps://doi.org/10.1145/3674653openalex-snapshot
CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs
inferred← citeshttps://doi.org/10.1145/3689484.3690739openalex-snapshot
Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of Optimizing Compilers
inferred← citeshttps://doi.org/10.1145/3689609.3689994openalex-snapshot
C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”
inferred← citeshttps://doi.org/10.1145/3689741openalex-snapshot
CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
inferred← citeshttps://doi.org/10.1145/3689757openalex-snapshot
PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
inferred← citeshttps://doi.org/10.1145/3689801openalex-snapshot
Fast and Optimal Extraction for Sparse Equality Graphs
inferred← citeshttps://doi.org/10.1145/3694906.3743310openalex-snapshot
RACE: Operator Choreography for Inference Acceleration in Personalized Recommender System
inferred← citeshttps://doi.org/10.1145/3696443.3708934openalex-snapshot
Pattern Matching in AI Compilers and Its Formalization
inferred← citeshttps://doi.org/10.1145/3696443.3708957openalex-snapshot
DialEgg: Dialect-Agnostic MLIR Optimizer using Equality Saturation with Egglog
inferred← citeshttps://doi.org/10.1145/3712256.3726383openalex-snapshot
Improving Genetic Programming for Symbolic Regression with Equality Graphs
inferred← citeshttps://doi.org/10.1145/3712256.3726385openalex-snapshot
rEGGression: an Interactive and Agnostic Tool for the Exploration of Symbolic Regression Models
inferred← citeshttps://doi.org/10.1145/3716368.3735192openalex-snapshot
Alchemy : A Methodology for Scalable RTL Design Space Exploration
inferred← citeshttps://doi.org/10.1145/3720474openalex-snapshot
KestRel: Relational Verification using E-Graphs for Program Alignment
inferred← citeshttps://doi.org/10.1145/3729254openalex-snapshot
Relaxing Alias Analysis: Exploring the Unexplored Space
inferred← citeshttps://doi.org/10.1145/3729258openalex-snapshot
Circuit Optimization using Arithmetic Table Lookups
inferred← citeshttps://doi.org/10.1145/3729262openalex-snapshot
Task-Based Tensor Computations on Modern GPUs
inferred← citeshttps://doi.org/10.1145/3729326openalex-snapshot
Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs
inferred← citeshttps://doi.org/10.1145/3763052openalex-snapshot
Pyrosome: Verified Compilation for Modular Metatheory
inferred← citeshttps://doi.org/10.1145/3763062openalex-snapshot
Mind the Abstraction Gap: Bringing Equality Saturation to Real-World ML Compilers
inferred← citeshttps://doi.org/10.1145/3763093openalex-snapshot
Validating SMT Rewriters via Rewrite Space Exploration Supported by Generative Equality Saturation
inferred← citeshttps://doi.org/10.1145/3763137openalex-snapshot
Cost of Soundness in Mixed-Precision Tuning
inferred← citeshttps://doi.org/10.1145/3763162openalex-snapshot
HieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical Space Decomposition
inferred← citeshttps://doi.org/10.14778/3611540.3611635openalex-snapshot
Towards Auto-Generated Data Systems
inferred← citeshttps://doi.org/10.14778/3681954.3681986openalex-snapshot
Efficient Enumeration of Recursive Plans in Transformation-Based Query Optimizers
inferred← citeshttps://doi.org/10.14778/3712221.3712232openalex-snapshot
Datalog with First-Class Facts
inferred← citeshttps://doi.org/10.21105/joss.03078openalex-snapshot
Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation
inferred← citeshttps://doi.org/10.22323/1.396.0431openalex-snapshot
Novel Algorithms for Computing Correlation Functions of Nuclei
inferred← citeshttps://doi.org/10.31274/td-20240617-24openalex-snapshot
Dynamic set reasoning: Specifying and optimizing monitor encodings
inferred← citeshttps://doi.org/10.46298/lmcs-19(1:19)2023openalex-snapshot
Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties
inferred← citeshttps://doi.org/10.48550/arxiv.2107.12568openalex-snapshot
Version Space Algebras are Acyclic Tree Automata
inferred← citeshttps://doi.org/10.48550/arxiv.2309.09112openalex-snapshot
Rewriting History: Repurposing Domain-Specific CGRAs
inferred← citeshttps://doi.org/10.48550/arxiv.2311.02833openalex-snapshot
CESAR: Control Envelope Synthesis via Angelic Refinements
inferred← citeshttps://doi.org/10.5821/dissertation-2117-409990openalex-snapshot
Advancing the state of the art of directive-based programming for GPUs: runtime and compilation
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.