William R. Harris

According to our database, William R. Harris authored at least 17 papers between 1983 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge.

Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo

IACR Cryptol. ePrint Arch., 2023

2022

Proving UNSAT in Zero Knowledge.

Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, Xiao Wang

IACR Cryptol. ePrint Arch., 2022

2018

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

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Program synthesis for interactive-security systems.

William R. Harris, Somesh Jha, Thomas W. Reps, Sanjit A. Seshia

Formal Methods Syst. Des., 2017

Complexity verification using guided theorem enumeration.

Akhilesh Srikanth, Burak Sahin, William R. Harris

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2013

Declarative, Temporal, and Practical Programming with Capabilities.

William R. Harris, Somesh Jha, Thomas W. Reps, Jonathan Anderson, Robert N. M. Watson

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

Secure programs via game-based synthesis.

Somesh Jha, Thomas W. Reps, William R. Harris

Proceedings of the Formal Methods in Computer-Aided Design, 2013

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

Proceedings of the Design, Automation and Test in Europe, 2013

Validating Library Usage Interactively.

William R. Harris, Guoliang Jin, Shan Lu, Somesh Jha

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Spreadsheet data manipulation using examples.

Sumit Gulwani, William R. Harris, Rishabh Singh

Commun. ACM, 2012

Secure Programming via Visibly Pushdown Safety Games.

William R. Harris, Somesh Jha, Thomas W. Reps

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Spreadsheet table transformations from examples.

William R. Harris, Sumit Gulwani

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010

Alternation for Termination.

William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Static Analysis - 17th International Symposium, 2010

Program analysis via satisfiability modulo path programs.

William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

DIFC programs by automatic instrumentation.

William R. Harris, Somesh Jha, Thomas W. Reps

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009

Verifying Information Flow Control over Unbounded Processes.

William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps

Proceedings of the FM 2009: Formal Methods, 2009

1983

Mainframe response time measurement with a microcomputer.

William R. Harris

Proceedings of the 11th annual ACM SIGUCCS conference on User services, 1983