Todd Millstein wins three best paper awards
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 paper...