| Spreadsheet data manipulation using examples S Gulwani, WR Harris, R Singh Communications of the ACM 55 (8), 97-105, 2012 | 261 | 2012 |
| Spreadsheet table transformations from examples WR Harris, S Gulwani ACM SIGPLAN Notices 46 (6), 317-328, 2011 | 175 | 2011 |
| Security challenges in automotive hardware/software architecture design F Sagstetter, M Lukasiewycz, S Steinhorst, M Wolf, A Bouard, WR Harris, ... 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE), 458-463, 2013 | 114 | 2013 |
| Enforcing Kernel Security Invariants with Data Flow Integrity. C Song, B Lee, K Lu, W Harris, T Kim, W Lee NDSS, 2016 | 90 | 2016 |
| Alternation for termination WR Harris, A Lal, AV Nori, SK Rajamani International Static Analysis Symposium, 304-319, 2010 | 63 | 2010 |
| Flexjava: Language support for safe and modular approximate programming J Park, H Esmaeilzadeh, X Zhang, M Naik, W Harris Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015 | 60 | 2015 |
| Program analysis via satisfiability modulo path programs WR Harris, S Sankaranarayanan, F Ivančić, A Gupta Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010 | 59 | 2010 |
| Enforcing unique code target property for control-flow integrity H Hu, C Qian, C Yagemann, SPH Chung, WR Harris, T Kim, W Lee Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 56 | 2018 |
| DIFC programs by automatic instrumentation WR Harris, S Jha, T Reps Proceedings of the 17th ACM conference on Computer and communications …, 2010 | 39 | 2010 |
| Program verification through symbolic enumeration of control path programs S Sankaranarayanan, F Ivancic, WR Harris, A Gupta, G Balakrishnan US Patent 8,402,440, 2013 | 27 | 2013 |
| Complexity verification using guided theorem enumeration A Srikanth, B Sahin, WR Harris ACM SIGPLAN Notices 52 (1), 639-652, 2017 | 26 | 2017 |
| Verifying information flow control over unbounded processes WR Harris, NA Kidd, S Chaki, S Jha, T Reps International Symposium on Formal Methods, 773-789, 2009 | 21 | 2009 |
| Secure programming via visibly pushdown safety games WR Harris, S Jha, T Reps International Conference on Computer Aided Verification, 581-598, 2012 | 20 | 2012 |
| Orthodontic treatment pliers H Tamura US Patent App. 10/108,597, 2002 | 16 | 2002 |
| Determination of organic carbon and carbonates in soils JU Anderson, W Harris Soil Science Society of America Journal 31 (3), 341-343, 1967 | 16 | 1967 |
| Declarative, temporal, and practical programming with capabilities WR Harris, S Jha, T Reps, J Anderson, RNM Watson 2013 IEEE Symposium on Security and Privacy, 18-32, 2013 | 14 | 2013 |
| Automated table transformations from examples S Gulwani, WR Harris US Patent 8,484,550, 2013 | 12 | 2013 |
| UNIVERSITY OF WISCONSIN–MADISON WR Harris, J Anderson | 9 | 2014 |
| Soviet Maskirovka and Arms Control Verification WR Harris mimeo, Monterey CA: US Navy Postgraduate School, 1985 | 9 | 1985 |
| ARMS-CONTROL TREATIES-HOW DO THEY RESTRAIN SOVIET STRATEGIC DEFENSE PROGRAMS WR Harris ORBIS-A JOURNAL OF WORLD AFFAIRS 29 (4), 701-708, 1986 | 8 | 1986 |
