Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
William R. Harris
2010 – today
- 2013
[c7]Florian Sagstetter, Martin Lukasiewycz, Sebastian Steinhorst, Marko Wolf, Alexandre Bouard, William R. Harris, Somesh Jha, Thomas Peyrin, Axel Poschmann, Samarjit Chakraborty: Security challenges in automotive hardware/software architecture design. DATE 2013: 458-463- 2012
- [j1]Sumit Gulwani, William R. Harris, Rishabh Singh: Spreadsheet data manipulation using examples. Commun. ACM 55(8): 97-105 (2012)
- [c6]William R. Harris, Somesh Jha, Thomas W. Reps: Secure Programming via Visibly Pushdown Safety Games. CAV 2012: 581-598
- 2011
- [c5]William R. Harris, Sumit Gulwani: Spreadsheet table transformations from examples. PLDI 2011: 317-328
- 2010
- [c4]William R. Harris, Somesh Jha, Thomas W. Reps: DIFC programs by automatic instrumentation. ACM Conference on Computer and Communications Security 2010: 284-296
- [c3]William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Program analysis via satisfiability modulo path programs. POPL 2010: 71-82
- [c2]William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani: Alternation for Termination. SAS 2010: 304-319
2000 – 2009
- 2009
- [c1]William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps: Verifying Information Flow Control over Unbounded Processes. FM 2009: 773-789
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-19 19:33 CEST by the dblp team