BibTeX records: William R. Harris

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.