Copertina

Compilation of Modular and General Sparse Workspaces

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhang, Genghan, Hsu, Olivia, Kjolstad, Fredrik
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Compiling with Arrays
di: Richter, David, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

Compilation as Multi-Language Semantics
di: Bowman, William J.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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