Todd Millstein

UCLA Computer Science Department
4532K Boelter Hall
Los Angeles, CA 90095-1596
todd [at]
(310) 825-5942

Office Hours: Wednesday 3:30-4:30pm, and by appointment

[ publications | students | software | courses | professional activities | bio | other ]

Recent Publications

Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Languages  (OOPSLA 2015)
       Tim Felgentreff, Todd Millstein, Alan Borning, Robert Hirschfeld

The Silently Shifting Semicolon  (SNAPL 2015)
       Daniel Marino, Todd Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh

A General Approach to Network Configuration Analysis  (NSDI 2015)
       Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd Millstein

Analyzing Protocol Implementations for Interoperability  (NSDI 2015)
       Luis Pedrosa, Ari Fogel, Nupur Kothari, Ramesh Govindan, Ratul Mahajan, Todd Millstein

more publications...

Ph.D. Students

Ari Fogel
Saswat Padhi
Sai Deep Tetali

Graduated Students


RERAN: Record and replay for Android
SC-LLVM: An SC-preserving C compiler
PBnJ: Declarative Execution for Java
JavaCOP: Pluggable Types for Java
JPred: Expressive and Modular Predicate Dispatch
Expanders: Statically Scoped Object Adaptation
Polyglot for Java 5: Extensible Java Compiler


I regularly teach these courses:

CS131: Programming Languages
   an upper-division undergraduate course on programming language concepts and the relationships among different programming paradigms

CS137A/237A: Prototyping Programming Languages (with Alex Warth and Alan Kay)
   an elective on approaches to implementing languages and language extensions in lightweight ways

CS137B/237B: Programming Language Design Laboratory (with Alex Warth and Alan Kay)
   an elective where students design, implement, and evaluate their own languages and language extensions

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

Upcoming Professional Activities

Program Committee Member, OOPSLA 2015
Program Committee Member, PLDI 2016

Brief Biography

I joined the UCLA faculty in January 2004. I received my Ph.D. from the University of Washington Department of Computer Science, where I was a member of the Cecil group led by Craig Chambers. Before that, I was an undergraduate at Brown University, where I was advised by Paris Kanellakis and Pascal Van Hentenryck. I grew up in suburban Maryland, outside of Washington D.C.

Other Stuff

It turns out computer science at UCLA goes way back. Here's a fun short video about UCLA's differential analyzer from 1948.

In my spare time, I am a (mainly jazz) guitarist. One of my groups made a recording a few years ago.