Imagen de Portada

Compilation of Modular and General Sparse Workspaces

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zhang, Genghan, Hsu, Olivia, Kjolstad, Fredrik
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

Deegen: A JIT-Capable VM Generator for Dynamic Languages
por: Xu, Haoran, et al.
Publicado: (2024)

Cyclotron: Compilation of Recurrences to Distributed and Systolic Architectures
por: Sundram, Shiv, et al.
Publicado: (2025)

Decoupling Data Layouts from Bounding Volume Hierarchies
por: Gyurgyik, Christophe, et al.
Publicado: (2025)

Bonsai: Compiling Queries to Pruned Tree Traversals
por: Root, Alexander J, et al.
Publicado: (2025)

Partitioning Unstructured Sparse Tensor Algebra for Load-Balanced Parallel Execution
por: Chougule, Atharva, et al.
Publicado: (2026)

Scorch: A Library for Sparse Deep Learning
por: Yan, Bobby, et al.
Publicado: (2024)

Fast Collection Operations from Indexed Stream Fusion
por: Kovach, Scott, et al.
Publicado: (2025)

Ember: A Compiler for Efficient Embedding Operations on Decoupled Access-Execute Architectures
por: Siracusa, Marco, et al.
Publicado: (2025)

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

Streaming Tensor Programs: A Streaming Abstraction for Dynamic Parallelism
por: Sohn, Gina, et al.
Publicado: (2025)

Adaptive Self-improvement LLM Agentic System for ML Library Development
por: Zhang, Genghan, et al.
Publicado: (2025)

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

Modular Compilation for Quantum Chiplet Architectures
por: Jeng, Mingyoung Jessica, et al.
Publicado: (2025)

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

A Novel Compiler Transformation for Fast Sparse Matrix Multiplication in GPUs
por: Albakri, Hossein, et al.
Publicado: (2025)

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

Developing a Modular Compiler for a Subset of a C-like Language
por: Dutta, Debasish, et al.
Publicado: (2025)

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

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

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

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

Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
por: Ma, Haoyang, et al.
Publicado: (2025)

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

Generating Compilers for Qubit Mapping and Routing
por: Molavi, Abtin, et al.
Publicado: (2025)

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

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

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

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
por: Paraskevopoulou, Zoe
Publicado: (2026)

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

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

Accurate Coverage Metrics for Compiler-Generated Debugging Information
por: Stinnett, J. Ryan, et al.
Publicado: (2024)

Generation of Compiler Backends from Formal Models of Hardware
por: Smith, Gus Henry
Publicado: (2024)

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

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

Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
por: Rossi, Roberto, et al.
Publicado: (2026)

E-Graphs as a Persistent Compiler Abstraction
por: Merckx, Jules, et al.
Publicado: (2026)

Prime Path Coverage in the GNU Compiler Collection
por: Kvalsvik, Jørgen
Publicado: (2025)

Macro-embedding Compiler Intermediate Languages in Racket
por: Bowman, William J.
Publicado: (2025)