Jekyll2026-09-11T19:57:14+00:00https://purduepl.github.io/feed.xmlPurPLThe Purdue PL Research GroupAaryan, ICFP SRC2026-09-01T00:00:00+00:002026-09-01T00:00:00+00:00https://purduepl.github.io/2026/09/01/newsCongratulations to Aaryan, who won second place in the ICFP 2026 Student Research Competition for his work on coverage types modulo equivalences!

]]>Minghai, ASE 20262026-08-05T00:00:00+00:002026-08-05T00:00:00+00:00https://purduepl.github.io/2026/08/05/newsMinghai’s paper on LLM-guided proof strategy selection has been accepted to ASE 2026. Congratulations, Minghai!

]]>Siyuan/Songlin/Yuyan, OOPSLA 20262026-04-10T00:00:00+00:002026-04-10T00:00:00+00:00https://purduepl.github.io/2026/04/10/newsCongratulations to Siyuan, Songlin, and Yuyan: their paper on safe arena-based memory management via reachability types has been accepted to OOPSLA 2026!

]]>Vidush/Borkowski, ICFP 20262026-03-20T00:00:00+00:002026-03-20T00:00:00+00:00https://purduepl.github.io/2026/03/20/newsVidush and Michael Borkowski’s paper on type-directed serialization for content-addressable memory has been accepted to ICFP 2026. Congratulations!

]]>Zhe, PLDI 20262026-01-28T00:00:00+00:002026-01-28T00:00:00+00:00https://purduepl.github.io/2026/01/28/newsCongratulations to Zhe — his paper on Clouseau, a tool that automatically writes property-based test generators for programs with side effects, has been accepted to PLDI 2026!

]]>Songlin/Craig/Siyuan/Haotian, PLDI 20262026-01-21T00:00:00+00:002026-01-21T00:00:00+00:00https://purduepl.github.io/2026/01/21/newsSonglin, Craig, Siyuan, and Haotian’s paper on using revocable capabilities to enforce typestate has been accepted to PLDI 2026. Congratulations!

]]>Songlin, PLDI 20262026-01-14T00:00:00+00:002026-01-14T00:00:00+00:00https://purduepl.github.io/2026/01/14/newsCongratulations to Songlin — his paper on bidirectional type inference for reachability types has been accepted to PLDI 2026!

]]>Boolean Kinded Types to Appear at POPL2025-11-13T00:00:00+00:002025-11-13T00:00:00+00:00https://purduepl.github.io/2025/11/13/newsJoseph’s paper on Boolean-Kinded Type Systems has been accepted to POPL 2026. Congratulations Joseph!

]]>It’s Dr. Raghav Now2025-10-01T00:00:00+00:002025-10-01T00:00:00+00:00https://purduepl.github.io/2025/10/01/newsCongratulations to newly minted Dr. Raghav on successfully defending his dissertation!

]]>Cobb is Spinning Up2025-09-15T00:00:00+00:002025-09-15T00:00:00+00:00https://purduepl.github.io/2025/09/15/newsPatrick’s paper on automatically repairing coverage gaps in PBT input generators has been accepted to OOPSLA’25. Congrats to all the authors!

]]>