LMPL 2026 – Preliminary Table of Contents

2nd ACM SIGPLAN International Workshop on Language Models and Programming Languages (LMPL 2026)

Frontmatter

Papers

Invariant Pretraining for Robust Code Representations
Yifeng He, Yundi Xu, Christopher Castro Gaw Gonzalo, Zili Wang, and Hao Chen
(University of California at Davis, USA; University of Hong Kong, China)

Article Search Article: splashws26lmplmain-p19-p (type: Full Paper) doi:10.1145/3843750.3843840

Semantic Prefix Oracles for LLM Decoding: Contracts and Differential Validation
Paul Kronlund-Drouault
(Unsuspicious Industries, France)

Article Search Article: splashws26lmplmain-p30-p (type: Full Paper) doi:10.1145/3843750.3843841

Predicting Program Exit Code with LLMs and Programming Language Semantics
Lara Marinov, Aditya Thimmaiah, Jayanth Srinivasa, Junyi Jessy Li, and Milos Gligoric
(University of Texas at Austin, USA; Cisco, USA)

Article Search Article: splashws26lmplmain-p42-p (type: Full Paper) doi:10.1145/3843750.3843842

Authority Is Not a String: A Capability-Scoped Harness for Prompt-Injection-Resistant Coding Agents
Dimitrios Stamatios Bouras, Yihan Dai, and Sergey Mechtaev
(Peking University, China)

Article Search Article: splashws26lmplmain-p72-p (type: Full Paper) doi:10.1145/3843750.3843843

FlowCheck: Helping End-Users Specify and Verify Intent in Vibe-Coded Web Apps
Reya Vir, Lydia Chilton, Zhuo Zhang, and Eugene Wu
(Columbia University, USA)

Article Search Article: splashws26lmplmain-p81-p (type: Full Paper) doi:10.1145/3843750.3843844

Detecting Database Migration Non-equivalence through LLM-Assisted Mutation-Score-Guided Testing
Yuhao Zhang, Sayan Ghosh, Amit Kachroo, and Jun Huan
(AWS AI Labs, USA)

Article Search Article: splashws26lmplmain-p85-p (type: Full Paper) doi:10.1145/3843750.3843845

proc time: 0.01