Prof. Todd Millstein — Research Profile
University of California, Los Angeles · Computer Science
Graduate application deadlines
Computer Science
PhD in Computer Science
Fall 2027Application deadline
Dec 15, 2026 23:59 PST
No year on the page — check the original to confirm these dates are for this cycle.
Source: cs.ucla.eduChecked Nov 2, 2026MS in Computer Science
Fall 2027Application deadline
Dec 15, 2026 23:59 PST
No year on the page — check the original to confirm these dates are for this cycle.
Source: cs.ucla.eduChecked Nov 2, 2026
Considering this lab for grad school?
Save it to compare side by side with other labs. Jot a one-line note under each paper below — Application prep gathers your notes into an outline for your email to the PI and your statement of purpose. You do the writing; no AI.
What to prepare before emailing a PIAbout
Prof. Todd Millstein at University of California, Los Angeles Computer Science lists Verified Software, Simple and Efficient Concurrency, Network Programming and Verification, Probabilistic Programming as their registered research area.
Research keywords
Recent papers
- CornerCase: Automated Extremal Testing of Protocol Implementations using LLMsPreprintarXiv (Cornell University) · Jun 28
- Probabilistic Programs of ThoughtPreprintarXiv (Cornell University) · Apr 19
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Karthik Narasimhan Lab
Princeton University · Computer Science
SWEeper-Bench: Can Agents Discover Bugs in Interactive Software?PreprintarXiv (Cornell University) · Oct 8Shared topic: Software Testing and Debugging Techniques
Text Information Management and Analysis Research (TIMAN) Lab
University of Illinois Urbana-Champaign · Computer Science
Skip the Compressor: Coding Agents Fix More Issues When They Pick Whole FilesPreprintarXiv (Cornell University) · Oct 15Shared topic: Software Engineering Research
Ion Stoica Lab
University of California, Berkeley · Electrical Engineering and Computer Sciences
TokenEconomizer: Experience-Driven Black-Box Cost Control for Coding AgentsPreprintarXiv (Cornell University) · Oct 15Shared topic: Software Engineering Research
Other labs in this department
- Aditya Grover Lab
Probabilistic machine learning for unsupervised representation learning and sequential decision making
- Automated Reasoning Group
Adnan Darwiche
Probabilistic and logical reasoning and its applications, Diagnosis, planning, system design and analysis
- Alexander Sherstov Lab
Theoretical computer science
- Amit Sahai Lab
Theoretical computer science, Foundations of cryptography, Computer security, Cybersecurity and future internet
- Baharan Mirzasoleiman Lab
Machine learning, Data mining, Optimization, Approximation algorithms
- Blaise-Pascal Tine Lab
Systems, compilers and hardware support for heterogeneous architectures, Reconfigurable and hybrid architectures for high performance computing using FPGAs, Software-hardware codesign of custom accelerators in Graph Analytics, Relational Databases and Machine Learning