עקוב אחר
Todd Millstein
Todd Millstein
Professor of Computer Science, UCLA
כתובת אימייל מאומתת בדומיין cs.ucla.edu - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
10722001
Navigational plans for data integration‏
M Friedman, AY Levy, TD Millstein‏
AAAI/IAAI 1999, 67-73, 1999‏
4801999
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‏
4362000
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‏
401*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‏
3742013
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‏
3302006
Automatic SAT-compilation of planning problems‏
MD Ernst, TD Millstein, DS Weld‏
IJCAI 97, 1169-1176, 1997‏
2521997
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‏
2322015
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‏
2082016
Automatically proving the correctness of compiler optimizations‏
S Lerner, T Millstein, C Chambers‏
Proceedings of the ACM SIGPLAN 2003 conference on Programming language …, 2003‏
1762003
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‏
1572005
Modular Statically Typed Multimethods‏
T Millstein, C Chambers‏
Information and Computation 175 (1), 76-118, 2002‏
1472002
Generating error traces from verification-condition counterexamples‏
KRM Leino, T Millstein, JB Saxe‏
Science of Computer Programming 55 (1-3), 209-226, 2005‏
144*2005
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‏
1402007
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‏
1382012
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‏
1322006
Query containment for data integration systems‏
T Millstein, A Halevy, M Friedman‏
Journal of Computer and System Sciences 66 (1), 20-39, 2003‏
1182003
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‏
1172015
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‏
1162016
End-to-end sequential consistency‏
A Singh, S Narayanasamy, D Marino, T Millstein, M Musuvathi‏
2012 39th Annual International Symposium on Computer Architecture (ISCA …, 2012‏
1062012
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20