Todd Millstein

Todd Millstein

PROFESSOR
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
 
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 Awards - 2006,IBM Faculty Award - 2008, ACM SIGPLAN Award - 2011
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

UCLA Engineering
×