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.
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.