PurPL is the cross-departmental umbrella group for programming languages research at Purdue University. PurPL research groups push the boundaries of every area in programming languages, software engineering, formal methods, and systems: PL theory, design, and implementation, language-based security, compiler optimizations, verification, program synthesis, and more. But we do more than fundamental research: we bring PL ideas to bear on a wide range of areas, including big data, security, education, and computational science.

Interested? Join us — find instructions for the mailing list, Slack, and how to apply.

News

Sep 01
Congratulations to Aaryan, who won second place in the ICFP 2026 Student Research Competition for his work on coverage types modulo equivalences!
Aug 05
Minghai’s paper on LLM-guided proof strategy selection has been accepted to ASE 2026. Congratulations, Minghai!
Apr 10
Congratulations to Siyuan, Songlin, and Yuyan: their paper on safe arena-based memory management via reachability types has been accepted to OOPSLA 2026!
Mar 20
Vidush and Michael Borkowski’s paper on type-directed serialization for content-addressable memory has been accepted to ICFP 2026. Congratulations!
Jan 28
Congratulations to Zhe — his paper on Clouseau, a tool that automatically writes property-based test generators for programs with side effects, has been accepted to PLDI 2026!
Jan 21
Songlin, Craig, Siyuan, and Haotian’s paper on using revocable capabilities to enforce typestate has been accepted to PLDI 2026. Congratulations!
Jan 14
Congratulations to Songlin — his paper on bidirectional type inference for reachability types has been accepted to PLDI 2026!
Nov 13
Joseph’s paper on Boolean-Kinded Type Systems has been accepted to POPL 2026. Congratulations Joseph!
See all News posts