May 5, 2023

Zhe and Ashish’s paper on Type-based Verification of Test Input Generators was recognized as a distinguished paper at PLDI 2023. Congrats!