Buchumschlag

Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	He, Mengting, Xia, Shihao, Jia, Haomin, Wu, Wenfei, Song, Linhai
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
von: Xia, Shihao, et al.
Veröffentlicht: (2026)

SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
von: Xia, Shihao, et al.
Veröffentlicht: (2025)

AuditGPT: Auditing Smart Contracts with ChatGPT
von: Xia, Shihao, et al.
Veröffentlicht: (2024)

SC-Bench: A Large-Scale Dataset for Smart Contract Auditing
von: Xia, Shihao, et al.
Veröffentlicht: (2024)

AutoLALA: Automatic Loop Algebraic Locality Analysis for AI and HPC Kernels
von: Zhu, Yifan, et al.
Veröffentlicht: (2026)

Analyzing Latency Hiding and Parallelism in an MLIR-based AI Kernel Compiler
von: Absar, Javed, et al.
Veröffentlicht: (2026)

BODHI: Precise OS Kernel Specification Inference
von: Chang, Zhiming, et al.
Veröffentlicht: (2026)

SGLang: Efficient Execution of Structured Language Model Programs
von: Zheng, Lianmin, et al.
Veröffentlicht: (2023)

Prism: Symbolic Superoptimization of Tensor Programs
von: Wu, Mengdi, et al.
Veröffentlicht: (2026)

CudaForge: An Agent Framework with Hardware Feedback for CUDA Kernel Optimization
von: Zhang, Zijian, et al.
Veröffentlicht: (2025)

From Large to Small: Transferring CUDA Optimization Expertise via Reasoning Graph
von: Gong, Junfeng, et al.
Veröffentlicht: (2025)

CUDA-LLM: LLMs Can Write Efficient CUDA Kernels
von: Chen, Wentao, et al.
Veröffentlicht: (2025)

LACUNA: Safe Agents as Recursive Program Holes
von: Zhao, Yaoyu, et al.
Veröffentlicht: (2026)

CUDA Agent: Large-Scale Agentic RL for High-Performance CUDA Kernel Generation
von: Dai, Weinan, et al.
Veröffentlicht: (2026)

Chain of Execution Supervision Promotes General Reasoning in Large Language Models
von: Chen, Nuo, et al.
Veröffentlicht: (2025)

AgentKernelArena: Generalization-Aware Benchmarking of GPU Kernel Optimization Agents
von: Younesian, Sharareh, et al.
Veröffentlicht: (2026)

FastKernels: Benchmarking GPU Kernel Generation in Production
von: Oliaro, Gabriele, et al.
Veröffentlicht: (2026)

DOCE: Finding the Sweet Spot for Execution-Based Code Generation
von: Li, Haau-Sing, et al.
Veröffentlicht: (2024)

Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding
von: He, Pengfei, et al.
Veröffentlicht: (2026)

Hey Pentti, We Did It!: A Fully Vector-Symbolic Lisp
von: Tomkins-Flanagan, Eilene, et al.
Veröffentlicht: (2025)

Executing as You Generate: Hiding Execution Latency in LLM Code Generation
von: Sun, Zhensu, et al.
Veröffentlicht: (2026)

How Do Humans Write Code? Large Models Do It the Same Way Too
von: Li, Long, et al.
Veröffentlicht: (2024)

Dr. Kernel: Reinforcement Learning Done Right for Triton Kernel Generations
von: Liu, Wei, et al.
Veröffentlicht: (2026)

From Tool Calling to Symbolic Thinking: LLMs in a Persistent Lisp Metaprogramming Loop
von: de la Torre, Jordi
Veröffentlicht: (2025)

AwareCompiler: Agentic Context-Aware Compiler Optimization via a Synergistic Knowledge-Data Driven Framework
von: Lin, Hongyu, et al.
Veröffentlicht: (2025)

KAIJU: An Executive Kernel for Intent-Gated Execution of LLM Agents
von: Guerin, Cormac, et al.
Veröffentlicht: (2026)

STAR: Constraint LoRA with Dynamic Active Learning for Data-Efficient Fine-Tuning of Large Language Models
von: Zhang, Linhai, et al.
Veröffentlicht: (2024)

WereWolf-Plus: An Update of Werewolf Game setting Based on DSGBench
von: Xia, Xinyuan, et al.
Veröffentlicht: (2025)

EvoEngineer: Mastering Automated CUDA Kernel Code Evolution with Large Language Models
von: Guo, Ping, et al.
Veröffentlicht: (2025)

Towards Feedback-to-Plan Decisions for Self-Evolving LLM Agents in CUDA Kernel Generation
von: Chong, Yee Hin, et al.
Veröffentlicht: (2026)

Efficient Estimation of Kernel Surrogate Models for Task Attribution
von: Zhang, Zhenshuo, et al.
Veröffentlicht: (2026)

Semantic Distance Measurement based on Multi-Kernel Gaussian Processes
von: Cheng, Yinzhu, et al.
Veröffentlicht: (2025)

Meta Large Language Model Compiler: Foundation Models of Compiler Optimization
von: Cummins, Chris, et al.
Veröffentlicht: (2024)

Modeling Open-World Cognition as On-Demand Synthesis of Probabilistic Models
von: Wong, Lionel, et al.
Veröffentlicht: (2025)

DPO Kernels: A Semantically-Aware, Kernel-Enhanced, and Divergence-Rich Paradigm for Direct Preference Optimization
von: Das, Amitava, et al.
Veröffentlicht: (2025)

cuPilot: A Strategy-Coordinated Multi-agent Framework for CUDA Kernel Evolution
von: Chen, Jinwu, et al.
Veröffentlicht: (2025)

VeriGRAG: Enhancing LLM-Based Verilog Code Generation with Structure-Aware Soft Prompts
von: Zhao, Jiayu, et al.
Veröffentlicht: (2025)

Relational Programming with Foundation Models
von: Li, Ziyang, et al.
Veröffentlicht: (2024)

Large Language Model Powered Symbolic Execution
von: Li, Yihe, et al.
Veröffentlicht: (2025)

PerfCodeGen: Improving Performance of LLM Generated Code with Execution Feedback
von: Peng, Yun, et al.
Veröffentlicht: (2024)