The 20th workshop on programming languages and analysis for security (PLAS 2025)

PLAS provides a forum for exploring and evaluating the use of programming language and program analysis techniques for promoting security in the complete range of software systems, from compilers to machine-learned models and smart contracts. The workshop encourages proposals of new, speculative ideas, evaluations of new or known techniques in practical settings, and discussions of emerging threats and problems. It also host position papers that are radical, forward-looking, and lead to lively and insightful discussions influential to the future research at the intersection of programming languages and security. This year will mark the 20th edition of PLAS, which was first held in 2007 in San Diego. The workshop will host 2 keynote talks, by Limin Jia and Jan Reineke, and 5 paper presentations.