David H. Hovemeyer—Publications

This page has links to my publications.

Papers

Thomas Price, David Hovemeyer, Kelly Rivers, Austin Cory Bart, Andrew Petersen, Brett Becker and Jason Lefever. ProgSnap2: A Flexible Format for Programming Process Data, in Proceedings of the 2nd Educational Data Mining in Computer Science Education (CSEDM) Workshop, March 5, 2019, Tempe, Arizona, USA.

Stephen Edwards, David Hovemeyer, and Jaime Spacco. Can Industrial-Strength Static Analysis Be Used to Help Students Who Are Struggling to Complete Programming Activities?, in Proceedings of the Hawaii International Conference on System Sciences (HICSS-52), January 8–11, 2019, Maui, Hawaii, USA.

David Hovemeyer, Arto Hellas, Andrew Petersen, and Jaime Spacco. Control-Flow-Only Abstract Syntax Trees for Analyzing Student Programming Progress, in Proceedings of the 2016 International Computing Education Research Workshop (ICER), September 8–12, 2016, Melbourne, Australia. [Slides (PDF)]

Jaime Spacco, Paul Denny, Brad Richards, David Babcock, James Moscola, David Hovemeyer, and Robert Duvall. Analyzing Student Work Habits using Programming Exercise Data, in Proceedings of the 2015 SIGCSE Technical Symposium on Computer Science Education, Kansas City, MO, USA, March 4–7, 2015. [Slides (PDF)]

Andrei Papancea, Jaime Spacco, and David Hovemeyer. An Open Platform for Managing Short Programming Exercises, in Proceedings of ICER 2013 (International Computing Education Research), San Diego, CA, USA, August 12-14, 2013.

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, Matthew Hertz, Paul Denny, Jaime Spacco, Andrei Papancea, John Stamper, and Kelly Rivers, CloudCoder: Building a Community for Creating, Assigning, Evaluating and Sharing Programming Exercises, in Proceedings of the 2013 ACM Technical Symposium on Computer Science Education, Denver, CO, USA, March 6-9, 2013. [Poster (PDF)].

David Hovemeyer and Jaime Spacco. CloudCoder: A Web-Based Programming Exercise System, in Proceedings of the CCSC Easter Conference 2012, Pomona, NJ, November 2-3, 2012. [Poster (PDF)]

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.