Concepedia

Todd Millstein

TM

Statistics

Publications

84

Citations

6.1K

H-Index

44

Active since

1997

Affiliations

University of California, Los Angeles(Current)

University of Washington

Microsoft (United States)

UCLA Health

Microsoft Research (United Kingdom)

Todd Millstein is an author at University of California, Los Angeles specializing in computing, computer science, and programming languages.

ORCID

Publications per year

1997–2023

84

Publications

84

Automatic predicate abstraction of C programs

Thomas Ball, Rupak Majumdar, Todd Millstein et al. · ACM SIGPLAN Notices · 2012 · 703 citations

, , +12

Automatic predicate abstraction of C programs

Thomas Ball, Rupak Majumdar, Todd Millstein et al. · 2001 · 438 citations

, , +12

MultiJava

Curtis Clifton, Gary T. Leavens, Craig Chambers et al. · 2000 · 283 citations · Full text

, , +16

Dr. Android and Mr. Hide

Jinseong Jeon, Kristopher Micinski, Jeffrey A. Vaughan et al. · 2012 · 222 citations

, , +17

Navigational plans for data integration

Marc Friedman, Alon Y. Levy, Todd Millstein · 1999 · 219 citations

, , +17

1–5 of 84