|
Todd Millstein
UCLA Computer Science Department | |||
Welcome! In my research and teaching I develop and apply programming language technology to improve the construction, maintenance, correctness, safety, and performance of software systems.
SC for (Almost) Free
simplifying concurrent programming languages without
sacrificing performance
Constraint-Based Program Repair
automatically fixing bugs, both statically and dynamically
Network Protocol Analysis
finding vulnerabilities in network protocols implementations
and a few other projects that don't have web pages yet!
End-to-End Sequential Consistency (ISCA 2012)
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd Millstein, Madanlal Musuvathi
Automated Repair of HTML Generation Errors in PHP Applications Using String Constraint Solving (ICSE 2012)
Hesam Samimi, Max Schäfer, Shay Artzi, Todd Millstein, Frank Tip, Laurie Hendren
Tool-supported Refactoring for JavaScript (OOPSLA 2011)
Asger Felthaus, Todd Millstein, Anders Møller, Max Schäfer, Frank Tip
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; most recently the topic
was mobile computing
Program Committee Member, PLDI 2012
Program Committee Member, DLS
2012
External Review Committee Member, POPL 2013
In my spare time, I am a (mainly jazz) guitarist.