Follow
Todd Millstein
Todd Millstein
Professor of Computer Science, UCLA
Verified email at cs.ucla.edu - Homepage
Title
Cited by
Cited by
Year
Automatic predicate abstraction of C programs
T Ball, R Majumdar, T Millstein, SK Rajamani
Proceedings of the ACM SIGPLAN 2001 conference on Programming language …, 2001
11372001
Navigational plans for data integration
MT Friedman, AY Levy, TD Millstein
AAAI/IAAI 1999, 67-73, 1999
5101999
MultiJava: Modular open classes and symmetric multiple dispatch for Java
C Clifton, GT Leavens, C Chambers, T Millstein
Proceedings of the 15th ACM SIGPLAN conference on Object-oriented …, 2000
4422000
Dr. Android and Mr. Hide: fine-grained permissions in android applications
J Jeon, KK Micinski, JA Vaughan, A Fogel, N Reddy, JS Foster, T Millstein
Proceedings of the second ACM workshop on Security and privacy in …, 2012
432*2012
Reran: Timing-and touch-sensitive record and replay for android
L Gomez, I Neamtiu, T Azim, T Millstein
2013 35th international conference on software engineering (ICSE), 72-81, 2013
4282013
A general approach to network configuration analysis
A Fogel, S Fung, L Pedrosa, M Walraed-Sullivan, R Govindan, R Mahajan, ...
12th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2015
3492015
A framework for implementing pluggable type systems
C Andreae, J Noble, S Markstrum, T Millstein
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented …, 2006
3482006
Efficient network reachability analysis using a succinct control plane representation
SK Fayaz, T Sharma, A Fogel, R Mahajan, T Millstein, V Sekar, ...
12th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2016
2882016
Automatic SAT-compilation of planning problems
MD Ernst, TD Millstein, DS Weld
IJCAI 97, 1169-1176, 1997
2731997
Automatically proving the correctness of compiler optimizations
S Lerner, T Millstein, C Chambers
Proceedings of the ACM SIGPLAN 2003 conference on Programming language …, 2003
1902003
Don't mind the gap: Bridging network-wide objectives and device-level configurations
R Beckett, R Mahajan, T Millstein, J Padhye, D Walker
Proceedings of the 2016 ACM SIGCOMM Conference, 328-341, 2016
1762016
Automated soundness proofs for dataflow analyses and transformations via local rules
S Lerner, T Millstein, E Rice, C Chambers
ACM SIGPLAN Notices 40 (1), 364-377, 2005
1712005
Data-driven precondition inference with learned features
S Padhi, R Sharma, T Millstein
ACM SIGPLAN Notices 51 (6), 42-56, 2016
1652016
Automated repair of HTML generation errors in PHP applications using string constraint solving
H Samimi, M Schäfer, S Artzi, T Millstein, F Tip, L Hendren
2012 34th International Conference on Software Engineering (ICSE), 277-287, 2012
1542012
Titian: Data provenance support in spark
M Interlandi, K Shah, SD Tetali, MA Gulzar, S Yoo, M Kim, T Millstein, ...
Proceedings of the VLDB Endowment International Conference on Very Large …, 2015
1512015
Generating error traces from verification-condition counterexamples
KRM Leino, T Millstein, JB Saxe
Science of Computer Programming 55 (1-3), 209-226, 2005
147*2005
Modular Statically Typed Multimethods
T Millstein, C Chambers
Information and Computation 175 (1), 76-118, 2002
1462002
Reliable and efficient programming abstractions for wireless sensor networks
N Kothari, R Gummadi, T Millstein, R Govindan
Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007
1352007
MultiJava: Design rationale, compiler implementation, and applications
C Clifton, T Millstein, GT Leavens, C Chambers
ACM Transactions on Programming Languages and Systems (TOPLAS) 28 (3), 517-575, 2006
1332006
End-to-end sequential consistency
A Singh, S Narayanasamy, D Marino, T Millstein, M Musuvathi
ACM SIGARCH Computer Architecture News 40 (3), 524-535, 2012
1242012
The system can't perform the operation now. Try again later.
Articles 1–20