- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |
| 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 |
Colors in the list of coauthors
Last update Sat May 25 04:27:31 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page