David Hovemeyer

发表

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

David Hovemeyer, Cynthia Taylor, Jaime Spacco, 2018, SIGCSE.

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

David Hovemeyer, 2016, SIGCSE 2016.

Evaluating and tuning a static analysis to find null pointer bugs

David Hovemeyer, William Pugh, Jaime Spacco, 2005, PASTE '05.

Tracking defect warnings across versions

David Hovemeyer, William Pugh, Jaime Spacco, 2006, MSR '06.

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

Stephen H. Edwards, David Hovemeyer, Amruth N. Kumar, 2014, SIGCSE '14.

Finding Concurrency Bugs in Java

David Hovemeyer, David Hovemeyer, 2004 .

Running on the bare metal with GeekOS

David Hovemeyer, Jeffrey K. Hollingsworth, Bobby Bhattacharjee, 2004 .

Using terminal window graphics in CS1

David Hovemeyer, David Babcock, 2009 .

Software repository mining with Marmoset

David Hovemeyer, William Pugh, Jaime Spacco, 2005, MSR.

More Efficient Network Class Loading Through Bundling

David Hovemeyer, William Pugh, 2001, Java Virtual Machine Research and Technology Symposium.

Simple and Effective Static Analysis to Find Bugs

David Hovemeyer, 2005 .

An Eclipse-based course project snapshot and submission system

David Hovemeyer, William Pugh, Jaime Spacco, 2004, eclipse '04.

Peer Instruction in Practice (Abstract Only)

David Hovemeyer, Cynthia Taylor, Jaime Spacco, 2017, SIGCSE.

Making music with FunWithSound, processing, and Java: tutorial presentation

David Hovemeyer, 2016 .

Running on the bare metal with GeekOS

David Hovemeyer, Bobby Bhattacharjee, Jeffrey K. Hollingsworth, 2004, SIGCSE '04.

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

Stephen H. Edwards, David Hovemeyer, Jaime Spacco, 2019, HICSS.

GeekOS: An Instructional Operating System for Real Hardware

David Hovemeyer, 2001 .

Finding bugs is easy : Track

David Hovemeyer, William Pugh, 2004 .

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

David Hovemeyer, John C. Stamper, Jaime Spacco, 2013, SIGCSE '13.

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

David Hovemeyer, William Pugh, Jaime Spacco, 2005, ACM SIGSOFT Softw. Eng. Notes.

Progsnap: Sharing Programming Snapshots for Research (Abstract Only)

David Hovemeyer, Arto Hellas, Jaime Spacco, 2017, SIGCSE.

Finding bugs is easy

David Hovemeyer, William Pugh, W. Pugh, 2004, SIGP.

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

David Hovemeyer, William Pugh, 2007, OOPSLA '07.

ProgSnap2: A Flexible Format for Programming Process Data

Stephen H. Edwards, David Hovemeyer, Austin Cory Bart, 2019, ITiCSE.

Using Static Analysis to Find Bugs

David Hovemeyer, J. David Morgenthaler, William Pugh, 2008, IEEE Software.

Improving your software using static analysis to find bugs

David Hovemeyer, William Pugh, Kristin Stephens, 2006, OOPSLA '06.

CloudCoder: a web-based programming exercise system

David Hovemeyer, Jaime Spacco, David Hovemeyer, 2013 .

Experiences Using Static Analysis to Find Bugs

David Hovemeyer, J. David Morgenthaler, William Pugh, 2008 .

Atomic Instructions in Java

David Hovemeyer, William Pugh, Jaime Spacco, 2002, ECOOP.

An open platform for managing short programming exercises

David Hovemeyer, Jaime Spacco, Andrei Papancea, 2013, ICER '13.

Finding more null pointer bugs, but not too many

David Hovemeyer, William Pugh, W. Pugh, 2007, PASTE '07.

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

David Hovemeyer, William Pugh, Jaime Spacco, 2006, ITICSE '06.

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

David Hovemeyer, William Pugh, Jaime Spacco, 2006, OOPSLA '06.

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

David Hovemeyer, Arto Hellas, Jaime Spacco, 2016, ICER.

Analyzing Student Work Patterns Using Programming Exercise Data

David Hovemeyer, Jaime Spacco, Paul Denny, 2015, SIGCSE.

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

David Hovemeyer, William Pugh, Jaime Spacco, 2006, ITiCSE.

Untangling the Woven Web: Testing Web-based Software

David Hovemeyer, Gary McGraw, G. McGraw, 1996 .