publications:
- title: "Dynamic inference of abstract types"
  author:
  - name: "Philip J. Guo"
    link: "http://pgbovine.net/index.html"
  - name: "Jeff H. Perkins"
    link: "https://researchr.org/alias/jeff-h.-perkins"
  - name: "Stephen McCamant"
    link: "https://researchr.org/alias/stephen-mccamant"
  - name: "Michael D. Ernst"
    link: "https://researchr.org/alias/michael-d.-ernst"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1146238.1146268"
  links:
    doi: "http://doi.acm.org/10.1145/1146238.1146268"
  tags:
  - "type inference"
  researchr: "https://researchr.org/publication/GuoPME06"
  cites: 0
  citedby: 0
  pages: "255-265"
  booktitle: "Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006"
  editor:
  - name: "Lori L. Pollock"
    link: "https://researchr.org/alias/lori-l.-pollock"
  - name: "Mauro Pezzè"
    link: "https://researchr.org/alias/mauro-pezz%C3%A8"
  publisher: "ACM"
  isbn: "1-59593-263-1"
  kind: "inproceedings"
  key: "GuoPME06"
- title: "Two studies of opportunistic programming: interleaving web foraging, learning, and writing code"
  author:
  - name: "Joel Brandt"
    link: "https://researchr.org/alias/joel-brandt"
  - name: "Philip J. Guo"
    link: "http://pgbovine.net/index.html"
  - name: "Joel Lewenstein"
    link: "https://researchr.org/alias/joel-lewenstein"
  - name: "Mira Dontcheva"
    link: "https://researchr.org/alias/mira-dontcheva"
  - name: "Scott R. Klemmer"
    link: "https://researchr.org/alias/scott-r.-klemmer"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1518701.1518944"
  links:
    doi: "http://doi.acm.org/10.1145/1518701.1518944"
  tags:
  - "writing"
  - "programming"
  researchr: "https://researchr.org/publication/BrandtGLDK09"
  cites: 0
  citedby: 0
  pages: "1589-1598"
  booktitle: "Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009"
  editor:
  - name: "Dan R. Olsen Jr."
    link: "https://researchr.org/alias/dan-r.-olsen-jr."
  - name: "Richard B. Arthur"
    link: "https://researchr.org/alias/richard-b.-arthur"
  - name: "Ken Hinckley"
    link: "https://researchr.org/alias/ken-hinckley"
  - name: "Meredith Ringel Morris"
    link: "https://researchr.org/alias/meredith-ringel-morris"
  - name: "Scott E. Hudson"
    link: "https://researchr.org/alias/scott-e.-hudson"
  - name: "Saul Greenberg"
    link: "https://researchr.org/alias/saul-greenberg"
  publisher: "ACM"
  isbn: "978-1-60558-246-7"
  kind: "inproceedings"
  key: "BrandtGLDK09"
- title: "HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection"
  author:
  - name: "Vijay Ganesh"
    link: "https://researchr.org/alias/vijay-ganesh"
  - name: "Adam Kiezun"
    link: "https://researchr.org/alias/adam-kiezun"
  - name: "Shay Artzi"
    link: "https://researchr.org/alias/shay-artzi"
  - name: "Philip J. Guo"
    link: "http://pgbovine.net/index.html"
  - name: "Pieter Hooimeijer"
    link: "https://researchr.org/alias/pieter-hooimeijer"
  - name: "Michael D. Ernst"
    link: "https://researchr.org/alias/michael-d.-ernst"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-22110-1_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-22110-1_1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cav/GaneshKAGHE11"
  tags:
  - "testing"
  - "analysis"
  researchr: "https://researchr.org/publication/GaneshKAGHE11"
  cites: 0
  citedby: 0
  pages: "1-19"
  booktitle: "Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings"
  editor:
  - name: "Ganesh Gopalakrishnan"
    link: "https://researchr.org/alias/ganesh-gopalakrishnan"
  - name: "Shaz Qadeer"
    link: "https://researchr.org/alias/shaz-qadeer"
  volume: "6806"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-22109-5"
  kind: "inproceedings"
  key: "GaneshKAGHE11"
