Jekyll2026-05-02T22:10:41+00:00https://purduepl.github.io//feed.xmlPurPLThe Purdue PL Research GroupBoolean 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 alltheauthors!]]>Cyclic Reachability Types2025-09-14T00:00:00+00:002025-09-14T00:00:00+00:00https://purduepl.github.io//2025/09/14/newsDavid’s work on adding support for cyclic references to reachability types has been accepted to OOPSLA’25!]]>Three New Grads2025-08-08T00:00:00+00:002025-08-08T00:00:00+00:00https://purduepl.github.io//2025/08/08/newsHearty congratulations to Dr. Durga, Dr. Rob, and Dr. Zhe on their successful PhD defenses!]]>Congrats Yuantian!2025-05-02T00:00:00+00:002025-05-02T00:00:00+00:00https://purduepl.github.io//2025/05/02/newsYuantian’s paper on syntax guided synthesis has been accepted to PLDI. Congrats Yuantian!
]]>COATL Accepted to PLDI2025-04-17T00:00:00+00:002025-04-17T00:00:00+00:00https://purduepl.github.io//2025/04/17/newsRaghav’s work on a compiler that uses arithmetic table lookups to optimize secure FHE computations will appear at PLDI. Congratulations Raghav!]]>OOPSLA 2025 acceptance!2025-02-08T00:00:00+00:002025-02-08T00:00:00+00:00https://purduepl.github.io//2025/02/08/newsRob’s paper on relational reasoning using e-graphs has been accepted to OOPSLA’25. Congratulations to Rob and Prasita!]]>Congratulations Dr. Wagner!2024-12-12T00:00:00+00:002024-12-12T00:00:00+00:00https://purduepl.github.io//2024/12/12/newsChris successfully defended his dissertation on using property-driven reductions
to automatically verify distributed systems. Congratulations Dr. Wagner!]]>A POPL paper has HATCHed2024-12-06T00:00:00+00:002024-12-06T00:00:00+00:00https://purduepl.github.io//2024/12/06/newsYongwei’s
paper
on using derivatives to intelligently drive symbolic execution will appear at
POPL. Congrats to Yongwei,
Zhe, and Julia!]]>