UCLA Computer Science Department
4532K Boelter Hall
Los Angeles, CA 90095-1596
todd [at] cs.ucla.edu
Office Hours: Tues/Wed 3:30-4:30pm
| professional activities
Try our CamlBack tool and get
automatic visualization and feedback for functional programming errors.
The tool now supports both OCaml and Haskell!
Contact me if you want to use it in your own course.
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
Sai Deep Tetali
RERAN: Record and replay for Android
SC-LLVM: An SC-preserving C compiler
Execution for Java
Pluggable Types for Java
JPred: Expressive and Modular Predicate
Expanders: Statically Scoped
Polyglot for Java 5: Extensible
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
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
and students are exploring the idea of "programming at internet scale"
Program Chair, OOPSLA
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
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.
Program Committee Member, ECOOP 2015
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.