- title: " Not my bug!  and other reasons for software bug report reassignments"
  author:
  - name: "Philip J. Guo"
    link: "http://pgbovine.net/index.html"
  - name: "Thomas Zimmermann"
    link: "https://researchr.org/alias/thomas-zimmermann"
  - name: "Nachiappan Nagappan"
    link: "https://researchr.org/alias/nachiappan-nagappan"
  - name: "Brendan Murphy"
    link: "https://researchr.org/alias/brendan-murphy"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1958824.1958887"
  links:
    doi: "http://doi.acm.org/10.1145/1958824.1958887"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cscw/GuoZNM11"
  researchr: "https://researchr.org/publication/GuoZNM11"
  cites: 0
  citedby: 0
  pages: "395-404"
  booktitle: "Proceedings of the 2011 ACM Conference on Computer Supported Cooperative Work, CSCW 2011, Hangzhou, China, March 19-23, 2011"
  editor:
  - name: "Pamela J. Hinds"
    link: "https://researchr.org/alias/pamela-j.-hinds"
  - name: "John C. Tang"
    link: "https://researchr.org/alias/john-c.-tang"
  - name: "Jian Wang"
    link: "https://researchr.org/alias/jian-wang"
  - name: "Jakob E. Bardram"
    link: "https://researchr.org/alias/jakob-e.-bardram"
  - name: "Nicolas Ducheneaut"
    link: "https://researchr.org/alias/nicolas-ducheneaut"
  publisher: "ACM"
  isbn: "978-1-4503-0556-3"
  kind: "inproceedings"
  key: "GuoZNM11"
- title: "Automatic creation of SQL Injection and cross-site scripting attacks"
  author:
  - name: "Adam Kiezun"
    link: "https://researchr.org/alias/adam-kiezun"
  - name: "Philip J. Guo"
    link: "http://pgbovine.net/index.html"
  - name: "Karthick Jayaraman"
    link: "https://researchr.org/alias/karthick-jayaraman"
  - name: "Michael D. Ernst"
    link: "https://researchr.org/alias/michael-d.-ernst"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ICSE.2009.5070521"
  links:
    doi: "http://dx.doi.org/10.1109/ICSE.2009.5070521"
  tags:
  - "injection attack"
  - "SQL"
  researchr: "https://researchr.org/publication/KiezunGJE09"
  cites: 0
  citedby: 0
  pages: "199-209"
  booktitle: "31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings"
  publisher: "IEEE"
  isbn: "978-1-4244-3452-7"
  kind: "inproceedings"
  key: "KiezunGJE09"
- title: "The Ph.D. Grind"
  author:
  - name: "Philip J. Guo"
    link: "http://pgbovine.net/index.html"
  year: "2012"
  links:
    "pdf": "http://pgbovine.net/PhD-memoir/pguo-PhD-grind.pdf"
    "html": "http://pgbovine.net/PhD-memoir.htm"
  researchr: "https://researchr.org/publication/Guo2012"
  cites: 0
  citedby: 0
  kind: "book"
  key: "Guo2012"
- title: "Using automatic persistent memoization to facilitate data analysis scripting"
  author:
  - name: "Philip J. Guo"
    link: "http://pgbovine.net/index.html"
  - name: "Dawson R. Engler"
    link: "https://researchr.org/alias/dawson-r.-engler"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/2001420.2001455"
  links:
    doi: "http://doi.acm.org/10.1145/2001420.2001455"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/issta/GuoE11"
  tags:
  - "persistent"
  - "analysis"
  - "data-flow"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/GuoE11"
  cites: 0
  citedby: 0
  pages: "287-297"
  booktitle: "Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011"
  editor:
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "Frank Tip"
    link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/tip.index.html"
  publisher: "ACM"
  isbn: "978-1-4503-0562-4"
  kind: "inproceedings"
  key: "GuoE11"
- title: "Opportunistic Programming: Writing Code to Prototype, Ideate, and Discover"
  author:
  - name: "Joel Brandt"
    link: "https://researchr.org/alias/joel-brandt"
  - name: "Philip J. Guo"
    link: "http://pgbovine.net/index.html"
  - name: "Joel Lewenstein"
    link: "https://researchr.org/alias/joel-lewenstein"
  - name: "Mira Dontcheva"
    link: "https://researchr.org/alias/mira-dontcheva"
  - name: "Scott R. Klemmer"
    link: "https://researchr.org/alias/scott-r.-klemmer"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2009.147"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2009.147"
  tags:
  - "writing"
  - "programming"
  researchr: "https://researchr.org/publication/BrandtGLDK09-0"
  cites: 0
  citedby: 0
  journal: "IEEE Software"
  volume: "26"
  number: "5"
  pages: "18-24"
  kind: "article"
  key: "BrandtGLDK09-0"
