| | |
|
Todd Millstein
Professor
Vice Chair for Graduate Studies
UCLA Computer Science Department
476 Engineering VI
Los Angeles, CA 90095-1596
todd [at] cs.ucla.edu
(310) 825-5942
|
[ projects
|
publications
| students
| courses
| bio
]
Verified Software
Simple and Efficient Concurrency
Mainstream programming languages like C++ and Java provide an
incredibly complex and error-prone semantics for threads in the name
of efficiency. Can we instead provide the simple interleaving
semantics of threads (known formally as
sequential consistency)
at a reasonable cost?
Start here for
the high-level problem and motivation. In recent work we built a
sequentially
consistent Java virtual machine and measured its performance.
Network Programming and Verification
Computer networks have become critical infrastructure for all Internet-based services, and as a result the requirements on and complexity of networks have rapidly increased. Can programming languages technology help to manage this complexity? We are working on both
verification of existing networks and
new languages to design networks that are correct by construction.
Generating and Sampling Orbits for Lifted Probabilistic Inference (UAI 2019, Oral Presentation)
Steven Holtzen, Todd Millstein, Guy Van den Broeck
Overfitting in Synthesis: Theory and Practice (CAV 2019)
Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma
Accelerating Sequential Consistency for Java with Speculative Compilation (PLDI 2019)
Lun Liu, Todd Millstein, Madanlal Musuvathi
more publications...
Steven Holtzen
(co-advised with Guy Van den
Broeck)
Siva Kesava (co-advised
with George Varghese)
Lun Liu
Saswat Padhi
Aishwarya Sivaraman
Alan Tang (co-advised
with George Varghese)
Graduated Students
I regularly teach these courses:
CS30: Principles and Practices of Computing
an introduction to computing for computer-science majors with no prior
programming experience
CS131: Programming Languages
an upper-division undergraduate course on
programming language concepts and the
relationships among different programming paradigms
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
I joined the UCLA faculty in November 2003.
I am also a co-founder and Chief Scientist
of Intentionet.
I have been an Academic Visitor at Oxford (2010-11), a Visiting
Researcher at Microsoft Research (2012), and a Visiting
Fellow at Princeton (2018-19).
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.
I received an NSF CAREER award in 2006, an IBM Faculty Award in 2008, the
Most Influential PLDI
Paper Award in 2011, an IEEE Micro Top Picks selection in 2012,
the Northrop
Grumman Excellence in Teaching Award from UCLA Engineering in
2016,
a Microsoft
Research Outstanding Collaborator Award in 2016, and
an Okawa
Foundation Research Grant in 2016.