David Hovemeyer

According to our database, David Hovemeyer authored at least 27 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

A Framework for Declarative Autograders.

David Hovemeyer

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

2020

ProgSnap2: A Flexible Format for Programming Process Data.

Thomas W. Price, David Hovemeyer, Kelly Rivers, Ge Gao, Austin Cory Bart, Ayaan M. Kazerouni, Brett A. Becker, Andrew Petersen, Luke Gusukuma, Stephen H. Edwards, David Babcock

Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020

2019

Can Industrial-Strength Static Analysis Be Used to Help Students Who Are Struggling to Complete Programming Activities?

Stephen H. Edwards, Jaime Spacco, David Hovemeyer

Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

2018

Peer Instruction: Tips, Techniques and Resources (Abstract Only).

Cynthia Bagier Taylor, Jaime Spacco, David P. Bunde, Joe Hummel, David Hovemeyer

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

2017

Peer Instruction in Practice (Abstract Only).

Cynthia Bagier Taylor, Joe Hummel, David Hovemeyer, David P. Bunde, John F. Dooley, Jaime Spacco

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

Progsnap: Sharing Programming Snapshots for Research (Abstract Only).

David Hovemeyer, Arto Hellas, Andrew Petersen, Jaime Spacco

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

2016

FunWithSound: A Music Composition and Synthesis Library for Processing (Abstract Only).

David Hovemeyer

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

Control-Flow-Only Abstract Syntax Trees for Analyzing Students' Programming Progress.

David Hovemeyer, Arto Hellas, Andrew Petersen, Jaime Spacco

Proceedings of the 2016 ACM Conference on International Computing Education Research, 2016

2015

Analyzing Student Work Patterns Using Programming Exercise Data.

Jaime Spacco, Paul Denny, Brad Richards, David Babcock, David Hovemeyer, James Moscola, Robert C. Duvall

Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

2014

Using and sharing programming exercises to improve introductory courses (abstract only).

David Hovemeyer, Jaime Spacco, Robert C. Duvall, Stephen H. Edwards, Amruth N. Kumar, Andrew Petersen, Daniel Zingaro

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

2013

CloudCoder: building a community for creating, assigning, evaluating and sharing programming exercises (abstract only).

David Hovemeyer, Matthew Hertz, Paul Denny, Jaime Spacco, Andrei Papancea, John C. Stamper, Kelly Rivers

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

An open platform for managing short programming exercises.

Andrei Papancea, Jaime Spacco, David Hovemeyer

Proceedings of the International Computing Education Research Conference, 2013

2008

Using Static Analysis to Find Bugs.

Nathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, William W. Pugh

IEEE Softw., 2008

2007

Finding more null pointer bugs, but not too many.

David Hovemeyer, William W. Pugh

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

Status report on JSR-305: annotations for software defect detection.

David Hovemeyer, William W. Pugh

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2006

The Marmoset project: an automated snapshot, submission, and testing system.

Jaime Spacco, William W. Pugh, Nathaniel Ayewah, David Hovemeyer

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Improving your software using static analysis to find bugs.

Brian Cole, Daniel Hakim, David Hovemeyer, Reuven Lazarus, William W. Pugh, Kristin Stephens

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Tracking defect warnings across versions.

Jaime Spacco, David Hovemeyer, William W. Pugh

Proceedings of the 2006 International Workshop on Mining Software Repositories, 2006

Experiences with marmoset: designing and using an advanced submission and testing system for programming courses.

Jaime Spacco, David Hovemeyer, William W. Pugh, Fawzi Emad, Jeffrey K. Hollingsworth, Nelson Padua-Perez

Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2006

2005

Simple and Effective Static Analysis to Find Bugs.

David Hovemeyer

PhD thesis, 2005

Software repository mining with Marmoset: an automated programming project snapshot and testing system.

Jaime Spacco, Jaymie Strecker, David Hovemeyer, William W. Pugh

ACM SIGSOFT Softw. Eng. Notes, 2005

Evaluating and tuning a static analysis to find null pointer bugs.

David Hovemeyer, Jaime Spacco, William W. Pugh

Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

2004

Finding bugs is easy.

David Hovemeyer, William W. Pugh

ACM SIGPLAN Notices, 2004

Running on the bare metal with GeekOS.

David Hovemeyer, Jeffrey K. Hollingsworth, Bobby Bhattacharjee

Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

An Eclipse-based course project snapshot and submission system.

Jaime Spacco, David Hovemeyer, William W. Pugh

Proceedings of the 2004 OOPSLA workshop on Eclipse Technology eXchange, 2004

2002

Atomic Instructions in Java.

David Hovemeyer, William W. Pugh, Jaime Spacco

Proceedings of the ECOOP 2002, 2002

2001

More Efficient Network Class Loading Through Bundling.

David Hovemeyer, William W. Pugh

Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, 2001