Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels
Mengting He, Shihao Xia, Haomin Jia +2
The widespread adoption of large language models (LLMs) has made GPU-accelerated inference a critical part of modern computing infrastructure. Production inference systems rely on…
cs.PL2026
Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
Shihao Xia, Mengting He, Haomin Jia +1
Ensuring that API implementations and usage comply with natural language programming rules is critical for software correctness, security, and reliability. Formal verification can…