TM

Todd Millstein

University of California, Los Angeles 0000-0002-2031-1514

183

Publications

6,464

Citations

44

h-index

91

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (155)
Preprint (16)
Book Chapter (9)
Dataset (2)
Paratext (1)

Filter by Open Access Type

Open Access (73)
Closed Access (110)

Filter by Authors

Todd Millstein (183)
Daniel Marino (19)
Craig Chambers (19)
Guy Van den Broeck (18)
Ramesh Govindan (17)

Filter by Topics

Logic, programming, and type systems (58)
Parallel Computing and Optimization Techniques (49)
Formal Methods in Verification (38)
Security and Verification in Computing (31)
Advanced Software Engineering Methodologies (29)