Todd Millstein
Scholar

Todd Millstein

Google Scholar ID: u_tOExoAAAAJ
Professor of Computer Science, UCLA
Programming Languages
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
9,545
 
H-index
47
 
i10-index
94
 
Publications
20
 
Co-authors
33
list available
Publications
4 items
CornerCase: Automated Extremal Testing of Protocol Implementations using LLMs
2026
Cited
0
Probabilistic Programs of Thought
2026
Cited
0
Tuning Random Generators: Property-Based Testing as Probabilistic Programming
2025
Cited
0
LLM-Based Config Synthesis requires Disambiguation
2025
Cited
0
Co-authors
6 total
Rupak Majumdar
Rupak Majumdar
MPI for Software Systems
Ramesh Govindan
Ramesh Govindan
Professor of Computer Science, University of Southern California
Gary T. Leavens
Gary T. Leavens
Professor, University of Central Florida
Miryung Kim
Miryung Kim
Professor and Vice Chair of Graduate Studies, UCLA Computer Science
Matteo Interlandi
Matteo Interlandi
Microsoft
Jeffrey S. Foster
Jeffrey S. Foster
Computer Science, Tufts University