January 28, 2026

Congratulations 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!