sign in · help · news · about ·

BibSonomy :: author :: Hovemeyer ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(18)

<< < 1 > >>

Using Static Analysis to Find Bugs.
Nathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, and William Pugh IEEE Software 25(5):22-29 (2008)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Running on the bare metal with GeekOS.
David Hovemeyer, Jeffrey K. Hollingsworth, and Bobby Bhattacharjee SIGCSE, page 315-319. ACM, (2004)
to dblp by dblp on Jul 21, 2010, 4:02 PM
URL | BibTeX
Bibliography on taxation of foreign operations and foreigners
Elisabeth A. Owens, and Gretchen A. Hovemeyer Law School of Harvard Univ., Cambridge, Mass., (1976)
to imported by fbw_hannover on Aug 21, 2009, 10:05 AM
URL | BibTeX
Finding Bugs is Easy
David Hovemeyer, and Wiliam Pugh ACM SIGPLAN Notices 39(12):92-106 (2004)
to static_analysis FindBugs by sjbutler and 2 other users on Jun 9, 2009, 5:18 PM
BibTeX
Software repository mining with Marmoset: an automated programming project snapshot and testing system.
Jaime Spacco, Jaymie Strecker, David Hovemeyer, and William Pugh ACM SIGSOFT Software Engineering Notes 30(4):1-5 (2005)
to dblp by dblp and 1 other user on May 8, 2008, 12:00 AM
URL | BibTeX
An Eclipse-based course project snapshot and submission system.
Jaime Spacco, David Hovemeyer, and William Pugh ETX, page 52-56. ACM, (2004)
to dblp by dblp on Apr 2, 2008, 12:00 AM
URL | BibTeX
Status report on JSR-305: annotations for software defect detection.
David Hovemeyer, and William Pugh OOPSLA Companion, page 799-800. ACM, (2007)
to dblp by dblp on Oct 26, 2007, 12:00 AM
URL | BibTeX
Experiences with marmoset: designing and using an advanced submission and testing system for programming courses.
Jaime Spacco, David Hovemeyer, William Pugh, Fawzi Emad, Jeffrey K. Hollingsworth, and Nelson Padua-Perez ITiCSE, page 13-17. ACM, (2006)
to dblp by dblp on Aug 24, 2007, 12:00 AM
URL | BibTeX
Finding more null pointer bugs, but not too many.
David Hovemeyer, and William Pugh PASTE, page 9-14. ACM, (2007)
to dblp by dblp on Jun 25, 2007, 12:00 AM
URL | BibTeX
The Marmoset project: an automated snapshot, submission, and testing system.
Jaime Spacco, William Pugh, Nathaniel Ayewah, and David Hovemeyer OOPSLA Companion, page 669-670. ACM, (2006)
to dblp by dblp on Jun 25, 2007, 12:00 AM
URL | BibTeX
Improving your software using static analysis to find bugs.
Brian Cole, Daniel Hakim, David Hovemeyer, Reuven Lazarus, William Pugh, and Kristin Stephens OOPSLA Companion, page 673-674. ACM, (2006)
to dblp by dblp on Dec 6, 2006, 12:00 AM
URL | BibTeX
Software repository mining with Marmoset: an automated programming project snapshot and testing system.
Jaime Spacco, Jaymie Strecker, David Hovemeyer, and William Pugh MSR, ACM, (2005)
to dblp by dblp and 1 other user on Sep 21, 2006, 12:00 AM
URL | BibTeX
Tracking defect warnings across versions.
Jaime Spacco, David Hovemeyer, and William Pugh MSR, page 133-136. ACM, (2006)
to dblp by dblp on Sep 21, 2006, 12:00 AM
URL | BibTeX
Evaluating and tuning a static analysis to find null pointer bugs.
David Hovemeyer, Jaime Spacco, and William Pugh PASTE, page 13-19. ACM, (2005)
to dblp by dblp and 1 other user on Mar 9, 2006, 12:00 AM
URL | BibTeX
Finding bugs is easy.
David Hovemeyer, and William Pugh OOPSLA Companion, page 132-136. ACM, (2004)
to dblp by dblp and 2 other users on Feb 13, 2006, 12:00 AM
URL | BibTeX
Finding bugs is easy.
David Hovemeyer, and William Pugh SIGPLAN Notices 39(12):92-106 (2004)
to dblp by dblp and 2 other users on Feb 9, 2006, 12:00 AM
URL | BibTeX
More Efficient Network Class Loading Through Bundling.
David Hovemeyer, and William Pugh Java Virtual Machine Research and Technology Symposium, page 127-140. USENIX, (2001)
to dblp by dblp on Sep 22, 2004, 12:00 AM
URL | BibTeX
Atomic Instructions in Java.
David Hovemeyer, William Pugh, and Jaime Spacco ECOOP, volume 2374 of Lecture Notes in Computer Science, page 133-154. Springer, (2002)
to dblp by dblp on Jun 3, 2002, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper