:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhao, Yifan, Johnson, Egan, Chatarasi, Prasanth, Adve, Vikram, Misailovic, Sasa
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages Machine Learning
Online-Zugang:	https://arxiv.org/abs/2510.08726
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Nautilus: An Auto-Scheduling Tensor Compiler for Efficient Tiled GPU Kernels
von: Zhao, Yifan, et al.
Veröffentlicht: (2026)

RefineStat: Efficient Exploration for Probabilistic Program Synthesis
von: Kanda, Madhav, et al.
Veröffentlicht: (2025)

CRANE: Reasoning with constrained LLM generation
von: Banerjee, Debangshu, et al.
Veröffentlicht: (2025)

DINGO: Constrained Inference for Diffusion LLMs
von: Suresh, Tarun, et al.
Veröffentlicht: (2025)

IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking
von: Ugare, Shubham, et al.
Veröffentlicht: (2024)

Incremental Randomized Smoothing Certification
von: Ugare, Shubham, et al.
Veröffentlicht: (2023)

SynCode: LLM Generation with Grammar Augmentation
von: Ugare, Shubham, et al.
Veröffentlicht: (2024)

LEWIS (LayEr WIse Sparsity) -- A Training Free Guided Model Merging Approach
von: Chopra, Hetarth, et al.
Veröffentlicht: (2025)

VTC: DNN Compilation with Virtual Tensors for Data Movement Elimination
von: Hu, Muyan, et al.
Veröffentlicht: (2026)

ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs
von: Yang, Yuchen, et al.
Veröffentlicht: (2024)

Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs
von: Soi, Rupanshu, et al.
Veröffentlicht: (2025)

Tawa: Automatic Warp Specialization for Modern GPUs with Asynchronous References
von: Chen, Hongzheng, et al.
Veröffentlicht: (2025)

Mobiprox: Supporting Dynamic Approximate Computing on Mobiles
von: Fabjančič, Matevž, et al.
Veröffentlicht: (2023)

The Next 700 ML-Enabled Compiler Optimizations
von: VenkataKeerthy, S., et al.
Veröffentlicht: (2023)

Is The Watermarking Of LLM-Generated Code Robust?
von: Suresh, Tarun, et al.
Veröffentlicht: (2024)

Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon
von: Veit, Cooper
Veröffentlicht: (2026)

Enforcing Temporal Constraints for LLM Agents
von: Kamath, Adharsh, et al.
Veröffentlicht: (2025)

Small Language Models as Compiler Experts: Auto-Parallelization for Heterogeneous Systems
von: Devadiga, Prathamesh
Veröffentlicht: (2025)

Verified Lifting of Deep learning Operators
von: Zhan, Qi, et al.
Veröffentlicht: (2024)

An LLM-Tool Compiler for Fused Parallel Function Calling
von: Singh, Simranjit, et al.
Veröffentlicht: (2024)

Hercules: A Compiler for Productive Programming of Heterogeneous Systems
von: Arbore, Russel, et al.
Veröffentlicht: (2025)

Streaming Tensor Programs: A Streaming Abstraction for Dynamic Parallelism
von: Sohn, Gina, et al.
Veröffentlicht: (2025)

A Deep Dive into Function Inlining and its Security Implications for ML-based Binary Analysis
von: Abusabha, Omar, et al.
Veröffentlicht: (2025)

Scaling Deep Learning Training with MPMD Pipeline Parallelism
von: Xhebraj, Anxhelo, et al.
Veröffentlicht: (2024)

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach
von: Dong, Shouyang, et al.
Veröffentlicht: (2025)

MIRAGE: A Benchmark for Multimodal Information-Seeking and Reasoning in Agricultural Expert-Guided Conversations
von: Dongre, Vardhan, et al.
Veröffentlicht: (2025)

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

UTF-8 Plumbing: Byte-level Tokenizers Unavoidably Enable LLMs to Generate Ill-formed UTF-8
von: Firestone, Preston, et al.
Veröffentlicht: (2025)

Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory
von: Tizpaz-Niari, Saeid, et al.
Veröffentlicht: (2024)

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
von: Fukuda, Kota, et al.
Veröffentlicht: (2025)

DeepCircuitX: A Comprehensive Repository-Level Dataset for RTL Code Understanding, Generation, and PPA Analysis
von: Li, Zeju, et al.
Veröffentlicht: (2025)

Multi-modal Learning for WebAssembly Reverse Engineering
von: Huang, Hanxian, et al.
Veröffentlicht: (2024)

SLMFix: Leveraging Small Language Models for Error Fixing with Reinforcement Learning
von: Fu, David Jiahao, et al.
Veröffentlicht: (2025)

Towards Formal Verification of LLM-Generated Code from Natural Language Prompts
von: Councilman, Aaron, et al.
Veröffentlicht: (2025)

Correctness-Guaranteed Code Generation via Constrained Decoding
von: Li, Lingxiao, et al.
Veröffentlicht: (2025)

More Than a Score: Probing the Impact of Prompt Specificity on LLM Code Generation
von: Zi, Yangtian, et al.
Veröffentlicht: (2025)

Self-Infilling Code Generation
von: Zheng, Lin, et al.
Veröffentlicht: (2023)

AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs
von: Pezeshkpour, Pouya, et al.
Veröffentlicht: (2026)

Understanding How CodeLLMs (Mis)Predict Types with Activation Steering
von: Lucchetti, Francesca, et al.
Veröffentlicht: (2024)

vLLM Hook v0: A Plug-in for Programming Model Internals on vLLM
von: Ko, Ching-Yun, et al.
Veröffentlicht: (2026)