- title: "Inference and enforcement of data structure consistency specifications"
  author:
  - name: "Brian Demsky"
    link: "https://researchr.org/alias/brian-demsky"
  - name: "Michael D. Ernst"
    link: "https://researchr.org/alias/michael-d.-ernst"
  - name: "Philip J. Guo"
    link: "http://pgbovine.net/index.html"
  - name: "Stephen McCamant"
    link: "https://researchr.org/alias/stephen-mccamant"
  - name: "Jeff H. Perkins"
    link: "https://researchr.org/alias/jeff-h.-perkins"
  - name: "Martin C. Rinard"
    link: "https://researchr.org/alias/martin-c.-rinard"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1146238.1146266"
  links:
    doi: "http://doi.acm.org/10.1145/1146238.1146266"
  tags:
  - "data-flow"
  - "C++"
  - "consistency"
  researchr: "https://researchr.org/publication/DemskyEGMPR06"
  cites: 0
  citedby: 0
  pages: "233-244"
  booktitle: "Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006"
  editor:
  - name: "Lori L. Pollock"
    link: "https://researchr.org/alias/lori-l.-pollock"
  - name: "Mauro Pezzè"
    link: "https://researchr.org/alias/mauro-pezz%C3%A8"
  publisher: "ACM"
  isbn: "1-59593-263-1"
  kind: "inproceedings"
  key: "DemskyEGMPR06"
- title: "Characterizing and predicting which bugs get fixed: an empirical study of Microsoft Windows"
  author:
  - name: "Philip J. Guo"
    link: "http://pgbovine.net/index.html"
  - name: "Thomas Zimmermann"
    link: "https://researchr.org/alias/thomas-zimmermann"
  - name: "Nachiappan Nagappan"
    link: "https://researchr.org/alias/nachiappan-nagappan"
  - name: "Brendan Murphy"
    link: "https://researchr.org/alias/brendan-murphy"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1806799.1806871"
  links:
    doi: "http://doi.acm.org/10.1145/1806799.1806871"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/GuoZNM10"
  tags:
  - "empirical"
  researchr: "https://researchr.org/publication/GuoZNM10"
  cites: 0
  citedby: 0
  pages: "495-504"
  booktitle: "Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010"
  editor:
  - name: "Jeff Kramer"
    link: "https://researchr.org/alias/jeff-kramer"
  - name: "Judith Bishop"
    link: "https://researchr.org/alias/judith-bishop"
  - name: "Premkumar T. Devanbu"
    link: "https://researchr.org/alias/premkumar-t.-devanbu"
  - name: "Sebastián Uchitel"
    link: "https://researchr.org/alias/sebasti%C3%A1n-uchitel"
  publisher: "ACM"
  isbn: "978-1-60558-719-6"
  kind: "inproceedings"
  key: "GuoZNM10"
- title: "HAMPI: a solver for string constraints"
  author:
  - name: "Adam Kiezun"
    link: "https://researchr.org/alias/adam-kiezun"
  - name: "Vijay Ganesh"
    link: "https://researchr.org/alias/vijay-ganesh"
  - name: "Philip J. Guo"
    link: "http://pgbovine.net/index.html"
  - name: "Pieter Hooimeijer"
    link: "https://researchr.org/alias/pieter-hooimeijer"
  - name: "Michael D. Ernst"
    link: "https://researchr.org/alias/michael-d.-ernst"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1572272.1572286"
  links:
    doi: "http://doi.acm.org/10.1145/1572272.1572286"
  tags:
  - "constraints"
  researchr: "https://researchr.org/publication/KiezunGGHE09"
  cites: 0
  citedby: 0
  pages: "105-116"
  booktitle: "Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009"
  editor:
  - name: "Gregg Rothermel"
    link: "https://researchr.org/alias/gregg-rothermel"
  - name: "Laura K. Dillon"
    link: "https://researchr.org/alias/laura-k.-dillon"
  publisher: "ACM"
  isbn: "978-1-60558-338-9"
  kind: "inproceedings"
  key: "KiezunGGHE09"
- title: "The Daikon system for dynamic detection of likely invariants"
  author:
  - name: "Michael D. Ernst"
    link: "https://researchr.org/alias/michael-d.-ernst"
  - name: "Jeff H. Perkins"
    link: "https://researchr.org/alias/jeff-h.-perkins"
  - name: "Philip J. Guo"
    link: "http://pgbovine.net/index.html"
  - name: "Stephen McCamant"
    link: "https://researchr.org/alias/stephen-mccamant"
  - name: "Carlos Pacheco"
    link: "https://researchr.org/alias/carlos-pacheco"
  - name: "Matthew S. Tschantz"
    link: "https://researchr.org/alias/matthew-s.-tschantz"
  - name: "Chen Xiao"
    link: "https://researchr.org/alias/chen-xiao"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.scico.2007.01.015"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2007.01.015"
  researchr: "https://researchr.org/publication/ErnstPGMPTX07"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "69"
  number: "1-3"
  pages: "35-45"
  kind: "article"
  key: "ErnstPGMPTX07"