| 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 | 1137 | 2001 |
| Navigational plans for data integration MT Friedman, AY Levy, TD Millstein AAAI/IAAI 1999, 67-73, 1999 | 509 | 1999 |
| 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 | 442 | 2000 |
| 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 | 428 | 2013 |
| 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 | 349 | 2015 |
| 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 | 348 | 2006 |
| 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 | 290 | 2016 |
| Automatic SAT-compilation of planning problems MD Ernst, TD Millstein, DS Weld IJCAI 97, 1169-1176, 1997 | 273 | 1997 |
| Automatically proving the correctness of compiler optimizations S Lerner, T Millstein, C Chambers Proceedings of the ACM SIGPLAN 2003 conference on Programming language …, 2003 | 190 | 2003 |
| 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 | 176 | 2016 |
| 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 | 171 | 2005 |
| Data-driven precondition inference with learned features S Padhi, R Sharma, T Millstein ACM SIGPLAN Notices 51 (6), 42-56, 2016 | 166 | 2016 |
| 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 | 154 | 2012 |
| 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 | 150 | 2015 |
| 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 | 146 | 2002 |
| 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 | 135 | 2007 |
| 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 | 133 | 2006 |
| 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 | 124 | 2012 |
Rupak MajumdarMPI for Software SystemsEmail verificata su mpi-sws.org
