Todd Millstein

Todd Millstein

PROFESSOR/VICE CHAIR GRADEDUCATION
COMPUTER SCIENCE

Engineering VI - Room 476

Email:
Phone: (310) 825-5942
Fax: (310) 794-5057

Websites

RESEARCH AND INTERESTS
  • Verified Software
  • Simple and Efficient Concurrency
  • Network Programming and Verification
  • Cybersecurity and future internet
 
PUBLICATIONS
Recent PublicationsA Volatile-by-Default JVM for Server Applications(OOPSLA 2017) Lun Liu, Todd Millstein, Madanlal MusuvathiProbabilistic Program Abstractions  (UAI 2017) Steven Holtzen, Todd Millstein, Guy Van den BroeckNetwork Configuration Synthesis with Abstract Topologies  (PLDI 2017) Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitendra Padhye, David Walkermore publications...
EDUCATION
PhD (2003) University of Washington
AWARDS AND RECOGNITION
  • NSF Career Award - 2006
  • IBM Faculty Award - 2008
  • ACM SIGPLAN Award - 2011
  • SIGPLAN Distinguished Paper Award - 2020
COURSES
CS30: Principles and Practices of Computing - an introduction to computing for computer-science majors with no prior programming experience, CS131: Programming Languages - an upper-division undergraduate course on programming language concepts and the relationships among different programming paradigmsCS231: 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