Nathaniel Ayewah

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

University of Maryland, College Park, MD, USA (PHD)

Education History

University of Maryland, College Park, MD, USA

PHD

Publications

Nathaniel Ayewah, William Pugh
The Google FindBugs fixit. ISSTA (2010)
Nathaniel Ayewah, William Pugh
Null dereference analysis in practice. PASTE (2010)
Nathaniel Ayewah, William Pugh
Learning from defect removals. MSR (2009)
Nathaniel Ayewah, William Pugh
A report on a survey and study of static analysis users. DEFECTS (2008)
Nathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, William Pugh
Using Static Analysis to Find Bugs. IEEE Softw. 25 (5) (2008)
William Pugh, Nathaniel Ayewah
Unit testing concurrent software. ASE (2007)
Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, YuQian Zhou
Evaluating static analysis defect warnings on production software. PASTE (2007)
Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, YuQian Zhou
Using FindBugs on production software. OOPSLA Companion (2007)
Jaime Spacco, William Pugh, Nathaniel Ayewah, David Hovemeyer
The Marmoset project: an automated snapshot, submission, and testing system. OOPSLA Companion (2006)
Nathaniel Ayewah, Nikhil Kikkeri, Peter-Michael Seidel
Challenges in the Formal Verification of Complete State-of-the-Art Processors. ICCD (2005)