Todd Millstein
Associate Professor

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

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

What's New

Try our CamlBack tool and get automatic feedback on functional programming errors.
Contact me if you want to use it in your own course.

Recent Publications

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

Declarative Mocking  (ISSTA 2013)
       Hesam Samimi, Rebecca Hicks, Ari Fogel, Todd Millstein

A Safety-First Approach to Memory Models  (IEEE Micro)
       Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd Millstein, Madanlal Musuvathi

more publications...

Research Group

Ari Fogel
Lorenzo Gomez
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 Committee Member, ICSE 2014
PC Chair, OOPSLA 2014

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.