3 papers
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…
cs.CR2024
Query Provenance Analysis: Efficient and Robust Defense against Query-based Black-box Attacks
Shaofei Li, Ziqi Zhang, Haomin Jia +3
Query-based black-box attacks have emerged as a significant threat to machine learning systems, where adversaries can manipulate the input queries to generate adversarial examples…