News People Research Courses Seminars Github

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.

Subscribe to the PurPL mailing list following these instructions(name_of_list is purpl) for up-to-date announcements on our weekly seminar series.

Join our Slack channel either via the Purdue CS Slack or through your ECE faculty’s linked Slack connection.

News rss feed icon

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

  • Chris successfully defended his dissertation on using property-driven reductions to automatically verify distributed systems. Congratulations Dr. Wagner!

  • Yongwei’s paper on using derivatives to intelligently drive symbolic execution will appear at POPL. Congrats to Yongwei, Zhe, and Julia!