William R. Harris
发表
William R. Harris,
Benjamin Farley,
Somesh Jha,
2011
.
William R. Harris,
Somesh Jha,
Robert N. M. Watson,
2013,
2013 IEEE Symposium on Security and Privacy.
William R. Harris,
Akhilesh Srikanth,
Burak Sahin,
2017,
POPL.
Shan Lu,
William R. Harris,
Somesh Jha,
2013,
CAV.
William R. Harris,
Somesh Jha,
Thomas W. Reps,
2010,
CCS '10.
William R. Harris,
Wenke Lee,
Chengyu Song,
2016,
NDSS 2016.
William R. Harris,
2016
.
William R. Harris,
Sriram K. Rajamani,
Akash Lal,
2010,
SAS.
William R. Harris,
Somesh Jha,
Thomas W. Reps,
2012,
CAV.
William R. Harris,
Sriram Sankaranarayanan,
Aarti Gupta,
2010,
POPL '10.
Sumit Gulwani,
William R. Harris,
Sumit Gulwani,
2011,
PLDI '11.
William R. Harris,
1983,
SIGUCCS '83.
William R. Harris,
Somesh Jha,
Sagar Chaki,
2009,
FM.
William R. Harris,
Chenxiong Qian,
Wenke Lee,
2018,
CCS.
William R. Harris,
Somesh Jha,
Thomas W. Reps,
2013,
2013 Formal Methods in Computer-Aided Design.
Thomas Peyrin,
Martin Lukasiewycz,
William R. Harris,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Sumit Gulwani,
William R. Harris,
Rishabh Singh,
2012,
CACM.
William R. Harris,
Benjamin Farley,
Somesh Jha,
2011
.
William R. Harris,
S. Chaki,
S. Jha,
2009
.
William R. Harris,
Hadi Esmaeilzadeh,
Hyoukjun Kwon,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
William R. Harris,
Shamkant B. Navathe,
Qi Zhou,
2019,
Proc. VLDB Endow..
William R. Harris,
Eran Tromer,
Xiao Wang,
2022,
IACR Cryptol. ePrint Arch..
William R. Harris,
Qi Zhou,
Joy Arulraj,
2020,
ArXiv.
William R. Harris,
Somesh Jha,
William R. Harris,
2017,
Formal Methods Syst. Des..
William R. Harris,
S. Jha,
T. Reps,
2017,
Formal Methods in System Design.
Xin Zhang,
William R. Harris,
Mayur Naik,
2015,
ESEC/SIGSOFT FSE.
William R. Harris,
Chenxiong Qian,
Wenke Lee,
2017,
USENIX Security Symposium.
William R. Harris,
David Heath,
Qi Zhou,
2019,
HCVS/PERR@ETAPS.
William R. Harris,
David Heath,
Qi Zhou,
2017,
ArXiv.
William R. Harris,
M. Hicks,
David Darais,
2023,
Art Sci. Eng. Program..
William R. Harris,
David Heath,
William Harris,
2017,
ArXiv.