LMPL

LMPL 2025 with ICFP/SPLASH 2025

The 1st International Workshop on Language Models and Programming Languages Generative artificial intelligence, exemplified by large language models (LLMs), is reshaping various aspects of programming languages, significantly simplifying many stages of software development. In recent years, many traditional areas of the programming languages (PL) community, such as program analysis and verification, program synt ...