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.
Affiliated center: The Center for Programming Principles and Software Systems
News 
-
PurPL-ers will be presenting four (that’s 1, 2, 3, 4) at ASE’23. Congrats to all the authors!
-
Ashish’s work on parser verification is accepted to ECOOP 23!
-
Vani’s paper “RT-kNNS Unbound: Using RT Cores to Accelerate Unrestricted Neighbor Search” will be appearing at ICS 23. See you in Orlando!
-
Zhe and Ashish’s paper on Type-based Verification of Test Input Generators was recognized as a distinguished paper at PLDI 2023. Congrats!
-
Congrats to Qianchuan and Ben on their paper “Taype: A Policy-Agnostic Language for Oblivious Computation” recently accepted to PLDI 2023!
-
Congrats to Yongwei and Roopsha on their paper Trace-Guided Inductive Synthesis of Recursive Functional Programs which was recognized as a distinguished paper at PLDI 2023!
-
Coyote will be running wild at ASPLOS’23! Congrats to Raghav, Kabir and Milind!
-
Huge shoutout to Christopher, Nour, and Roopsha on their recently accepted OOPSLA paper: Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions
Faculty
Grad Students
Undergraduates
Alumni
- Adam Miller
- Caleb Helbling
- Charitha Saumya
- David M. Perry
- Jad Hbeika
- James Decker
- Kanak Mahadik
- Kia Rahmani
- Kirshanthan Sundararajah
- Laith Sakka
- Leo Osvald
- Nikhil Hegde
- Nouraldin Jaber
- Oliver Bračevac
- Ruby Tahboub
- Scott A Carr
- Shangyin Tan
- Terry Hsu
- Xilun Wu
- Yanjun Wang
- Fei Wang
- Gowtham Kaki
- Gregory Essertel
- Kartik Nagar
- Roopsha Samanta
- Mathias Payer
- Samuel Midkiff
- Xuankang Lin