Nathaniel Ayewah

According to our database, Nathaniel Ayewah authored at least 12 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Static Analysis in Practice.

Nathaniel Ayewah

PhD thesis, 2010

Null dereference analysis in practice.

Nathaniel Ayewah, William W. Pugh

Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2010

The Google FindBugs fixit.

Nathaniel Ayewah, William W. Pugh

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

2009

Learning from defect removals.

Nathaniel Ayewah, William W. Pugh

Proceedings of the 6th International Working Conference on Mining Software Repositories, 2009

2008

Using Static Analysis to Find Bugs.

Nathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, William W. Pugh

IEEE Softw., 2008

A report on a survey and study of static analysis users.

Nathaniel Ayewah, William W. Pugh

Proceedings of the 2008 Workshop on Defects in Large Software Systems, 2008

2007

Evaluating static analysis defect warnings on production software.

Nathaniel Ayewah, William W. Pugh, J. David Morgenthaler, John Penix, YuQian Zhou

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

Using FindBugs on production software.

Nathaniel Ayewah, William W. Pugh, J. David Morgenthaler, John Penix, YuQian Zhou

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Unit testing concurrent software.

William W. Pugh, Nathaniel Ayewah

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006

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

Jaime Spacco, William W. Pugh, Nathaniel Ayewah, David Hovemeyer

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005

Challenges in the Formal Verification of Complete State-of-the-Art Processors.

Nathaniel Ayewah, Nikhil Kikkeri, Peter-Michael Seidel

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Spatiotemporal Prediction using Data Mining Tools.

Margaret H. Dunham, Nathaniel Ayewah, Zhigang Li, Kathryn Bean, Jie Huang

Proceedings of the Spatial Databases: Technologies, Techniques and Trends, 2005