William R. Harris
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
10
Active years
1983–2022
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CCS | Proving UNSAT in Zero Knowledge. | Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, Xiao Wang |
| 2018 | CCS | Enforcing Unique Code Target Property for Control-Flow Integrity. | Hong Hu, Chenxiong Qian, Carter Yagemann, Simon Pak Ho Chung, William R. Harris, Taesoo Kim, Wenke Lee |
| 2017 | POPL | Complexity verification using guided theorem enumeration. | Akhilesh Srikanth, Burak Sahin, William R. Harris |
| 2013 | CAV | Validating Library Usage Interactively. | William R. Harris, Guoliang Jin, Shan Lu, Somesh Jha |
| 2013 | DATE | Security challenges in automotive hardware/software architecture design. | Florian Sagstetter, Martin Lukasiewycz, Sebastian Steinhorst, Marko Wolf, Alexandre Bouard, William R. Harris, Somesh Jha, Thomas Peyrin, Axel Poschmann, Samarjit Chakraborty |
| 2013 | FMCAD | Secure programs via game-based synthesis. | Somesh Jha, Thomas W. Reps, William R. Harris |
| 2013 | SP | Declarative, Temporal, and Practical Programming with Capabilities. | William R. Harris, Somesh Jha, Thomas W. Reps, Jonathan Anderson, Robert N. M. Watson |
| 2012 | CAV | Secure Programming via Visibly Pushdown Safety Games. | William R. Harris, Somesh Jha, Thomas W. Reps |
| 2011 | PLDI | Spreadsheet table transformations from examples. | William R. Harris, Sumit Gulwani |
| 2010 | CCS | DIFC programs by automatic instrumentation. | William R. Harris, Somesh Jha, Thomas W. Reps |
| 2010 | POPL | Program analysis via satisfiability modulo path programs. | William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta |
| 2010 | SAS | Alternation for Termination. | William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani |
| 2009 | FM | Verifying Information Flow Control over Unbounded Processes. | William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps |
| 1983 | SIGUCCS | Mainframe response time measurement with a microcomputer. | William R. Harris |