Stay updated with breaking news from சஸ்வத் பாடி. Get real-time updates on events, politics, business, and more. Visit us for reliable news and exclusive interviews.
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 fle ....