|
Todd MillsteinProfessor and Chair UCLA Computer Science Department476 Engineering VI Los Angeles, CA 90095-1596 todd@cs.ucla.edu |
For more than a decade I have focused much of my work on network verification: developing programming languages and software verification techniques to obtain provable guarantees on the security and reliability of computer networks. Our open source Batfish network configuration analyzer is now managed by Amazon Web Services, is the technology underlying the Oracle Cloud Network Path Analyzer tool, and is used by many network engineers elsewhere (e.g., ebay).
In my current research I'm continuing to work on network reliability, for example developing techniques for verifying and testing parts of the Domain Name System (DNS). Outside of networking, I'm working to reduce the burden of interactive program verification through lemma synthesis and developing scalable reasoning methods for probabilistic programming languages.
Lightyear: Using Modularity to Scale BGP Control Plane Verification (SIGCOMM 2023)
Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd Millstein, George Varghese
Scaling Integer Arithmetic in Probabilistic Programs (UAI 2023)
William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd Millstein, Guy Van den Broeck
Data-Driven Lemma Synthesis for Interactive Proofs (OOPSLA 2022)
Aishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, Todd Millstein
CS30: Principles and Practices of Computing
an introduction to computing for computer-science majors with no prior
programming experience
CS231:
Types and Programming Languages
an introductory graduate course on
programming language theory and static type systems
CS239: Current Topics in Programming Languages and Systems
a graduate research seminar with varying topics