Professor Todd Millstein won Best Paper Awards in three conferences: OOPSLA (Programming Language), PLDI (Programming Language), and SIGCOMM (Networks/Systems). These top conferences in their respective areas have low acceptance rates. To receive the Best Paper Award in any of them is a very high honor.
The papers represent three very different ideas in automated verification: 1) scaling inference for probabilistic programs, 2) verification of the Internet Domain Name System, and 3) on automatically inferring representation invariants for traditional program data structures. Three UCLA graduate students (Steven Holtzen, Siva Kakarla, and Saswat Padhi), two UCLA faculty colleagues (Guy Van Den Broeck and George Varghese), and collaborators from Microsoft and Princeton also worked with Professor Millstein on these papers.