-
David Hovemeyer and David Babcock. Using Terminal Window Graphics in CS1, in Proceedings of CCSC Eastern Conference 2008, Frederick, MD, October, 2008. [Slides (PDF)]
-
Nathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, and William Pugh. Experiences Using Static Analysis to Find Bugs, IEEE Software, September/October 2008.
-
David Hovemeyer and William Pugh. Finding More Null Pointer Bugs, But Not Too Many, in Proceedings of the 2007 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2007), San Diego, CA, USA, June, 2007.
-
Jaime Spacco, David Hovemeyer, William Pugh, Fawzi Emad, Jeffrey K. Hollingsworth, and Nelson Padua-Perez. Experiences with Marmoset, in Proceedings of the Eleventh Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2006), Bologna, Italy, June, 2006.
-
Jaime Spacco, David Hovemeyer, and William Pugh. Tracking Defect Warnings Across Versions, in Proceedings of the Mining Software Repositories Workshop (MSR 2006), Shanghai, China, May, 2006.
-
David Hovemeyer, Jaime Spacco, and William Pugh. Evaluating and Tuning a Static Analysis to Find Null Pointer Bugs, in Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2005), Lisbon, Portugal, September, 2005.
-
Jaime Spacco, Jaymie Strecker, David Hovemeyer, and William Pugh. Software Repository Mining with Marmoset: An Automated Programming Project Snapshot and Testing System, in Proceedings of the Mining Software Repositories Workshop (MSR 2005), St. Louis, Missouri, USA, May, 2005.
-
David Hovemeyer and William Pugh. Finding Bugs is Easy, in SIGPLAN Notices (Proceedings of Onward! at OOPSLA 2004), December, 2004. [Slides (PDF)]
-
Jaime Spacco, David Hovemeyer, and William Pugh. An Eclipse-Based Course Project Snapshot and Submission System, in Proceedings of the Eclipse Technology Exchange Workshop, Vancouver, B.C., Canada, October 24, 2004.
-
David Hovemeyer and William Pugh. Finding Concurrency Bugs in Java. In Proceedings of the PODC Workshop on Concurrency and Synchronization in Java Programs, St. John's, Newfoundland, Canada, July 25-26, 2004. [Slides (PDF)]
-
David Hovemeyer, Jeffrey K. Hollingsworth, and Bobby Bhattacharjee. Running on the Bare Metal with GeekOS, in Proceedings of the 2004 ACM Technical Symposium on Computer Science Education, Norfolk, VA, March 3-7, 2004. [Slides (PDF)]
-
David Hovemeyer, William Pugh, and Jaime Spacco. Atomic Instructions in Java, in Proceedings of the European Conference on Object-Oriented Programming (ECOOP 2002), Málaga, Spain, June 10-14, 2002.
-
David Hovemeyer and William Pugh. More Efficient Network Class Loading Through Bundling, in Proceedings of the USENIX Java Virtual Machine Research and Technology Symposium, Monterey, CA, April, 2001. [Slides (PDF)]
-
Gary McGraw and David Hovemeyer. Untangling the Woven Web: Testing Web-based Software, in Proceedings of the 13th International Conference and Exposition on Testing Computer Software (ICTCS), Washington, DC, June 10-13, 1996.
Posters
-
David Hovemeyer and William Pugh. Status report on JSR-305: Annotations for Software Defect Detection, in Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA '07), Montréal, Québec, Canada, October, 2007.
-
Jaime Spacco, William Pugh, Nat Ayewah, and David Hovemeyer. The Marmoset Project: An Automated Snapshot, Submission, and Testing System, in Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA '06), Portland, OR, USA, October, 2006.
-
Brian Cole, Daniel Hakim, David Hovemeyer, Reuven Lazarus, William Pugh, and Kristin Stephens. Improving Your Software Using Static Analysis to Find Bugs, in Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA '06), Portland, OR, USA, October, 2006.
