LMPL 2025 – Proceedings

1st ACM SIGPLAN International Workshop on Language Models and Programming Languages (LMPL 2025)

Frontmatter

Papers

Reasoning as a Resource: Optimizing Fast and Slow Thinking in Code Generation Models
Zongjie Li and Shuai Wang
(Hong Kong University of Science and Technology, China)

Publisher's Version Article: splashws25lmplmain-p4-p doi:10.1145/3759425.3763377

Hallucination-Resilient LLM-Driven Sound and Tunable Static Analysis: A Case of Higher-Order Control-Flow Analysis
Guannan Wei, Zhuo Zhang, and Caterina Urban
(Inria, France; ENS-PSL University, France; Tufts University, USA; Columbia University, USA)

Publisher's Version Article: splashws25lmplmain-p7-p doi:10.1145/3759425.3763378

CG-Bench: Can Language Models Assist Call Graph Construction in the Real World?
Ting Yuan, Wenrui Zhang, Dong Chen, and Jie Wang
(Huawei Technologies, China)

Publisher's Version Article: splashws25lmplmain-p9-p doi:10.1145/3759425.3763379

Challenges in C++ to Rust Translation with Large Language Models: A Preliminary Empirical Study
Yanyan Yan, Yang Feng, Qi He, Jun Zeng, and Baowen Xu
(Nanjing University, China)

Publisher's Version Article: splashws25lmplmain-p10-p doi:10.1145/3759425.3763380

Towards Repository-Level Program Verification with Large Language Models
Si Cheng Zhong and Xujie Si
(University of Toronto, Canada)

Publisher's Version Article: splashws25lmplmain-p12-p doi:10.1145/3759425.3763382

Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps
Yalong Du, Chaozheng Wang, and Huaijin Wang
(Harbin Institute of Technology, Shenzhen, China; Chinese University of Hong Kong, China; Hong Kong University of Science and Technology, China)

Publisher's Version Article: splashws25lmplmain-p13-p doi:10.1145/3759425.3763383

The LLM Era Demands Natural-Language-Aligned Theorem Provers for Mathematics
Qinxiang Cao, Lihan Xie, and Junchi Yan
(Shanghai Jiao Tong University, China)

Publisher's Version Article: splashws25lmplmain-p17-p doi:10.1145/3759425.3763384

Ranking Formal Specifications using LLMs
Mike He, Zhendong Ang, Ankush Desai, and Aarti Gupta
(Princeton University, USA; National University of Singapore, Singapore; Amazon Web Services, USA)

Publisher's Version Article: splashws25lmplmain-p22-p doi:10.1145/3759425.3763386

Function Renaming in Reverse Engineering of Embedded Device Firmware with ChatGPT
Puzhuo Liu, Peng Di, and Yu Jiang
(Ant Group, China; Tsinghua University, China; UNSW, Australia)

Publisher's Version Article: splashws25lmplmain-p24-p doi:10.1145/3759425.3763387

Improving SAST Detection Capability with LLMs and Enhanced DFA
Yuan Luo, Zhaojun Chen, Yuxin Dong, Haiquan Zhang, Yi Sun, Fei Xie, and Zhiqiang Dong
(Tencent Security Yunding Lab, China; Peking University, China)

Publisher's Version Article: splashws25lmplmain-p26-p doi:10.1145/3759425.3763388

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
Jacqueline Mitchell, Brian Hyeongseok Kim, Chenyu Zhou, and Chao Wang
(University of Southern California, USA)

Publisher's Version Article: splashws25lmplmain-p32-p doi:10.1145/3759425.3763389

Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
Jacqueline Mitchell and Yasser Shaaban
(University of Southern California, USA; Workato, USA)

Publisher's Version Article: splashws25lmplmain-p33-p doi:10.1145/3759425.3763390

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
Barış Bayazıt, Yao Li, and Xujie Si
(University of Toronto, Canada; Portland State University, USA)

Publisher's Version Published Artifact Artifacts Available Article: splashws25lmplmain-p35-p doi:10.1145/3759425.3763391

The Modular Imperative: Rethinking LLMs for Maintainable Software
Anastasiya Kravchuk-Kirilyuk, Fernanda Graciolli, and Nada Amin
(Harvard University, USA; Midspiral, USA)

Publisher's Version Article: splashws25lmplmain-p52-p doi:10.1145/3759425.3763392

Enhancing Semantic Understanding in Pointer Analysis using Large Language Models
Baijun Cheng, Kailong Wang, Ling Shi, Haoyu Wang, Yao Guo, Ding Li, and Xiangqun Chen
(Peking University, China; Huazhong University of Science and Technology, China; Nanyang Technological University, Singapore)

Publisher's Version Article: splashws25lmplmain-p53-p doi:10.1145/3759425.3763393

Preguss: It Analyzes, It Specifies, It Verifies
Zhongyi Wang, Tengjie Lin, Mingshuai Chen, Mingqi Yang, Haokun Li, Xiao Yi, Shengchao Qin, and Jianwei Yin
(Zhejiang University, China; Peking University, China; Chinese University of Hong Kong, China; Xidian University, China)

Publisher's Version Article: splashws25lmplmain-p55-p doi:10.1145/3759425.3763394

Composable Effect Handling for Programming LLM-Integrated Scripts
Di Wang
(Peking University, China)

Publisher's Version Article: splashws25lmplmain-p65-p doi:10.1145/3759425.3763396

ClearAgent: Agentic Binary Analysis for Effective Vulnerability Detection
Xiang Chen, Anshunkang Zhou, Chengfeng Ye, and Charles Zhang
(Hong Kong University of Science and Technology, China)

Publisher's Version Article: splashws25lmplmain-p90-p doi:10.1145/3759425.3763397

W2GPU: Toward WebAssembly-to-WebGPU Program Translation via Small Language Models
Mehmet Oguz Derin
(Unaffiliated, Türkiye)

Publisher's Version Info Article: splashws25lmplmain-p93-p doi:10.1145/3759425.3763398

proc time: 0.04