:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Merckx, Jules, Lopoukhine, Alexandre, Coward, Samuel, Cheng, Jianyi, De Sutter, Bjorn, Grosser, Tobias
Formato:	Preprint
Publicado:	2026
Materias:	Programming Languages
Acceso en línea:	https://arxiv.org/abs/2602.16707
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

Building Bridges: Julia as an MLIR Frontend
por: Merckx, Jules
Publicado: (2025)

Sidekick compilation with xDSL
por: Fehr, Mathieu, et al.
Publicado: (2023)

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

WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
por: Kang, Byeongjee, et al.
Publicado: (2025)

Strided Difference Bound Matrices
por: Pitchanathan, Arjun, et al.
Publicado: (2024)

Compressing Structured Tensor Algebra
por: Ghorbani, Mahdi, et al.
Publicado: (2024)

Event Tensor: A Unified Abstraction for Compiling Dynamic Megakernel
por: Jin, Hongyi, et al.
Publicado: (2026)

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

Axe: A Simple Unified Layout Abstraction for Machine Learning Compilers
por: Hou, Bohan, et al.
Publicado: (2026)

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

Abstraction Functions as Types
por: Grodin, Harrison, et al.
Publicado: (2025)

Denotation-based Compositional Compiler Verification
por: Cheng, Zhang, et al.
Publicado: (2024)

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
por: DeLorenzo, Matthew, et al.
Publicado: (2025)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
por: De Angelis, Emanuele, et al.
Publicado: (2024)

Mirage Persistent Kernel: A Compiler and Runtime for Mega-Kernelizing Tensor Programs
por: Cheng, Xinhao, et al.
Publicado: (2025)

The CoCompiler: DSL Lifting via Relational Compilation
por: Spargo, Naomi, et al.
Publicado: (2025)

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

Compiling with Arrays
por: Richter, David, et al.
Publicado: (2024)

Contextual MetaML: Syntax and Full Abstraction
por: Yin, Haoxuan, et al.
Publicado: (2026)

The Continuous Tensor Abstraction: Where Indices are Real
por: Won, Jaeyeon, et al.
Publicado: (2024)

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

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
por: Rinard, Martin
Publicado: (2026)

StacKAT: Infinite State Network Verification
por: Jacobs, Jules, et al.
Publicado: (2025)

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code
por: Rinard, Martin
Publicado: (2026)

Modeling Layout Abstractions Using Integer Set Relations
por: Bhaskaracharya, Somashekaracharya G, et al.
Publicado: (2025)

Compilation Semantics for a Programming Language with Versions
por: Tanabe, Yudai, et al.
Publicado: (2023)

CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports
por: Pirkelbauer, Peter, et al.
Publicado: (2025)

Abstractions of Sequences, Functions and Operators
por: Rustenholz, Louis, et al.
Publicado: (2025)

CompilerDream: Learning a Compiler World Model for General Code Optimization
por: Deng, Chaoyi, et al.
Publicado: (2024)

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

Collective Allocator Abstraction to Control Object Spatial Locality in C++
por: Hideshima, Takato, et al.
Publicado: (2024)

Compilation as Multi-Language Semantics
por: Bowman, William J.
Publicado: (2025)

Compiling Gradual Types with Evidence
por: Romero, José Luis, et al.
Publicado: (2025)

Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
por: Finkbeiner, Bernd, et al.
Publicado: (2026)

Compiler-supported reduced precision and AoS-SoA transformations for heterogeneous hardware
por: Radtke, Pawel K., et al.
Publicado: (2025)

Canonical bidirectional typechecking
por: Mihejevs, Zanzi, et al.
Publicado: (2025)

Compilation of Modular and General Sparse Workspaces
por: Zhang, Genghan, et al.
Publicado: (2024)