@article{journals/software/AyewahHMPP08,
  added-at = {2011-11-07T00:00:00.000+0100},
  author = {Ayewah, Nathaniel and Hovemeyer, David and Morgenthaler, J. David and Penix, John and Pugh, William},
  biburl = {http://www.bibsonomy.org/bibtex/2ff3eb8a1087f6a673637b2c1e6528a00/dblp},
  ee = {http://doi.ieeecomputersociety.org/10.1109/MS.2008.130},
  interhash = {968c12067b15cdde91382663a44e448d},
  intrahash = {ff3eb8a1087f6a673637b2c1e6528a00},
  journal = {IEEE Software},
  keywords = {dblp},
  number = 5,
  pages = {22-29},
  title = {Using Static Analysis to Find Bugs.},
  url = {http://dblp.uni-trier.de/db/journals/software/software25.html#AyewahHMPP08},
  volume = 25,
  year = 2008
}

@inproceedings{conf/sigcse/HovemeyerHB04,
  added-at = {2010-07-21T16:02:19.000+0200},
  author = {Hovemeyer, David and Hollingsworth, Jeffrey K. and Bhattacharjee, Bobby},
  biburl = {http://www.bibsonomy.org/bibtex/2d7e244dd775a5f3840d65d84c94ccf4a/dblp},
  booktitle = {SIGCSE},
  crossref = {conf/sigcse/2004},
  date = {2006-02-15},
  editor = {Joyce, Daniel T. and Knox, Deborah and Dann, Wanda and Naps, Thomas L.},
  ee = {http://doi.acm.org/10.1145/971300.971411},
  interhash = {5157ef61d18f6a3c5e245f3b72dceb77},
  intrahash = {d7e244dd775a5f3840d65d84c94ccf4a},
  isbn = {1-58113-798-2},
  keywords = {dblp},
  pages = {315-319},
  publisher = {ACM},
  title = {Running on the bare metal with GeekOS.},
  url = {http://dblp.uni-trier.de/db/conf/sigcse/sigcse2004.html#HovemeyerHB04},
  year = 2004
}

@book{GVK185633994,
  added-at = {2009-08-21T10:05:12.000+0200},
  address = {Cambridge, Mass.},
  author = {Owens, {Elisabeth A.} and Hovemeyer, {Gretchen A.}},
  biburl = {http://www.bibsonomy.org/bibtex/21750061ba99ae4142352e2a7137e3d49/fbw_hannover},
  interhash = {edf150d1c5bb3c94620bfd331df3fa27},
  intrahash = {1750061ba99ae4142352e2a7137e3d49},
  isbn = {0915506211},
  keywords = {imported},
  pagetotal = {XIII, 107},
  ppn_gvk = {185633994},
  publisher = {Law School of Harvard Univ.},
  subtitle = {1968 - 1975},
  title = {Bibliography on taxation of foreign operations and foreigners},
  url = {http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+185633994&sourceid=fbw_bibsonomy},
  year = 1976
}

@article{Hovemeyer2004,
  added-at = {2009-06-09T17:18:20.000+0200},
  author = {Hovemeyer, David and Pugh, Wiliam},
  biburl = {http://www.bibsonomy.org/bibtex/2a9cb930dfc7b3cfe28e255c9a8880f42/sjbutler},
  interhash = {d96f47d4823895d95d56fd568811c996},
  intrahash = {a9cb930dfc7b3cfe28e255c9a8880f42},
  journal = {ACM SIGPLAN Notices},
  keywords = {static_analysis FindBugs},
  number = 12,
  pages = {92-106},
  title = {Finding Bugs is Easy},
  volume = 39,
  year = 2004
}

@article{journals/sigsoft/SpaccoSHP05,
  added-at = {2008-05-08T00:00:00.000+0200},
  author = {Spacco, Jaime and Strecker, Jaymie and Hovemeyer, David and Pugh, William},
  biburl = {http://www.bibsonomy.org/bibtex/2e6658f1a69df4e7f3df45e945f4c9ef6/dblp},
  date = {2008-05-08},
  description = {dblp},
  ee = {http://doi.acm.org/10.1145/1082983.1083149},
  interhash = {45136b166e49eb509a1cc248bd84af29},
  intrahash = {e6658f1a69df4e7f3df45e945f4c9ef6},
  journal = {ACM SIGSOFT Software Engineering Notes},
  keywords = {dblp},
  number = 4,
  pages = {1-5},
  title = {Software repository mining with Marmoset: an automated programming project snapshot and testing system.},
  url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft30.html#SpaccoSHP05},
  volume = 30,
  year = 2005
}

@inproceedings{conf/eclipse/SpaccoHP04,
  added-at = {2008-04-02T00:00:00.000+0200},
  author = {Spacco, Jaime and Hovemeyer, David and Pugh, William},
  biburl = {http://www.bibsonomy.org/bibtex/2831468038df91c73cda9907b077f4f42/dblp},
  booktitle = {ETX},
  crossref = {conf/eclipse/2004},
  date = {2008-04-02},
  description = {dblp},
  editor = {Burke, Michael G.},
  ee = {http://doi.acm.org/10.1145/1066129.1066140},
  interhash = {4f7a3a86f551f5eb86303bd15ffe2c8b},
  intrahash = {831468038df91c73cda9907b077f4f42},
  keywords = {dblp},
  pages = {52-56},
  publisher = {ACM},
  title = {An Eclipse-based course project snapshot and submission system.},
  url = {http://dblp.uni-trier.de/db/conf/eclipse/eclipse2004.html#SpaccoHP04},
  year = 2004
}

@inproceedings{conf/oopsla/HovemeyerP07,
  added-at = {2007-10-26T00:00:00.000+0200},
  author = {Hovemeyer, David and Pugh, William},
  biburl = {http://www.bibsonomy.org/bibtex/2919dbfdd17af95d3faaf37f58688b9e3/dblp},
  booktitle = {OOPSLA Companion},
  crossref = {conf/oopsla/2007c},
  date = {2007-10-26},
  description = {dblp},
  editor = {Gabriel, Richard P. and Bacon, David F. and Lopes, Cristina Videira and Jr., Guy L. Steele},
  ee = {http://doi.acm.org/10.1145/1297846.1297894},
  interhash = {b3ea0a143e665ebc4d60d93c73ebd149},
  intrahash = {919dbfdd17af95d3faaf37f58688b9e3},
  isbn = {978-1-59593-865-7},
  keywords = {dblp},
  pages = {799-800},
  publisher = {ACM},
  title = {Status report on JSR-305: annotations for software defect detection.},
  url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2007c.html#HovemeyerP07},
  year = 2007
}

@inproceedings{conf/iticse/SpaccoHPEHP06,
  added-at = {2007-08-24T00:00:00.000+0200},
  author = {Spacco, Jaime and Hovemeyer, David and Pugh, William and Emad, Fawzi and Hollingsworth, Jeffrey K. and Padua-Perez, Nelson},
  biburl = {http://www.bibsonomy.org/bibtex/2643b7760a5244c3d05d0a709fff5095e/dblp},
  booktitle = {ITiCSE},
  crossref = {conf/iticse/2006},
  date = {2007-08-24},
  description = {dblp},
  editor = {Davoli, Renzo and Goldweber, Michael and Salomoni, Paola},
  ee = {http://doi.acm.org/10.1145/1140124.1140131},
  interhash = {5d9215a4f5b4e4fcc50c9bd5dba58b38},
  intrahash = {643b7760a5244c3d05d0a709fff5095e},
  isbn = {1-59593-055-8},
  keywords = {dblp},
  pages = {13-17},
  publisher = {ACM},
  title = {Experiences with marmoset: designing and using an advanced submission and testing system for programming courses.},
  url = {http://dblp.uni-trier.de/db/conf/iticse/iticse2006.html#SpaccoHPEHP06},
  year = 2006
}

@inproceedings{conf/paste/HovemeyerP07,
  added-at = {2007-06-25T00:00:00.000+0200},
  author = {Hovemeyer, David and Pugh, William},
  biburl = {http://www.bibsonomy.org/bibtex/291988ffe87233fc878fbf864aa0a03bf/dblp},
  booktitle = {PASTE},
  crossref = {conf/paste/2007},
  date = {2007-06-25},
  description = {dblp},
  editor = {Das, Manuvir and Grossman, Dan},
  ee = {http://doi.acm.org/10.1145/1251535.1251537},
  interhash = {3df8a402a2245d597fffd7bb08f23fa4},
  intrahash = {91988ffe87233fc878fbf864aa0a03bf},
  isbn = {978-1-59593-595-3},
  keywords = {dblp},
  pages = {9-14},
  publisher = {ACM},
  title = {Finding more null pointer bugs, but not too many.},
  url = {http://dblp.uni-trier.de/db/conf/paste/paste2007.html#HovemeyerP07},
  year = 2007
}

@inproceedings{conf/oopsla/SpaccoPAH06,
  added-at = {2007-06-25T00:00:00.000+0200},
  author = {Spacco, Jaime and Pugh, William and Ayewah, Nathaniel and Hovemeyer, David},
  biburl = {http://www.bibsonomy.org/bibtex/2e7fbe642e1d1d3a314a8f4e2332abe2b/dblp},
  booktitle = {OOPSLA Companion},
  crossref = {conf/oopsla/2006c},
  date = {2007-06-25},
  description = {dblp},
  editor = {Tarr, Peri L. and Cook, William R.},
  ee = {http://doi.acm.org/10.1145/1176617.1176665},
  interhash = {5e2792c0e56c63f0a4fd35de0a3326e8},
  intrahash = {e7fbe642e1d1d3a314a8f4e2332abe2b},
  isbn = {1-59593-491-X},
  keywords = {dblp},
  pages = {669-670},
  publisher = {ACM},
  title = {The Marmoset project: an automated snapshot, submission, and testing system.},
  url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2006c.html#SpaccoPAH06},
  year = 2006
}

@inproceedings{conf/oopsla/ColeHHLPS06,
  added-at = {2006-12-06T00:00:00.000+0100},
  author = {Cole, Brian and Hakim, Daniel and Hovemeyer, David and Lazarus, Reuven and Pugh, William and Stephens, Kristin},
  biburl = {http://www.bibsonomy.org/bibtex/27209b44a30ebae35b64662ff5bd75bbb/dblp},
  booktitle = {OOPSLA Companion},
  crossref = {conf/oopsla/2006c},
  date = {2006-12-06},
  description = {dblp},
  editor = {Tarr, Peri L. and Cook, William R.},
  ee = {http://doi.acm.org/10.1145/1176617.1176667},
  interhash = {b9cfe31c5ff1ebe56da79638d19b3b73},
  intrahash = {7209b44a30ebae35b64662ff5bd75bbb},
  isbn = {1-59593-491-X},
  keywords = {dblp},
  pages = {673-674},
  publisher = {ACM},
  title = {Improving your software using static analysis to find bugs.},
  url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2006c.html#ColeHHLPS06},
  year = 2006
}

@inproceedings{conf/msr/SpaccoSHP05,
  added-at = {2006-09-21T00:00:00.000+0200},
  author = {Spacco, Jaime and Strecker, Jaymie and Hovemeyer, David and Pugh, William},
  biburl = {http://www.bibsonomy.org/bibtex/262adce5089315e7581a38ec5a98def02/dblp},
  booktitle = {MSR},
  crossref = {conf/msr/2005},
  date = {2006-09-21},
  description = {dblp},
  ee = {http://doi.acm.org/10.1145/1083142.1083149},
  interhash = {45136b166e49eb509a1cc248bd84af29},
  intrahash = {62adce5089315e7581a38ec5a98def02},
  isbn = {1-59593-123-6},
  keywords = {dblp},
  publisher = {ACM},
  title = {Software repository mining with Marmoset: an automated programming project snapshot and testing system.},
  url = {http://dblp.uni-trier.de/db/conf/msr/msr2005.html#SpaccoSHP05},
  year = 2005
}

@inproceedings{conf/msr/SpaccoHP06,
  added-at = {2006-09-21T00:00:00.000+0200},
  author = {Spacco, Jaime and Hovemeyer, David and Pugh, William},
  biburl = {http://www.bibsonomy.org/bibtex/21b314b312f0f890a5ffdc07905e50692/dblp},
  booktitle = {MSR},
  crossref = {conf/msr/2006},
  date = {2006-09-21},
  description = {dblp},
  editor = {Diehl, Stephan and Gall, Harald and Hassan, Ahmed E.},
  ee = {http://doi.acm.org/10.1145/1137983.1138014},
  interhash = {e76d4676a019c67c749f9439f67f52a1},
  intrahash = {1b314b312f0f890a5ffdc07905e50692},
  isbn = {1-59593-397-2},
  keywords = {dblp},
  pages = {133-136},
  publisher = {ACM},
  title = {Tracking defect warnings across versions.},
  url = {http://dblp.uni-trier.de/db/conf/msr/msr2006.html#SpaccoHP06},
  year = 2006
}

@inproceedings{conf/paste/HovemeyerSP05,
  added-at = {2006-03-09T00:00:00.000+0100},
  author = {Hovemeyer, David and Spacco, Jaime and Pugh, William},
  biburl = {http://www.bibsonomy.org/bibtex/22f29b184658b01e6e1c483607f8efb53/dblp},
  booktitle = {PASTE},
  crossref = {conf/paste/2005},
  date = {2006-03-09},
  description = {dblp},
  editor = {Ernst, Michael D. and Jensen, Thomas P.},
  ee = {http://doi.acm.org/10.1145/1108792.1108798},
  interhash = {37ac8fc47c1f9a70db31dfbced81def5},
  intrahash = {2f29b184658b01e6e1c483607f8efb53},
  isbn = {1-59593-239-9},
  keywords = {dblp},
  pages = {13-19},
  publisher = {ACM},
  title = {Evaluating and tuning a static analysis to find null pointer bugs.},
  url = {http://dblp.uni-trier.de/db/conf/paste/paste2005.html#HovemeyerSP05},
  year = 2005
}

@inproceedings{conf/oopsla/HovemeyerP04,
  added-at = {2006-02-13T00:00:00.000+0100},
  author = {Hovemeyer, David and Pugh, William},
  biburl = {http://www.bibsonomy.org/bibtex/2d4fd8dbf123bdc1f58b5a82e2016f12c/dblp},
  booktitle = {OOPSLA Companion},
  crossref = {conf/oopsla/2004},
  date = {2006-02-13},
  description = {dblp},
  editor = {Vlissides, John M. and Schmidt, Douglas C.},
  ee = {http://doi.acm.org/10.1145/1028664.1028717},
  interhash = {d96f47d4823895d95d56fd568811c996},
  intrahash = {d4fd8dbf123bdc1f58b5a82e2016f12c},
  isbn = {1-58113-833-4},
  keywords = {dblp},
  pages = {132-136},
  publisher = {ACM},
  title = {Finding bugs is easy.},
  url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2004.html#HovemeyerP04},
  year = 2004
}

@article{journals/sigplan/HovemeyerP04,
  added-at = {2006-02-09T00:00:00.000+0100},
  author = {Hovemeyer, David and Pugh, William},
  biburl = {http://www.bibsonomy.org/bibtex/207617f3e8ac19bb27a27306cb2051309/dblp},
  date = {2006-02-09},
  description = {dblp},
  ee = {http://doi.acm.org/10.1145/1052883.1052895},
  interhash = {d96f47d4823895d95d56fd568811c996},
  intrahash = {07617f3e8ac19bb27a27306cb2051309},
  journal = {SIGPLAN Notices},
  keywords = {dblp},
  number = 12,
  pages = {92-106},
  title = {Finding bugs is easy.},
  url = {http://dblp.uni-trier.de/db/journals/sigplan/sigplan39.html#HovemeyerP04},
  volume = 39,
  year = 2004
}

@inproceedings{conf/jvm/HovemeyerP01,
  added-at = {2004-09-22T00:00:00.000+0200},
  author = {Hovemeyer, David and Pugh, William},
  biburl = {http://www.bibsonomy.org/bibtex/268b32773e239d423efb918d36aaff789/dblp},
  booktitle = {Java™ Virtual Machine Research and Technology Symposium},
  crossref = {conf/jvm/2001},
  date = {2004-09-22},
  description = {dblp},
  ee = {http://www.usenix.org/publications/library/proceedings/jvm01/hovemeyer.html},
  interhash = {20f758eec30ebb440f6f793bfd6a0381},
  intrahash = {68b32773e239d423efb918d36aaff789},
  isbn = {1-880446-11-1},
  keywords = {dblp},
  pages = {127-140},
  publisher = {USENIX},
  title = {More Efficient Network Class Loading Through Bundling.},
  url = {http://dblp.uni-trier.de/db/conf/jvm/jvm2001.html#HovemeyerP01},
  year = 2001
}

@inproceedings{conf/ecoop/HovemeyerPS02,
  added-at = {2002-06-03T00:00:00.000+0200},
  author = {Hovemeyer, David and Pugh, William and Spacco, Jaime},
  biburl = {http://www.bibsonomy.org/bibtex/273bb9effa76bc946621ee7fe11178cdf/dblp},
  booktitle = {ECOOP},
  crossref = {conf/ecoop/2002},
  date = {2002-06-03},
  description = {dblp},
  editor = {Magnusson, Boris},
  ee = {http://link.springer.de/link/service/series/0558/bibs/2374/23740133.htm},
  interhash = {b6408228e2df2e1548dacaa7e29357e0},
  intrahash = {73bb9effa76bc946621ee7fe11178cdf},
  isbn = {3-540-43759-2},
  keywords = {dblp},
  pages = {133-154},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Atomic Instructions in Java.},
  url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2002.html#HovemeyerPS02},
  volume = 2374,
  year = 2002
}