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 
-
Joseph’s paper on Boolean-Kinded Type Systems has been accepted to POPL 2026. Congratulations Joseph!
-
Congratulations to newly minted Dr. Raghav on successfully defending his dissertation!
-
Patrick’s paper on automatically repairing coverage gaps in PBT input generators has been accepted to OOPSLA’25. Congrats to all the authors!
-
David’s work on adding support for cyclic references to reachability types has been accepted to OOPSLA’25!
-
Hearty congratulations to Dr. Durga, Dr. Rob, and Dr. Zhe on their successful PhD defenses!
-
Yuantian’s paper on syntax guided synthesis has been accepted to PLDI. Congrats Yuantian!
-
Raghav’s work on a compiler that uses arithmetic table lookups to optimize secure FHE computations will appear at PLDI. Congratulations Raghav!
-
Rob’s paper on relational reasoning using e-graphs has been accepted to OOPSLA’25. Congratulations to Rob and Prasita!
Faculty
Postdocs
Grad Students
Undergraduates
Alumni
- Adam Miller
- Adhitha DiasMeta
- Ashish MishraIIT Hyderabad
- Caleb HelblingDraper Laboratory
- Charitha SaumyaIntel
- Chris WagnerAmazon
- Danning XieMeta
- David M. PerryCurtain Call LLC
- Durga Keerthi MandarapuLawrence Berkeley National Laboratory
- Guannan WeiTufts University
- Jad HbeikaIntel
- James DeckerGensyn
- Kanak MahadikAdobe Research
- Kia RahmaniDurable AI
- Kirshanthan SundararajahVirginia Tech
- Laith SakkaMeta
- Leo OsvaldGoogle
- Mikail KhanCMU
- Nikhil HegdeIIT Dharwad
- Nouraldin JaberAmazon
- Oliver BračevacEPFL
- Pedro AbreuTTFA
- Qianchuan YeUniversity of Buffalo
- Raghav MalikVeridise
- Rob DickersonAugustana College
- Rohan GangarajuRoblox
- Ruby TahboubUIUC
- Scott A CarrCisco
- Shangyin TanUC Berkeley
- Shengwei AnVirginia Tech
- Supun AbeysingheDatabricks
- Terry HsuApple
- Vani NagarajanNvidia
- Wenxin JiangSocket
- Xilun WuMeta
- Yanjun WangAWS
- Fei WangSambaNova
- Gowtham KakiCU Boulder
- Gregory EssertelApplied Intuition
- Kartik NagarIIT Madras
- Roopsha Samanta
- Mathias PayerEPFL
- Samuel MidkiffRetired
- Xuankang LinGoogle