:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Albakri, Hossein, Cheshmi, Kazem
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2506.15174
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Improving Locality in Sparse and Dense Matrix Multiplications
by: Dezfuli, Mohammad Mahdi Salehi, et al.
Published: (2024)

Floating-Point Data Transformation for Lossless Compression
by: Jamalidinan, Samirasadat, et al.
Published: (2025)

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

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

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
by: Mahathevan, Kabilan, et al.
Published: (2026)

Transformers are Efficient Compilers, Provably
by: Zhai, Xiyu, et al.
Published: (2024)

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

Offline Imitation Learning from Multiple Baselines with Applications to Compiler Optimization
by: Marinov, Teodor V., et al.
Published: (2024)

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
by: Ates, Berke, et al.
Published: (2026)

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

Compiling with Arrays
by: Richter, David, et al.
Published: (2024)

SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
by: van der Wall, Sören, et al.
Published: (2024)

Enhancing Translation Validation of Compiler Transformations with Large Language Models
by: Wang, Yanzhao, et al.
Published: (2024)

Scaling Worst-Case Optimal Datalog to GPUs
by: Sun, Yihao, et al.
Published: (2026)

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

LTL learning on GPUs
by: Valizadeh, Mojtaba, et al.
Published: (2024)

FuseFlow: A Fusion-Centric Compilation Framework for Sparse Deep Learning on Streaming Dataflow
by: Lacouture, Rubens, et al.
Published: (2025)

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

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
by: Szabo, Violet, et al.
Published: (2024)

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

Transforming C++11 Code to C++03 to Support Legacy Compilation Environments
by: Antal, Gábor, et al.
Published: (2024)

Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression
by: Kaufman, Samuel J., et al.
Published: (2025)

Compilation as Multi-Language Semantics
by: Bowman, William J.
Published: (2025)

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

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

Magellan: Autonomous Discovery of Novel Compiler Optimization Heuristics with AlphaEvolve
by: Chen, Hongzheng, et al.
Published: (2026)

Hercules: A Compiler for Productive Programming of Heterogeneous Systems
by: Arbore, Russel, et al.
Published: (2025)

Pyrosome: Verified Compilation for Modular Metatheory
by: Jamner, Dustin, et al.
Published: (2025)

Partial Evaluation, Whole-Program Compilation
by: Fallin, Chris, et al.
Published: (2024)

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

An Optimizing Just-In-Time Compiler for Rotor
by: Trindade, João H., et al.
Published: (2024)

The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
by: Zhang, Shuoming, et al.
Published: (2026)

Meta Large Language Model Compiler: Foundation Models of Compiler Optimization
by: Cummins, Chris, et al.
Published: (2024)

Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs
by: Zhao, Yifan, et al.
Published: (2025)

A Compiler for Operations on Relations with Bag Semantics
by: Dong, James, et al.
Published: (2025)

A Verified Compiler for Quantum Simulation
by: Li, Liyi, et al.
Published: (2025)

Compiling to recurrent neurons
by: Velez-Ginorio, Joey, et al.
Published: (2025)

Compiling to linear neurons
by: Velez-Ginorio, Joey, et al.
Published: (2025)

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

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
by: Ma, Zhiyao, et al.
Published: (2025)