Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: William R. Harris
@article{DBLP:journals/iacr/LuickKAHPPTWL23, author = {Daniel Luick and John C. Kolesar and Timos Antonopoulos and William R. Harris and James Parker and Ruzica Piskac and Eran Tromer and Xiao Wang and Ning Luo}, title = {{ZKSMT:} {A} {VM} for Proving {SMT} Theorems in Zero Knowledge}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {1762}, year = {2023}, url = {https://eprint.iacr.org/2023/1762}, timestamp = {Fri, 08 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iacr/LuickKAHPPTWL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/LuoAHPTW22, author = {Ning Luo and Timos Antonopoulos and William R. Harris and Ruzica Piskac and Eran Tromer and Xiao Wang}, editor = {Heng Yin and Angelos Stavrou and Cas Cremers and Elaine Shi}, title = {Proving {UNSAT} in Zero Knowledge}, booktitle = {Proceedings of the 2022 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2022, Los Angeles, CA, USA, November 7-11, 2022}, pages = {2203--2217}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3548606.3559373}, doi = {10.1145/3548606.3559373}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/LuoAHPTW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/LuoAHPTW22, author = {Ning Luo and Timos Antonopoulos and William R. Harris and Ruzica Piskac and Eran Tromer and Xiao Wang}, title = {Proving {UNSAT} in Zero Knowledge}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {206}, year = {2022}, url = {https://eprint.iacr.org/2022/206}, timestamp = {Thu, 17 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iacr/LuoAHPTW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/HuQYCHKL18, author = {Hong Hu and Chenxiong Qian and Carter Yagemann and Simon Pak Ho Chung and William R. Harris and Taesoo Kim and Wenke Lee}, editor = {David Lie and Mohammad Mannan and Michael Backes and XiaoFeng Wang}, title = {Enforcing Unique Code Target Property for Control-Flow Integrity}, booktitle = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2018, Toronto, ON, Canada, October 15-19, 2018}, pages = {1470--1486}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3243734.3243797}, doi = {10.1145/3243734.3243797}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/HuQYCHKL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/HarrisJRS17, author = {William R. Harris and Somesh Jha and Thomas W. Reps and Sanjit A. Seshia}, title = {Program synthesis for interactive-security systems}, journal = {Formal Methods Syst. Des.}, volume = {51}, number = {2}, pages = {362--394}, year = {2017}, url = {https://doi.org/10.1007/s10703-017-0296-5}, doi = {10.1007/S10703-017-0296-5}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/HarrisJRS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/SrikanthSH17, author = {Akhilesh Srikanth and Burak Sahin and William R. Harris}, editor = {Giuseppe Castagna and Andrew D. Gordon}, title = {Complexity verification using guided theorem enumeration}, booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of Programming Languages, {POPL} 2017, Paris, France, January 18-20, 2017}, pages = {639--652}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3009837.3009864}, doi = {10.1145/3009837.3009864}, timestamp = {Mon, 05 Feb 2024 20:33:37 +0100}, biburl = {https://dblp.org/rec/conf/popl/SrikanthSH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/HarrisJLJ13, author = {William R. Harris and Guoliang Jin and Shan Lu and Somesh Jha}, editor = {Natasha Sharygina and Helmut Veith}, title = {Validating Library Usage Interactively}, booktitle = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8044}, pages = {796--812}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39799-8\_56}, doi = {10.1007/978-3-642-39799-8\_56}, timestamp = {Wed, 07 Dec 2022 23:12:58 +0100}, biburl = {https://dblp.org/rec/conf/cav/HarrisJLJ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/SagstetterLSWBHJPPC13, author = {Florian Sagstetter and Martin Lukasiewycz and Sebastian Steinhorst and Marko Wolf and Alexandre Bouard and William R. Harris and Somesh Jha and Thomas Peyrin and Axel Poschmann and Samarjit Chakraborty}, editor = {Enrico Macii}, title = {Security challenges in automotive hardware/software architecture design}, booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France, March 18-22, 2013}, pages = {458--463}, publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}}, year = {2013}, url = {https://doi.org/10.7873/DATE.2013.102}, doi = {10.7873/DATE.2013.102}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/date/SagstetterLSWBHJPPC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/JhaRH13, author = {Somesh Jha and Thomas W. Reps and William R. Harris}, title = {Secure programs via game-based synthesis}, booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR, USA, October 20-23, 2013}, pages = {12--13}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/FMCAD.2013.7035519}, doi = {10.1109/FMCAD.2013.7035519}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/JhaRH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/HarrisJRAW13, author = {William R. Harris and Somesh Jha and Thomas W. Reps and Jonathan Anderson and Robert N. M. Watson}, title = {Declarative, Temporal, and Practical Programming with Capabilities}, booktitle = {2013 {IEEE} Symposium on Security and Privacy, {SP} 2013, Berkeley, CA, USA, May 19-22, 2013}, pages = {18--32}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/SP.2013.11}, doi = {10.1109/SP.2013.11}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sp/HarrisJRAW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cacm/GulwaniHS12, author = {Sumit Gulwani and William R. Harris and Rishabh Singh}, title = {Spreadsheet data manipulation using examples}, journal = {Commun. {ACM}}, volume = {55}, number = {8}, pages = {97--105}, year = {2012}, url = {https://doi.org/10.1145/2240236.2240260}, doi = {10.1145/2240236.2240260}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cacm/GulwaniHS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/HarrisJR12, author = {William R. Harris and Somesh Jha and Thomas W. Reps}, editor = {P. Madhusudan and Sanjit A. Seshia}, title = {Secure Programming via Visibly Pushdown Safety Games}, booktitle = {Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7358}, pages = {581--598}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31424-7\_41}, doi = {10.1007/978-3-642-31424-7\_41}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/HarrisJR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/HarrisG11, author = {William R. Harris and Sumit Gulwani}, editor = {Mary W. Hall and David A. Padua}, title = {Spreadsheet table transformations from examples}, booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA, June 4-8, 2011}, pages = {317--328}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1993498.1993536}, doi = {10.1145/1993498.1993536}, timestamp = {Thu, 24 Jun 2021 16:19:30 +0200}, biburl = {https://dblp.org/rec/conf/pldi/HarrisG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/HarrisJR10, author = {William R. Harris and Somesh Jha and Thomas W. Reps}, editor = {Ehab Al{-}Shaer and Angelos D. Keromytis and Vitaly Shmatikov}, title = {{DIFC} programs by automatic instrumentation}, booktitle = {Proceedings of the 17th {ACM} Conference on Computer and Communications Security, {CCS} 2010, Chicago, Illinois, USA, October 4-8, 2010}, pages = {284--296}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1866307.1866340}, doi = {10.1145/1866307.1866340}, timestamp = {Tue, 10 Nov 2020 20:00:21 +0100}, biburl = {https://dblp.org/rec/conf/ccs/HarrisJR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/HarrisSIG10, author = {William R. Harris and Sriram Sankaranarayanan and Franjo Ivancic and Aarti Gupta}, editor = {Manuel V. Hermenegildo and Jens Palsberg}, title = {Program analysis via satisfiability modulo path programs}, booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23, 2010}, pages = {71--82}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1706299.1706309}, doi = {10.1145/1706299.1706309}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/HarrisSIG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/HarrisLNR10, author = {William R. Harris and Akash Lal and Aditya V. Nori and Sriram K. Rajamani}, editor = {Radhia Cousot and Matthieu Martel}, title = {Alternation for Termination}, booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan, France, September 14-16, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6337}, pages = {304--319}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15769-1\_19}, doi = {10.1007/978-3-642-15769-1\_19}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/sas/HarrisLNR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/HarrisKCJR09, author = {William R. Harris and Nicholas Kidd and Sagar Chaki and Somesh Jha and Thomas W. Reps}, editor = {Ana Cavalcanti and Dennis Dams}, title = {Verifying Information Flow Control over Unbounded Processes}, booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5850}, pages = {773--789}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-05089-3\_49}, doi = {10.1007/978-3-642-05089-3\_49}, timestamp = {Mon, 21 Feb 2022 14:40:51 +0100}, biburl = {https://dblp.org/rec/conf/fm/HarrisKCJR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/siguccs/Harris83, author = {William R. Harris}, title = {Mainframe response time measurement with a microcomputer}, booktitle = {Proceedings of the 11th annual {ACM} {SIGUCCS} conference on User services, New Orleans, Louisiana, USA, October 5-7, 1983}, pages = {157--164}, publisher = {{ACM}}, year = {1983}, url = {https://doi.org/10.1145/800041.801438}, doi = {10.1145/800041.801438}, timestamp = {Tue, 06 Nov 2018 16:58:10 +0100}, biburl = {https://dblp.org/rec/conf/siguccs/Harris83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.