Rewrite System Showdown: Stochastic Search vs. EqSat

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hong, Qiantan, Soi, Rupanshu, Zhang, Yihong, Aiken, Alex
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

Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs
by: Soi, Rupanshu, et al.
Published: (2025)

Task-Based Tensor Computations on Modern GPUs
by: Yadav, Rohan, et al.
Published: (2025)

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

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

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

Equivalence Checking of ML GPU Kernels
by: Dubey, Kshitij, et al.
Published: (2025)

Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi
by: Tei, Kayo, 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)

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)

Semantic foundations of equality saturation
by: Suciu, Dan, et al.
Published: (2025)

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

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

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

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
by: Wei, Anjiang, et al.
Published: (2025)

Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language
by: Zhang, Yihong, et al.
Published: (2025)

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

Mapple: A Domain-Specific Language for Mapping Distributed Programs
by: Wei, Anjiang, et al.
Published: (2025)

SuperCoder: Assembly Program Superoptimization with Large Language Models
by: Wei, Anjiang, et al.
Published: (2025)

TypeDis: A Type System for Disentanglement
by: Moine, Alexandre, et al.
Published: (2025)

How Programming Concepts and Neurons Are Shared in Code Language Models
by: Kargaran, Amir Hossein, et al.
Published: (2025)

On the Duality of Task and Actor Programming Models
by: Yadav, Rohan, et al.
Published: (2025)

The Search for Constrained Random Generators
by: Goldstein, Harrison, et al.
Published: (2025)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
by: Wei, Anjiang, et al.
Published: (2025)

Tensor Network Structure Search with Program Synthesis
by: Guo, Zheng, et al.
Published: (2025)

Heap vs. Stack: Analyzing Memory Allocations in C and C++ Open Source Software
by: Korostinskiy, Roman, et al.
Published: (2024)

SUQL: Conversational Search over Structured and Unstructured Data with Large Language Models
by: Liu, Shicheng, et al.
Published: (2023)

A Coq implementation of a Theory of Tagged Objects
by: Gates, Matthew, et al.
Published: (2025)

Imperative vs. Declarative Programming Paradigms for Open-Universe Scene Generation
by: Gumin, Maxim, et al.
Published: (2025)

Lessons Learned So Far From a Community Effort to Verify the Rust Standard Library (work-in-progress)
by: Blanc, Alex Le, et al.
Published: (2025)

Surveying the Rust Verification Landscape
by: Blanc, Alex Le, et al.
Published: (2024)

TensorRight: Automated Verification of Tensor Graph Rewrites
by: Arora, Jai, et al.
Published: (2025)

Visualizing miniKanren Search with a Fine-Grained Small-Step Semantics
by: Pfingsten, Brysen, et al.
Published: (2025)

EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
by: Wei, Anjiang, et al.
Published: (2025)

Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs
by: Britton, Matthew, et al.
Published: (2026)

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
by: Liu, Yuchen, et al.
Published: (2025)

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