BibSonomy publications for /author/Hovemeyer

Using Static Analysis to Find Bugs.

dblp — 2011-11-07T00:00:00+01:00

Nathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, and William Pugh IEEE Software 25(5):22-29 (2008)

Running on the bare metal with GeekOS.

dblp — 2010-07-21T16:02:19+02:00

David Hovemeyer, Jeffrey K. Hollingsworth, and Bobby Bhattacharjee SIGCSE, page 315-319. ACM, (2004)

Bibliography on taxation of foreign operations and foreigners

fbw_hannover — 2009-08-21T10:05:12+02:00

Elisabeth A. Owens, and Gretchen A. Hovemeyer Law School of Harvard Univ., Cambridge, Mass., (1976)

Finding Bugs is Easy

sjbutler — 2009-06-09T17:18:20+02:00

David Hovemeyer, and Wiliam Pugh ACM SIGPLAN Notices 39(12):92-106 (2004)

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

dblp — 2008-05-08T00:00:00+02:00

Jaime Spacco, Jaymie Strecker, David Hovemeyer, and William Pugh ACM SIGSOFT Software Engineering Notes 30(4):1-5 (2005)

An Eclipse-based course project snapshot and submission system.

dblp — 2008-04-02T00:00:00+02:00

Jaime Spacco, David Hovemeyer, and William Pugh ETX, page 52-56. ACM, (2004)

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

dblp — 2007-10-26T00:00:00+02:00

David Hovemeyer, and William Pugh OOPSLA Companion, page 799-800. ACM, (2007)

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

dblp — 2007-08-24T00:00:00+02:00

Jaime Spacco, David Hovemeyer, William Pugh, Fawzi Emad, Jeffrey K. Hollingsworth, and Nelson Padua-Perez ITiCSE, page 13-17. ACM, (2006)

Finding more null pointer bugs, but not too many.

dblp — 2007-06-25T00:00:00+02:00

David Hovemeyer, and William Pugh PASTE, page 9-14. ACM, (2007)

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

dblp — 2007-06-25T00:00:00+02:00

Jaime Spacco, William Pugh, Nathaniel Ayewah, and David Hovemeyer OOPSLA Companion, page 669-670. ACM, (2006)

Improving your software using static analysis to find bugs.

dblp — 2006-12-06T00:00:00+01:00

Brian Cole, Daniel Hakim, David Hovemeyer, Reuven Lazarus, William Pugh, and Kristin Stephens OOPSLA Companion, page 673-674. ACM, (2006)

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

dblp — 2006-09-21T00:00:00+02:00

Jaime Spacco, Jaymie Strecker, David Hovemeyer, and William Pugh MSR, ACM, (2005)

Tracking defect warnings across versions.

dblp — 2006-09-21T00:00:00+02:00

Jaime Spacco, David Hovemeyer, and William Pugh MSR, page 133-136. ACM, (2006)

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

dblp — 2006-03-09T00:00:00+01:00

David Hovemeyer, Jaime Spacco, and William Pugh PASTE, page 13-19. ACM, (2005)

Finding bugs is easy.

dblp — 2006-02-13T00:00:00+01:00

David Hovemeyer, and William Pugh OOPSLA Companion, page 132-136. ACM, (2004)

Finding bugs is easy.

dblp — 2006-02-09T00:00:00+01:00

David Hovemeyer, and William Pugh SIGPLAN Notices 39(12):92-106 (2004)

More Efficient Network Class Loading Through Bundling.

dblp — 2004-09-22T00:00:00+02:00

David Hovemeyer, and William Pugh Java Virtual Machine Research and Technology Symposium, page 127-140. USENIX, (2001)

Atomic Instructions in Java.

dblp — 2002-06-03T00:00:00+02:00

David Hovemeyer, William Pugh, and Jaime Spacco ECOOP, volume 2374 of Lecture Notes in Computer Science, page 133-154. Springer, (2002)