Todd Millstein
Associate Professor

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

Office Hours: Thursday 1:30-2:30pm, and by appointment

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

Recent Publications

Call by Meaning  (Onward! 2014)
       Hesam Samimi, Chris Deaton, Yoshiki Ohshima, Alessandro Warth, Todd Millstein

Automatic Atomicity Verification for Clients of Concurrent Data Structures  (CAV 2014)
       Mohsen Lesani, Todd Millstein, Jens Palsberg

MrCrypt: Static Analysis for Secure Cloud Computations  (OOPSLA 2013)
       Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd Millstein

more publications...

Research Group

Ari Fogel
Saswat Padhi
Sai Deep Tetali
Tomer Weiss

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

Recent Courses

I teach or have taught these courses:

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

CS132: Compiler Construction
   an upper-division undergraduate course in which students build a compiler from a subset of Java to MIPS assembly

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
   in Spring 2014 the course is co-taught with Alan Kay, and students are exploring the idea of "programming at internet scale"

Upcoming Professional Activities

Program Chair, OOPSLA 2014
Program Committee Member, ECOOP 2015

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.