:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhang, Genghan, Hsu, Olivia, Kjolstad, Fredrik
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages
Accès en ligne:	https://arxiv.org/abs/2404.04541
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Compiler for Operations on Relations with Bag Semantics
par: Dong, James, et autres
Publié: (2025)

FuseFlow: A Fusion-Centric Compilation Framework for Sparse Deep Learning on Streaming Dataflow
par: Lacouture, Rubens, et autres
Publié: (2025)

Deegen: A JIT-Capable VM Generator for Dynamic Languages
par: Xu, Haoran, et autres
Publié: (2024)

Cyclotron: Compilation of Recurrences to Distributed and Systolic Architectures
par: Sundram, Shiv, et autres
Publié: (2025)

Decoupling Data Layouts from Bounding Volume Hierarchies
par: Gyurgyik, Christophe, et autres
Publié: (2025)

Bonsai: Compiling Queries to Pruned Tree Traversals
par: Root, Alexander J, et autres
Publié: (2025)

Scorch: A Library for Sparse Deep Learning
par: Yan, Bobby, et autres
Publié: (2024)

Partitioning Unstructured Sparse Tensor Algebra for Load-Balanced Parallel Execution
par: Chougule, Atharva, et autres
Publié: (2026)

Ember: A Compiler for Efficient Embedding Operations on Decoupled Access-Execute Architectures
par: Siracusa, Marco, et autres
Publié: (2025)

Fast Collection Operations from Indexed Stream Fusion
par: Kovach, Scott, et autres
Publié: (2025)

Streaming Tensor Programs: A Streaming Abstraction for Dynamic Parallelism
par: Sohn, Gina, et autres
Publié: (2025)

Adaptive Self-improvement LLM Agentic System for ML Library Development
par: Zhang, Genghan, et autres
Publié: (2025)

Pyrosome: Verified Compilation for Modular Metatheory
par: Jamner, Dustin, et autres
Publié: (2025)

On the Duality of Task and Actor Programming Models
par: Yadav, Rohan, et autres
Publié: (2025)

Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs
par: Soi, Rupanshu, et autres
Publié: (2025)

Modular Compilation for Quantum Chiplet Architectures
par: Jeng, Mingyoung Jessica, et autres
Publié: (2025)

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
par: Mahathevan, Kabilan, et autres
Publié: (2026)

A Novel Compiler Transformation for Fast Sparse Matrix Multiplication in GPUs
par: Albakri, Hossein, et autres
Publié: (2025)

Developing a Modular Compiler for a Subset of a C-like Language
par: Dutta, Debasish, et autres
Publié: (2025)

CompilerDream: Learning a Compiler World Model for General Code Optimization
par: Deng, Chaoyi, et autres
Publié: (2024)

The CoCompiler: DSL Lifting via Relational Compilation
par: Spargo, Naomi, et autres
Publié: (2025)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
par: Izawa, Yusuke, et autres
Publié: (2025)

Generating Compilers for Qubit Mapping and Routing
par: Molavi, Abtin, et autres
Publié: (2025)

Compiling with Arrays
par: Richter, David, et autres
Publié: (2024)

Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
par: Ma, Haoyang, et autres
Publié: (2025)

Denotation-based Compositional Compiler Verification
par: Cheng, Zhang, et autres
Publié: (2024)

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
par: Rinard, Martin
Publié: (2026)

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

CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports
par: Pirkelbauer, Peter, et autres
Publié: (2025)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
par: Stinnett, J. Ryan, et autres
Publié: (2024)

Generation of Compiler Backends from Formal Models of Hardware
par: Smith, Gus Henry
Publié: (2024)

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
par: Paraskevopoulou, Zoe
Publié: (2026)

Compilation as Multi-Language Semantics
par: Bowman, William J.
Publié: (2025)

Compiling Gradual Types with Evidence
par: Romero, José Luis, et autres
Publié: (2025)

LEGO-Compiler: Enhancing Neural Compilation Through Translation Composability
par: Zhang, Shuoming, et autres
Publié: (2025)

The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
par: Zhang, Shuoming, et autres
Publié: (2026)

Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
par: Rossi, Roberto, et autres
Publié: (2026)

Partial Evaluation, Whole-Program Compilation
par: Fallin, Chris, et autres
Publié: (2024)

An Optimizing Just-In-Time Compiler for Rotor
par: Trindade, João H., et autres
Publié: (2024)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
par: Szabo, Violet, et autres
Publié: (2024)