William R. Harris

20 papers A* 10A 1B 3Misc 1Journal 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Electronic health records-based algorithms to screen for U.S. Centers for Disease Control and Prevention tier 1 genetic diseases: a scoping review.
J. Am. Medical Informatics Assoc.
William R. Harris, Marianna S. Hernandez, Khanh N. H. Ngo, Anne Fladger, Charles A Brunette, Sulaiman R. Hamarneh, Joshua W. Knowles, Matthew S. Lebo, Jason Vassy
2024 A* conf
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge.
USENIX Security Symposium
Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo
2023 J jnl
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge.
IACR Cryptol. ePrint Arch.
Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo
2022 A* conf
Proving UNSAT in Zero Knowledge.
CCS
Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, Xiao Wang
2022 J jnl
Proving UNSAT in Zero Knowledge.
IACR Cryptol. ePrint Arch.
Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, Xiao Wang
2018 A* conf
Enforcing Unique Code Target Property for Control-Flow Integrity.
CCS
Hong Hu, Chenxiong Qian, Carter Yagemann, Simon Pak Ho Chung, William R. Harris, Taesoo Kim, Wenke Lee
2017 A* conf
Complexity verification using guided theorem enumeration.
POPL
Akhilesh Srikanth, Burak Sahin, William R. Harris
2017 J jnl
Program synthesis for interactive-security systems.
Formal Methods Syst. Des.
William R. Harris, Somesh Jha, Thomas W. Reps, Sanjit A. Seshia
2013 A* conf
Declarative, Temporal, and Practical Programming with Capabilities.
IEEE Symposium on Security and Privacy
William R. Harris, Somesh Jha, Thomas W. Reps, Jonathan Anderson, Robert N. M. Watson
2013 B conf
Secure programs via game-based synthesis.
FMCAD
Somesh Jha, Thomas W. Reps, William R. Harris
2013 A conf
Security challenges in automotive hardware/software architecture design.
DATE
Florian Sagstetter, Martin Lukasiewycz, Sebastian Steinhorst, Marko Wolf, Alexandre Bouard, William R. Harris, Somesh Jha, Thomas Peyrin, Axel Poschmann, Samarjit Chakraborty
2013 A* conf
Validating Library Usage Interactively.
CAV
William R. Harris, Guoliang Jin, Shan Lu, Somesh Jha
2012 A* conf
Secure Programming via Visibly Pushdown Safety Games.
CAV
William R. Harris, Somesh Jha, Thomas W. Reps
2012 J jnl
Spreadsheet data manipulation using examples.
Commun. ACM
Sumit Gulwani, William R. Harris, Rishabh Singh
2011 A* conf
Spreadsheet table transformations from examples.
PLDI
William R. Harris, Sumit Gulwani
2010 B conf
Alternation for Termination.
SAS
William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani
2010 A* conf
DIFC programs by automatic instrumentation.
CCS
William R. Harris, Somesh Jha, Thomas W. Reps
2010 A* conf
Program analysis via satisfiability modulo path programs.
POPL
William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
2009 B conf
Verifying Information Flow Control over Unbounded Processes.
FM
William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps
1983 Misc conf
Mainframe response time measurement with a microcomputer.
SIGUCCS
William R. Harris