Associate Professor Ilya Sergey and students win ACM SIGPLAN Distinguished Paper Award at PLDI 2023