December 16, 2020
Todd Millstein, professor of computer science, recently won distinguished paper awards at three Association for Computing Machinery conferences:
OOPSLA 2020 (Object-Oriented Programming, Systems, Languages and Applications);
PLDI 2020 (Programming Language Design and Implementation); and
SIGCOMM 2020 (Special Interest Group on Data Communication). The ACM conferences’ top paper awards recognize groundbreaking research in advancing computing technology.
Millstein’s papers center on three separate concepts in the field of automated verification. He co-authored the papers with UCLA graduate students Steven Holtzen, Siva Kakarla and Saswat Padhi; fellow UCLA faculty
George Varghese; and collaborators from other organizations.
Presented at OOPSLA with Holtzen and Van den Broeck, the first paper received the conference’s distinguished paper award for advancing the state of the art in probabilistic programming. The paper shows a flexible approach to creating machine-learning applications, including a new technique that can support larger orders-of-magnitude programs than previous methods.