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
-
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 recently accepted to 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
-
Yanjun Wang will present Comparative Synthesis: Learning Near-Optimal Network Designs by Query at POPL’23!
-
Guannan Wei will present Compiling Parallel Symbolic Execution with Continuations at ICSE’23!
-
Robert Dickerson will present RHLE: Modular Deductive Verification of Relational ∀∃ Properties at APLAS’22!
-
Kangjing Huang will present Bootstrapping Library-Based Synthesis at SAS’22!