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.

News

Jul 10
Durga’s paper on GPU ray tracing acceleration for nearest neighbor won best paper at ICS! Congrats Durga!
May 10
Congrats to Guannan, Danning, Yongwei and their co-authors on their upcoming PLDI paper on making smart contracts safer by integrating behavioral contracts into Solidity!
May 07
Congrats to Zhe and Qianchuan on their upcoming PLDI paper on HATS– a new technique for automatically reasoning about clients of effectful data structure libraries using a combination automata and refinement types.
Apr 30
Congrats to Julia (Belyakova) on her upcoming PLDI paper on subtyping in Julia (the language)!
Apr 17
Durga, Vani, and Artem’s paper on implementing k-nearest neighbor search using ray tracing will appear at ICS’24! Congrats to all the authors!
Mar 03
Ashish has joined the faculty at IIT Hyderabad. Congratulations Ashish!
Feb 26
Qianchuan’s work on deriving performant privacy-preserving MPC programs will appear at OOPSLA’24. Congratulations Qianchuan!
Feb 24
Mingwei’s paper on analysis of protocol parsers has been accepted to OOPSLA’24! Congrats to all the authors!
See all News posts

News

Faculty

Postdocs

Grad Students

Undergraduates

Alumni