Haomin Jia

According to our database, Haomin Jia authored at least 4 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2026

Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels.

Mengting He, Shihao Xia, Haomin Jia, Wenfei Wu, Linhai Song

CoRR, March, 2026

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction.

Shihao Xia, Mengting He, Haomin Jia, Linhai Song

CoRR, February, 2026

2025

Query Provenance Analysis: Efficient and Robust Defense Against Query-Based Black-Box Attacks.

Shaofei Li, Ziqi Zhang, Haomin Jia, Yao Guo, Xiangqun Chen, Ding Li

Proceedings of the IEEE Symposium on Security and Privacy, 2025

2024

Query Provenance Analysis for Robust and Efficient Query-based Black-box Attack Defense.

Shaofei Li, Ziqi Zhang, Haomin Jia, Ding Li, Yao Guo, Xiangqun Chen

CoRR, 2024