Mainframe response time measurement with a microcomputer. - William R. Harris (SIGUCCS, 1983)

Verifying Information Flow Control over Unbounded Processes. - William R. Harris; Nicholas Kidd; Sagar Chaki; Somesh Jha; Thomas W. Reps (FM, 2009)

DIFC programs by automatic instrumentation. - William R. Harris; Somesh Jha; Thomas W. Reps (CCS, 2010)

Program analysis via satisfiability modulo path programs. - William R. Harris; Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta (POPL, 2010)

Alternation for Termination. - William R. Harris; Akash Lal; Aditya V. Nori; Sriram K. Rajamani (SAS, 2010)

Spreadsheet table transformations from examples. - William R. Harris; Sumit Gulwani (PLDI, 2011)

Secure Programming via Visibly Pushdown Safety Games. - William R. Harris; Somesh Jha; Thomas W. Reps (CAV, 2012)

Spreadsheet data manipulation using examples. - Sumit Gulwani; William R. Harris; Rishabh Singh (Commun. ACM, 2012)

Validating Library Usage Interactively. - William R. Harris; Guoliang Jin; Shan Lu 001; Somesh Jha (CAV, 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 (DATE, 2013)

Secure programs via game-based synthesis. - Somesh Jha; Thomas W. Reps; William R. Harris (FMCAD, 2013)

Declarative, Temporal, and Practical Programming with Capabilities. - William R. Harris; Somesh Jha; Thomas W. Reps; Jonathan Anderson; Robert N. M. Watson (IEEE Symposium on Security and Privacy, 2013)

Complexity verification using guided theorem enumeration. - Akhilesh Srikanth; Burak Sahin; William R. Harris (POPL, 2017)

Program synthesis for interactive-security systems. - William R. Harris; Somesh Jha; Thomas W. Reps; Sanjit A. Seshia (Formal Methods Syst. Des., 2017)

Enforcing Unique Code Target Property for Control-Flow Integrity. - Hong Hu 004; Chenxiong Qian; Carter Yagemann; Simon Pak Ho Chung; William R. Harris; Taesoo Kim; Wenke Lee (CCS, 2018)

Proving UNSAT in Zero Knowledge. - Ning Luo; Timos Antonopoulos; William R. Harris; Ruzica Piskac; Eran Tromer; Xiao Wang 012 (IACR Cryptol. ePrint Arch., 2022)

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 012; Ning Luo (IACR Cryptol. ePrint Arch., 2023)