Spatiotemporal Prediction using Data Mining Tools. - Margaret H. Dunham; Nathaniel Ayewah; Zhigang Li 001; Kathryn Bean; Jie Huang (Spatial Databases, 2005)

Challenges in the Formal Verification of Complete State-of-the-Art Processors. - Nathaniel Ayewah; Nikhil Kikkeri; Peter-Michael Seidel (ICCD, 2005)

The Marmoset project: an automated snapshot, submission, and testing system. - Jaime Spacco; William W. Pugh; Nathaniel Ayewah; David Hovemeyer (OOPSLA Companion, 2006)

Unit testing concurrent software. - William W. Pugh; Nathaniel Ayewah (ASE, 2007)

Using FindBugs on production software. - Nathaniel Ayewah; William W. Pugh; J. David Morgenthaler; John Penix; YuQian Zhou (OOPSLA Companion, 2007)

Evaluating static analysis defect warnings on production software. - Nathaniel Ayewah; William W. Pugh; J. David Morgenthaler; John Penix; YuQian Zhou (PASTE, 2007)

A report on a survey and study of static analysis users. - Nathaniel Ayewah; William W. Pugh (DEFECTS, 2008)

Using Static Analysis to Find Bugs. - Nathaniel Ayewah; David Hovemeyer; J. David Morgenthaler; John Penix; William W. Pugh (IEEE Softw., 2008)

Learning from defect removals. - Nathaniel Ayewah; William W. Pugh (MSR, 2009)

The Google FindBugs fixit. - Nathaniel Ayewah; William W. Pugh (ISSTA, 2010)

Null dereference analysis in practice. - Nathaniel Ayewah; William W. Pugh (PASTE, 2010)

Static Analysis in Practice. - Nathaniel Ayewah (2010)