Buchumschlag

E-Graphs as a Persistent Compiler Abstraction

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Merckx, Jules, Lopoukhine, Alexandre, Coward, Samuel, Cheng, Jianyi, De Sutter, Bjorn, Grosser, Tobias
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
von: Merckx, Jules, et al.
Veröffentlicht: (2025)

Equality Saturation for Optimizing High-Level Julia IR
von: Merckx, Jules, et al.
Veröffentlicht: (2025)

Building Bridges: Julia as an MLIR Frontend
von: Merckx, Jules
Veröffentlicht: (2025)

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

Sidekick compilation with xDSL
von: Fehr, Mathieu, et al.
Veröffentlicht: (2023)

Verifying Peephole Rewriting In SSA Compiler IRs
von: Bhat, Siddharth, et al.
Veröffentlicht: (2024)

WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
von: Kang, Byeongjee, et al.
Veröffentlicht: (2025)

Strided Difference Bound Matrices
von: Pitchanathan, Arjun, et al.
Veröffentlicht: (2024)

TPDE: A Fast Adaptable Compiler Back-End Framework
von: Schwarz, Tobias, et al.
Veröffentlicht: (2025)

Event Tensor: A Unified Abstraction for Compiling Dynamic Megakernel
von: Jin, Hongyi, et al.
Veröffentlicht: (2026)

Compressing Structured Tensor Algebra
von: Ghorbani, Mahdi, et al.
Veröffentlicht: (2024)

Compiler support for semi-manual AoS-to-SoA conversions with data views
von: Radtke, Pawel K., et al.
Veröffentlicht: (2024)

Abstraction Functions as Types
von: Grodin, Harrison, et al.
Veröffentlicht: (2025)

Denotation-based Compositional Compiler Verification
von: Cheng, Zhang, et al.
Veröffentlicht: (2024)

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
von: DeLorenzo, Matthew, et al.
Veröffentlicht: (2025)

Axe: A Simple Unified Layout Abstraction for Machine Learning Compilers
von: Hou, Bohan, et al.
Veröffentlicht: (2026)

Enhancing Compiler Optimization Efficiency through Grammatical Decompositions of Control-Flow Graphs
von: Cai, Xuran
Veröffentlicht: (2025)

The CoCompiler: DSL Lifting via Relational Compilation
von: Spargo, Naomi, et al.
Veröffentlicht: (2025)

Compiling with Arrays
von: Richter, David, et al.
Veröffentlicht: (2024)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2024)

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
von: Rinard, Martin
Veröffentlicht: (2026)

Contextual MetaML: Syntax and Full Abstraction
von: Yin, Haoxuan, et al.
Veröffentlicht: (2026)

The Continuous Tensor Abstraction: Where Indices are Real
von: Won, Jaeyeon, et al.
Veröffentlicht: (2024)

Mirage Persistent Kernel: A Compiler and Runtime for Mega-Kernelizing Tensor Programs
von: Cheng, Xinhao, et al.
Veröffentlicht: (2025)

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code
von: Rinard, Martin
Veröffentlicht: (2026)

Modeling Layout Abstractions Using Integer Set Relations
von: Bhaskaracharya, Somashekaracharya G, et al.
Veröffentlicht: (2025)

CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports
von: Pirkelbauer, Peter, et al.
Veröffentlicht: (2025)

Compilation Semantics for a Programming Language with Versions
von: Tanabe, Yudai, et al.
Veröffentlicht: (2023)

Compilation as Multi-Language Semantics
von: Bowman, William J.
Veröffentlicht: (2025)

Compiling Gradual Types with Evidence
von: Romero, José Luis, et al.
Veröffentlicht: (2025)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
von: Izawa, Yusuke, et al.
Veröffentlicht: (2025)

Collective Allocator Abstraction to Control Object Spatial Locality in C++
von: Hideshima, Takato, et al.
Veröffentlicht: (2024)

StacKAT: Infinite State Network Verification
von: Jacobs, Jules, et al.
Veröffentlicht: (2025)

CompilerDream: Learning a Compiler World Model for General Code Optimization
von: Deng, Chaoyi, et al.
Veröffentlicht: (2024)

Compilation of Modular and General Sparse Workspaces
von: Zhang, Genghan, et al.
Veröffentlicht: (2024)

Partial Evaluation, Whole-Program Compilation
von: Fallin, Chris, et al.
Veröffentlicht: (2024)

Pyrosome: Verified Compilation for Modular Metatheory
von: Jamner, Dustin, et al.
Veröffentlicht: (2025)

An Optimizing Just-In-Time Compiler for Rotor
von: Trindade, João H., et al.
Veröffentlicht: (2024)

Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2026)

Abstractions of Sequences, Functions and Operators
von: Rustenholz, Louis, et al.
Veröffentlicht: (2025)