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

Titian: Data Provenance Support in Spark  (PVLDB)
       Matteo Interlandi, Kshitij Shah, Sai Deep Tetali, Muhammad Ali Gulzar, Seunghyun Yoo, Miryung Kim, Todd Millstein, Tyson Condie

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

more publications...

Ph.D. Students

Ari Fogel
Lun Liu
Saswat Padhi

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.