2008 |
16 | EE | Nathaniel Ayewah,
David Hovemeyer,
J. David Morgenthaler,
John Penix,
William Pugh:
Using Static Analysis to Find Bugs.
IEEE Software 25(5): 22-29 (2008) |
2007 |
15 | EE | David Hovemeyer,
William Pugh:
Status report on JSR-305: annotations for software defect detection.
OOPSLA Companion 2007: 799-800 |
14 | EE | David Hovemeyer,
William Pugh:
Finding more null pointer bugs, but not too many.
PASTE 2007: 9-14 |
2006 |
13 | EE | Jaime Spacco,
David Hovemeyer,
William Pugh,
Fawzi Emad,
Jeffrey K. Hollingsworth,
Nelson Padua-Perez:
Experiences with marmoset: designing and using an advanced submission and testing system for programming courses.
ITiCSE 2006: 13-17 |
12 | EE | Jaime Spacco,
David Hovemeyer,
William Pugh:
Tracking defect warnings across versions.
MSR 2006: 133-136 |
11 | EE | Jaime Spacco,
William Pugh,
Nathaniel Ayewah,
David Hovemeyer:
The Marmoset project: an automated snapshot, submission, and testing system.
OOPSLA Companion 2006: 669-670 |
10 | EE | Brian Cole,
Daniel Hakim,
David Hovemeyer,
Reuven Lazarus,
William Pugh,
Kristin Stephens:
Improving your software using static analysis to find bugs.
OOPSLA Companion 2006: 673-674 |
2005 |
9 | EE | Jaime Spacco,
Jaymie Strecker,
David Hovemeyer,
William Pugh:
Software repository mining with Marmoset: an automated programming project snapshot and testing system.
MSR 2005 |
8 | EE | David Hovemeyer,
Jaime Spacco,
William Pugh:
Evaluating and tuning a static analysis to find null pointer bugs.
PASTE 2005: 13-19 |
7 | EE | Jaime Spacco,
Jaymie Strecker,
David Hovemeyer,
William Pugh:
Software repository mining with Marmoset: an automated programming project snapshot and testing system.
ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005) |
2004 |
6 | EE | Jaime Spacco,
David Hovemeyer,
William Pugh:
An Eclipse-based course project snapshot and submission system.
ETX 2004: 52-56 |
5 | EE | David Hovemeyer,
William Pugh:
Finding bugs is easy.
OOPSLA Companion 2004: 132-136 |
4 | EE | David Hovemeyer,
Jeffrey K. Hollingsworth,
Bobby Bhattacharjee:
Running on the bare metal with GeekOS.
SIGCSE 2004: 315-319 |
3 | EE | David Hovemeyer,
William Pugh:
Finding bugs is easy.
SIGPLAN Notices 39(12): 92-106 (2004) |
2002 |
2 | EE | David Hovemeyer,
William Pugh,
Jaime Spacco:
Atomic Instructions in Java.
ECOOP 2002: 133-154 |
2001 |
1 | EE | David Hovemeyer,
William Pugh:
More Efficient Network Class Loading Through Bundling.
Java Virtual Machine Research and Technology Symposium 2001: 127-140 |