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 | research projects | professional activities | miscellaneous ]

Recent Courses

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

Students

Brian Chin
Nupur Kothari (USC)
Dan Marino
Turtles (not technically my students but they live in our lab)

Graduated:
Shane Markstrum, Ph.D. 2009, now Assistant Professor at Bucknell University
Alex Warth, Ph.D. 2009, now a researcher at Viewpoints Research Institute
Milan Stanojevic, M.S. 2008, now at Jane Street Capital
Ramakrishna Gummadi, Ph.D. 2007 (USC), now a postdoc at MIT

Research Projects

All of my publications are available here.

Clarity/JavaCOP: User-Defined Type Extensions
Expanders: Statically Scoped Object Adaptation
FSMGen: Deriving High-Level Models from Sensor Network Software
JPred: Practical Predicate Dispatch
Kairos/Pleiades: Programming Languages for Sensor Networks
Language Support for Interactive Applications
Polyglot for Java 1.5
Past Research Projects

Also check out the research of my colleagues in UCLA's software systems group.

Upcoming Professional Activities

PC Member, OOPSLA 2009

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.