Folgen
William Harris
William Harris
Research Scientist, Galois Inc.
Bestätigte E-Mail-Adresse bei galois.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Spreadsheet data manipulation using examples
S Gulwani, WR Harris, R Singh
Communications of the ACM 55 (8), 97-105, 2012
3812012
Spreadsheet table transformations from examples
WR Harris, S Gulwani
ACM SIGPLAN Notices 46 (6), 317-328, 2011
2142011
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
1742013
Enforcing Kernel Security Invariants with Data Flow Integrity.
C Song, B Lee, K Lu, W Harris, T Kim, W Lee
NDSS, 2016
1592016
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
1282018
Efficient Protection of {Path-Sensitive} Control Security
R Ding, C Qian, C Song, B Harris, T Kim, W Lee
26th USENIX Security Symposium (USENIX Security 17), 131-148, 2017
1202017
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
802015
Alternation for termination
WR Harris, A Lal, AV Nori, SK Rajamani
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010
722010
Automated table transformations from examples
S Gulwani, WR Harris
US Patent 8,484,550, 2013
712013
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
712010
Automated verification of query equivalence using satisfiability modulo theories
Q Zhou, J Arulraj, S Navathe, W Harris, D Xu
Proceedings of the VLDB Endowment 12 (11), 1276-1288, 2019
442019
DIFC programs by automatic instrumentation
WR Harris, S Jha, T Reps
Proceedings of the 17th ACM conference on Computer and communications …, 2010
392010
Complexity verification using guided theorem enumeration
A Srikanth, B Sahin, WR Harris
ACM SIGPLAN Notices 52 (1), 639-652, 2017
322017
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
292013
Secure programming via visibly pushdown safety games
WR Harris, S Jha, T Reps
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
202012
Verifying information flow control over unbounded processes
WR Harris, NA Kidd, S Chaki, S Jha, T Reps
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009
202009
Determination of organic carbon and carbonates in soils
JU Anderson, W Harris
Soil Science Society of America Journal 31 (3), 341-343, 1967
161967
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
142013
Sodium azide-associated laryngospasm after air bag deployment
D Francis, SA Warren, KJ Warner, W Harris, MK Copass, EM Bulger
The Journal of Emergency Medicine 39 (3), e113-e115, 2010
122010
Soviet Maskirovka and Arms Control Verification
WR Harris
Daily, Brian, 1985
111985
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20