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

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

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

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

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

Publisher's Version

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

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

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

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

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

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

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

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

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

Publisher's Version

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

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

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

Publisher's Version

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

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

Publisher's Version Info

proc time: 0.66