Todd Millstein
Associate Professor

UCLA Computer Science Department
4531D Boelter Hall
Los Angeles, CA 90095-1596

todd [at] cs.ucla.edu
(310) 825-5942

[ courses | students | publications | software | professional activities | miscellaneous ]

Recent Courses

CS231: Types and Programming Languages, Fall 2009.
CS239: SAT-based Program Analysis and Verification, Spring 2009.
CS132: Compiler Construction, Winter 2009.

Ph.D. Students

Michael Gray
Nupur Kothari (USC)
Dan Marino
Jacob Mathew
Hesam Samimi

Graduated:
Brian Chin, Ph.D. 2009, now at Google
Ramakrishna Gummadi, Ph.D. 2007 (USC), now Assistant Professor at UMass Amherst
Shane Markstrum, Ph.D. 2009, now Assistant Professor at Bucknell University
Alex Warth, Ph.D. 2009, now a researcher at Viewpoints Research Institute

Research Publications


Software

JPred: Expressive and Modular Predicate Dispatch
JavaCOP: Pluggable Types for Java
Expanders: Statically Scoped Object Adaptation

Upcoming Professional Activities

PC Member, PLAS 2010

Miscellaneous

In my spare time, I am a guitarist.

Before joining UCLA, I was a graduate student in the University of Washington Department of Computer Science. 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.