:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kaufman, Samuel J., Just, René, Bodik, Rastislav
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages Machine Learning D.1.2
Accès en ligne:	https://arxiv.org/abs/2505.01637
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

SpaDA: A Spatial Dataflow Architecture Programming Language
par: Gianinazzi, Lukas, et autres
Publié: (2025)

Compiler Testing With Relaxed Memory Models
par: Geeson, Luke, et autres
Publié: (2023)

Weak Memory Demands Model-based Compiler Testing
par: Geeson, Luke
Publié: (2024)

Inside VOLT: Designing an Open-Source GPU Compiler
par: Jeong, Shinnung, et autres
Publié: (2025)

Modular GPU Programming with Typed Perspectives
par: Bansal, Manya, et autres
Publié: (2025)

PVLens: Enhancing Pharmacovigilance Through Automated Label Extraction
par: Painter, Jeffery L, et autres
Publié: (2025)

TensorRight: Automated Verification of Tensor Graph Rewrites
par: Arora, Jai, et autres
Publié: (2025)

Weak Memory Model Formalisms: Introduction and Survey
par: Su, Roger C., et autres
Publié: (2025)

Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures
par: Leonhart, Emma
Publié: (2026)

The Future of AI-Driven Software Engineering
par: Terragni, Valerio, et autres
Publié: (2024)

CUDABeaver: Benchmarking LLM-Based Automated CUDA Debugging
par: Li, Shiyang, et autres
Publié: (2026)

The Syntax and Semantics of einsum
par: Wenig, Maurice, et autres
Publié: (2025)

Memory-Efficient Training with In-Place FFT Implementation
par: Ding, Xinyu, et autres
Publié: (2025)

Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
par: Lahiri, Shuvendu K.
Publié: (2024)

ACPO: AI-Enabled Compiler Framework
par: Ashouri, Amir H., et autres
Publié: (2023)

Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering
par: Ashouri, Amir H., et autres
Publié: (2026)

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
par: Parrinha, Francisco, et autres
Publié: (2026)

Multifidelity Surrogate Models: A New Data Fusion Perspective
par: Wilke, Daniel N
Publié: (2024)

ExVerus: Verus Proof Repair via Counterexample Reasoning
par: Yang, Jun, et autres
Publié: (2026)

Compressed code: the hidden effects of quantization and distillation on programming tokens
par: Siniaev, Viacheslav, et autres
Publié: (2026)

The Path Not Taken: Duality in Reasoning about Program Execution
par: Hasanov, Eshgin, et autres
Publié: (2026)

Parameterized Verification of Timed Networks with Clock Invariants
par: André, Étienne, et autres
Publié: (2024)

Optimizing Large Language Models for OpenAPI Code Completion
par: Petryshyn, Bohdan, et autres
Publié: (2024)

Quantitative Verification of Omega-regular Properties in Probabilistic Programming
par: Wang, Peixin, et autres
Publié: (2025)

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
par: Shetty, Manish, et autres
Publié: (2024)

Rational Gaussian wavelets and corresponding model driven neural networks
par: Ámon, Attila Miklós, et autres
Publié: (2025)

Verified VCG and Verified Compiler for Dafny
par: Nezamabadi, Daniel, et autres
Publié: (2025)

NES: An Instruction-Free, Low-Latency Next Edit Suggestion Framework Powered by Learned Historical Editing Trajectories
par: Chen, Xinfang, et autres
Publié: (2025)

Relational Reactive Programming: miniKanren for the Web
par: Donahue, Evan
Publié: (2024)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
par: Gross, Jason, et autres
Publié: (2022)

A System Level Compiler for Massively-Parallel, Spatial, Dataflow Architectures
par: Van Essendelft, Dirk, et autres
Publié: (2025)

Braced Fourier Continuation and Regression for Anomaly Detection
par: Sabuda, Josef
Publié: (2024)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
par: Suwa, Takashi, et autres
Publié: (2026)

Homeostasis: Design and Implementation of a Self-Stabilizing Compiler
par: Nougrahiya, Aman, et autres
Publié: (2021)

A DbC Inspired Neurosymbolic Layer for Trustworthy Agent Design
par: Leoveanu-Condrei, Claudiu
Publié: (2025)

BRIDGE: Building Representations In Domain Guided Program Synthesis
par: George, Robert Joseph, et autres
Publié: (2025)

The $μ\mathcal{G}$ Language for Programming Graph Neural Networks
par: Belenchia, Matteo, et autres
Publié: (2024)

Sharing Analysis in the Pawns Compiler
par: Naish, Lee
Publié: (2024)

Polymorphic Bottom-Up Weighted Relational Programming
par: Volkov, Dmitri
Publié: (2026)