Todd Millstein
University of California, Los Angeles(US)UCLA Health(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Formal Methods in Verification, Security and Verification in Computing, Advanced Software Engineering Methodologies
Most-Cited Works
- → Automatic predicate abstraction of C programs(2012)696 cited
- → MultiJava(2000)281 cited
- → Dr. Android and Mr. Hide(2012)221 cited
- Navigational plans for data integration(1999)
- → RERAN: Timing- and touch-sensitive record and replay for Android(2013)177 cited
- Automatic SAT-compilation of planning problems(1997)
- A general approach to network configuration analysis(2015)
- → Automated soundness proofs for dataflow analyses and transformations via local rules(2005)133 cited
- → Don't Mind the Gap(2016)126 cited