[TYPES/announce] [CFP] 2nd Workshop on Language Models and Programming Languages (LMPL), co-located with SPLASH/ISSTA 2026

[Wei, Guannan]

The 2nd International Workshop on Language Models and Programming Languages is
calling for submissions. The workshop will be co-located with SPLASH/ISSTA 
at Oakland, California, United States in October 2026.

Website: https://urldefense.com/v3/__https://conf.researchr.org/home/splash-issta-2026/lmpl-2026__;!!IBzWLUs!XAXu7ckGcuYvhpNp4AAk7Yl25CeEDRj9UKYoLFSPjmSMVqC-aAmWk29uGBAG77_6KbKTUR6oJhL4NuRSkP_aPY5-d9q3iqjWqx2hwg$ 

Submission link: https://urldefense.com/v3/__https://lmpl26.hotcrp.com/__;!!IBzWLUs!XAXu7ckGcuYvhpNp4AAk7Yl25CeEDRj9UKYoLFSPjmSMVqC-aAmWk29uGBAG77_6KbKTUR6oJhL4NuRSkP_aPY5-d9q3iqhH2Lqsww$ 

### Call for Papers

We invite submissions discussing recent advancements at the intersection 
of language models and programming languages. This workshop will offer 
researchers the opportunity to exchange ideas and explore emerging research
directions. Specifically, LMPL focuses on programming language-related 
problems, including program analysis, verification, and optimization. 
It also explores how PL techniques, such as formal methods and PL design 
principles, contribute to language model applications. More specifically,
the scope of LMPL includes, but is not limited to:

*LLMs for PL tasks*

  • LLMs for static analysis, such as program verification, bug detection, 
    and program optimization
  • LLMs for code generation, such as program transpilation, synthesis, and repair
  • LLMs for program testing, such as fuzzing and domain-specific system testing
  • Other tasks in the fields of programming languages and software engineering

*PL techniques for LLM applications*

  • PL techniques for harness engineering
  • PL techniques for agent design
  • PL techniques for model training
  • PL techniques for hallucination mitigation
  • Other aspects where PL techniques can contribute to LLM applications

*Benchmarks and Empirical Studies*

  • New benchmarks for specific PL tasks and empirical studies of existing 
    LLM-driven PL techniques
  • Empirical studies of existing benchmarks, such as the works summarizing
    or criticizing existing benchmarks
  • Empirical studies of explainable AI in PL tasks, such as proposing and 
    investigating a specific hypothesis

We welcome the following two formats of submissions:

  • Research paper: Similar to research papers presented at 
    various conferences, these should include a well-designed 
    methodology and experimental measurements
  • Extended abstract: Presenting forward-looking viewpoints or 
    showcasing ideas that have not been thoroughly evaluated 
    through experiments.

### Important Dates

- Submission deadline: Friday, June 26 2026
- Author notification: Saturday, August 8, 2026
- Camera-ready versions deadline: Friday, August 21, 2026
- Workshop day: TBD (Oct 4-9, 2026)

All deadlines are 23:59 UTC-12, anywhere on Earth.

### Submission Instructions

We will use HotCRP as the online submission system: https://urldefense.com/v3/__https://lmpl26.hotcrp.com/__;!!IBzWLUs!XAXu7ckGcuYvhpNp4AAk7Yl25CeEDRj9UKYoLFSPjmSMVqC-aAmWk29uGBAG77_6KbKTUR6oJhL4NuRSkP_aPY5-d9q3iqhH2Lqsww$ 

Papers must be prepared in LaTeX, adhering to the ACM format available at 
https://urldefense.com/v3/__http://sigplan.org/Resources/Author/*acmart-format__;Iw!!IBzWLUs!XAXu7ckGcuYvhpNp4AAk7Yl25CeEDRj9UKYoLFSPjmSMVqC-aAmWk29uGBAG77_6KbKTUR6oJhL4NuRSkP_aPY5-d9q3iqjMS2-AFQ$  using the sigplan option. 
Specifically, each kind of submission should conform to the following requirements:

  • Research paper: 8–10 pages (not including references). Authors can choose 
    to include or not include accepted submissions in the proceedings. 
    Accepted submissions will be invited to give a talk.
  • Extended abstract: 1-4 pages (not including references). These submissions 
    will not be included in the proceedings, but accepted submissions will be 
    invited to give a talk.

### Invited Speaker

Baishakhi Ray (Columbia University, US)

### Organizing Committee

Nada Amin (Harvard University, US)
Qingkai Shi (Nanjing University, China)
Guannan Wei (Tufts University, US)
Zhuo Zhang (Columbia University, US)

### Program Committee

Aaron Bembenek (Melbourne University, Australia)
Arjun Guha (Northeastern University, US)
Benjamin Delaware (Purdue University, US)
Chengpeng Wang (National University of Singapore, Singapore)
Di Wang (Peking University, China)
He Ye (University College London, UK)
Heqing Huang (City University of Hong Kong, China)
Kexin Pei (Chicago University, US)
Kristopher Micinski (Syracuse University, US)
Loris D’Antoni (University of California San Diego, US)
Mingshuai Chen (Zhejiang University, China)
Ningning Xie (Toronto University, Canada)
Peisen Yao (Zhejiang University, China)
Penghui Li (Columbia University, US)
Sergey Mechtaev (Peking University, China)
Shaohua Li (Chinese University of Hong Kong, China)
Shraddha Barke (Microsoft Research, US)
Simin Chen (Columbia University, US)
Stefan Zetzsche (Amazon, UK)
Thomas Gilray (Washington State University, US)
Ting Su (East China Normal University, US)
Tzu-Han Hsu (Harvard University, US)
Xiaoyuan Xie (Wuhan University, China)
Xujie Si (Toronto University, Canada)
Yang Feng (Nanjing University, China)
Yangruibo Ding (University of California Los Angeles, US)
Yiling Lou (University of Illinois Urbana-Champaign, US)
Yongqiang Tian (Monash University, Australia)
Yuandao Cai (Huawei, China)