@inproceedings{GuoPME06, title = {Dynamic inference of abstract types}, author = {Philip J. Guo and Jeff H. Perkins and Stephen McCamant and Michael D. Ernst}, year = {2006}, doi = {10.1145/1146238.1146268}, url = {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 = {Lori L. Pollock and Mauro Pezzè}, publisher = {ACM}, isbn = {1-59593-263-1}, } @inproceedings{BrandtGLDK09, title = {Two studies of opportunistic programming: interleaving web foraging, learning, and writing code}, author = {Joel Brandt and Philip J. Guo and Joel Lewenstein and Mira Dontcheva and Scott R. Klemmer}, year = {2009}, doi = {10.1145/1518701.1518944}, url = {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 = {Dan R. Olsen Jr. and Richard B. Arthur and Ken Hinckley and Meredith Ringel Morris and Scott E. Hudson and Saul Greenberg}, publisher = {ACM}, isbn = {978-1-60558-246-7}, } @inproceedings{GaneshKAGHE11, title = {HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection}, author = {Vijay Ganesh and Adam Kiezun and Shay Artzi and Philip J. Guo and Pieter Hooimeijer and Michael D. Ernst}, year = {2011}, doi = {10.1007/978-3-642-22110-1_1}, url = {http://dx.doi.org/10.1007/978-3-642-22110-1_1}, 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 = {Ganesh Gopalakrishnan and Shaz Qadeer}, volume = {6806}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-22109-5}, } @inproceedings{GuoZNM11, title = { Not my bug! and other reasons for software bug report reassignments}, author = {Philip J. Guo and Thomas Zimmermann and Nachiappan Nagappan and Brendan Murphy}, year = {2011}, doi = {10.1145/1958824.1958887}, url = {http://doi.acm.org/10.1145/1958824.1958887}, 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 = {Pamela J. Hinds and John C. Tang and Jian Wang and Jakob E. Bardram and Nicolas Ducheneaut}, publisher = {ACM}, isbn = {978-1-4503-0556-3}, } @inproceedings{KiezunGJE09, title = {Automatic creation of SQL Injection and cross-site scripting attacks}, author = {Adam Kiezun and Philip J. Guo and Karthick Jayaraman and Michael D. Ernst}, year = {2009}, doi = {10.1109/ICSE.2009.5070521}, url = {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}, } @book{Guo2012, title = {The Ph.D. Grind}, author = {Philip J. Guo}, year = {2012}, researchr = {https://researchr.org/publication/Guo2012}, cites = {0}, citedby = {0}, } @inproceedings{GuoE11, title = {Using automatic persistent memoization to facilitate data analysis scripting}, author = {Philip J. Guo and Dawson R. Engler}, year = {2011}, doi = {10.1145/2001420.2001455}, url = {http://doi.acm.org/10.1145/2001420.2001455}, 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 = {Matthew B. Dwyer and Frank Tip}, publisher = {ACM}, isbn = {978-1-4503-0562-4}, } @article{BrandtGLDK09-0, title = {Opportunistic Programming: Writing Code to Prototype, Ideate, and Discover}, author = {Joel Brandt and Philip J. Guo and Joel Lewenstein and Mira Dontcheva and Scott R. Klemmer}, year = {2009}, doi = {10.1109/MS.2009.147}, url = {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}, } @inproceedings{DemskyEGMPR06, title = {Inference and enforcement of data structure consistency specifications}, author = {Brian Demsky and Michael D. Ernst and Philip J. Guo and Stephen McCamant and Jeff H. Perkins and Martin C. Rinard}, year = {2006}, doi = {10.1145/1146238.1146266}, url = {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 = {Lori L. Pollock and Mauro Pezzè}, publisher = {ACM}, isbn = {1-59593-263-1}, } @inproceedings{GuoZNM10, title = {Characterizing and predicting which bugs get fixed: an empirical study of Microsoft Windows}, author = {Philip J. Guo and Thomas Zimmermann and Nachiappan Nagappan and Brendan Murphy}, year = {2010}, doi = {10.1145/1806799.1806871}, url = {http://doi.acm.org/10.1145/1806799.1806871}, 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 = {Jeff Kramer and Judith Bishop and Premkumar T. Devanbu and Sebastián Uchitel}, publisher = {ACM}, isbn = {978-1-60558-719-6}, } @inproceedings{KiezunGGHE09, title = {HAMPI: a solver for string constraints}, author = {Adam Kiezun and Vijay Ganesh and Philip J. Guo and Pieter Hooimeijer and Michael D. Ernst}, year = {2009}, doi = {10.1145/1572272.1572286}, url = {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 = {Gregg Rothermel and Laura K. Dillon}, publisher = {ACM}, isbn = {978-1-60558-338-9}, } @article{ErnstPGMPTX07, title = {The Daikon system for dynamic detection of likely invariants}, author = {Michael D. Ernst and Jeff H. Perkins and Philip J. Guo and Stephen McCamant and Carlos Pacheco and Matthew S. Tschantz and Chen Xiao}, year = {2007}, doi = {10.1016/j.scico.2007.01.015}, url = {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}, }