Ph.D. student Saswat Padhi, Professor Todd Millstein, and their Princeton collaborators recently won a SIGPLAN Distinguished Paper Award at PLDI’20 for their paper “Data-Driven Inference of Representation Invariants”.

PLDI is the top conference on the design and implementation of programming languages. This year’s PLDI received a total of 341 submissions, out of which 77 were accepted and only 5 were awarded Distinguished Paper Award.