Buchumschlag

Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kaufman, Samuel J., Just, René, Bodik, Rastislav
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages Machine Learning D.1.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Ember: A Compiler for Efficient Embedding Operations on Decoupled Access-Execute Architectures
von: Siracusa, Marco, et al.
Veröffentlicht: (2025)

SpaDA: A Spatial Dataflow Architecture Programming Language
von: Gianinazzi, Lukas, et al.
Veröffentlicht: (2025)

Compiler Testing With Relaxed Memory Models
von: Geeson, Luke, et al.
Veröffentlicht: (2023)

Weak Memory Demands Model-based Compiler Testing
von: Geeson, Luke
Veröffentlicht: (2024)

Inside VOLT: Designing an Open-Source GPU Compiler
von: Jeong, Shinnung, et al.
Veröffentlicht: (2025)

Modular GPU Programming with Typed Perspectives
von: Bansal, Manya, et al.
Veröffentlicht: (2025)

PVLens: Enhancing Pharmacovigilance Through Automated Label Extraction
von: Painter, Jeffery L, et al.
Veröffentlicht: (2025)

TensorRight: Automated Verification of Tensor Graph Rewrites
von: Arora, Jai, et al.
Veröffentlicht: (2025)

Weak Memory Model Formalisms: Introduction and Survey
von: Su, Roger C., et al.
Veröffentlicht: (2025)

Memory-Efficient Training with In-Place FFT Implementation
von: Ding, Xinyu, et al.
Veröffentlicht: (2025)

The Future of AI-Driven Software Engineering
von: Terragni, Valerio, et al.
Veröffentlicht: (2024)

Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures
von: Leonhart, Emma
Veröffentlicht: (2026)

The Syntax and Semantics of einsum
von: Wenig, Maurice, et al.
Veröffentlicht: (2025)

CUDABeaver: Benchmarking LLM-Based Automated CUDA Debugging
von: Li, Shiyang, et al.
Veröffentlicht: (2026)

Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
von: Lahiri, Shuvendu K.
Veröffentlicht: (2024)

ExVerus: Verus Proof Repair via Counterexample Reasoning
von: Yang, Jun, et al.
Veröffentlicht: (2026)

Parameterized Verification of Timed Networks with Clock Invariants
von: André, Étienne, et al.
Veröffentlicht: (2024)

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
von: Parrinha, Francisco, et al.
Veröffentlicht: (2026)

ACPO: AI-Enabled Compiler Framework
von: Ashouri, Amir H., et al.
Veröffentlicht: (2023)

Relational Reactive Programming: miniKanren for the Web
von: Donahue, Evan
Veröffentlicht: (2024)

Multifidelity Surrogate Models: A New Data Fusion Perspective
von: Wilke, Daniel N
Veröffentlicht: (2024)

Rational Gaussian wavelets and corresponding model driven neural networks
von: Ámon, Attila Miklós, et al.
Veröffentlicht: (2025)

Verified VCG and Verified Compiler for Dafny
von: Nezamabadi, Daniel, et al.
Veröffentlicht: (2025)

Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering
von: Ashouri, Amir H., et al.
Veröffentlicht: (2026)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
von: Gross, Jason, et al.
Veröffentlicht: (2022)

Compressed code: the hidden effects of quantization and distillation on programming tokens
von: Siniaev, Viacheslav, et al.
Veröffentlicht: (2026)

The Path Not Taken: Duality in Reasoning about Program Execution
von: Hasanov, Eshgin, et al.
Veröffentlicht: (2026)

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
von: Shetty, Manish, et al.
Veröffentlicht: (2024)

NES: An Instruction-Free, Low-Latency Next Edit Suggestion Framework Powered by Learned Historical Editing Trajectories
von: Chen, Xinfang, et al.
Veröffentlicht: (2025)

Homeostasis: Design and Implementation of a Self-Stabilizing Compiler
von: Nougrahiya, Aman, et al.
Veröffentlicht: (2021)

Sharing Analysis in the Pawns Compiler
von: Naish, Lee
Veröffentlicht: (2024)

Optimizing Large Language Models for OpenAPI Code Completion
von: Petryshyn, Bohdan, et al.
Veröffentlicht: (2024)

Quantitative Verification of Omega-regular Properties in Probabilistic Programming
von: Wang, Peixin, et al.
Veröffentlicht: (2025)

Braced Fourier Continuation and Regression for Anomaly Detection
von: Sabuda, Josef
Veröffentlicht: (2024)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
von: Suwa, Takashi, et al.
Veröffentlicht: (2026)

A System Level Compiler for Massively-Parallel, Spatial, Dataflow Architectures
von: Van Essendelft, Dirk, et al.
Veröffentlicht: (2025)

Polymorphic Bottom-Up Weighted Relational Programming
von: Volkov, Dmitri
Veröffentlicht: (2026)

Dynamic Race Detection With O(1) Samples
von: Thokair, Mosaad Al, et al.
Veröffentlicht: (2025)

Simple Modal Types for Functional Reactive Programming
von: Bahr, Patrick
Veröffentlicht: (2025)

A DbC Inspired Neurosymbolic Layer for Trustworthy Agent Design
von: Leoveanu-Condrei, Claudiu
Veröffentlicht: (2025)