News People Research Courses Seminars

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 rss feed icon

  • Yuantian will present his work on synthesizing bit-vector programs at POPL. Congrats Yuantian!

  • Guannan’s paper on polymorphic reachability types will appear at POPL. Congrats to all the authors!

  • Supun’s work on building an efficient Datalog compiler for program analysis was recognized as a distinguished paper at POPL. Congrats Supun!

  • 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!