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.
Zach Tatlock, professor at University of Washington and Purdue alumni, will be giving a PurPL seminar on April 12th!
Ben’s paper with collaborators at MIT and CMU on proof assistants as the ultimate DSL implementation engine accepted to SNAPL 2017.
Tiark receives a Google Faculty Research Award.
Kirshanthan, Laith, and Milind’s paper on Locality Transformations for Nested Recursive Iteration Spaces has been accepted to ASPLOS 2017.
Tiark’s papers on Type Soundness Proofs with Definitional Interpreters and LMS-Verify are both accepted to POPL 2017.
Mahsa Najafzadeh will give a seminar about her work on the analysis and co-design of weakly-consistent applications next Tuesday, September 20th, at 2PM in HAAS 101.
Jad Hbeika previews his upcoming LCPC paper on Locality-aware Task-parallel Execution at this week’s PurPL Lunch.
Leo Osvald presents his work on Affordable 2nd Class Values at this week’s PurPL Lunch.
The inaugural PurPL Lunch will be next Thursday, August 25th, from noon to 1PM in Lawson 3102AB. RSVP here.
Roopsha Samanta is offering a new graduate seminar on Computer-Aided Program Reasoning.