Publications

Also on acm | dblp

N. Ayewah and W. Pugh (2010). “The Google FindBugs Fixit”, In Proceedings of ISSTA 2010, (Trento, Italy, July 12-16, 2010), pp. pdf

N. Ayewah and W. Pugh (2010). “Null Dereference Analysis in Practice”, In Proceedings of PASTE 2010, (Toronto, Canada, June 5-6, 2010), pp. pdf

N. Ayewah, Y. Yang and D. Sielaff (2010). “Instrumenting Static Analysis Tools on the Desktop”, Technical Report MSR-TR-2010-17, Microsoft Research, February 2010. pdf | link

N. Ayewah and W. Pugh (2009). “Using checklists to review static analysis warnings”, In Proceedings of DEFECTS 09, (Chicago, July 19, 2009), pp 11-15. pdf | doi

N. Ayewah and W. Pugh (2009). “Learning from defect removals”, In Proceedings of MSR 09. (Vancouver, May 16-17, 2009), pp 179-182. pdf | doi

N. Ayewah, D. Hovemeyer, J. D. Morgenthaler, J. Penix, and W. Pugh (2008) “Using Static Analysis to Find Bugs”, IEEE Software. 25, 5 (Sep. 2008), 22-29. pdf | doi
Selected in IEEE Software’s 25th-Anniversary Top Picks, January/February 2009.

N. Ayewah and W. Pugh (2008) “A report on a survey and study of static analysis users”, In Proceedings of DEFECTS 08, (Seattle, July 20, 2008), pp 1-5. pdf | doi

N. Ayewah, W. Pugh, J. D. Morgenthaler, J. Penix and Y. Zhou. (2007) “Evaluating Static Analysis Defect Warnings On Production Software”, In Proceedings of PASTE 07. (San Diego, June 13-14, 2007). pp 1-8. pdf | doi

W. Pugh and N. Ayewah (2007). “Unit testing concurrent software”, In Proceedings of ASE 07, (Atlanta, November 5-9, 2007), pp 513-516. pdf | doi

N. Ayewah, W. Pugh, J. D. Morgenthaler, J. Penix, and Y. Zhou. (2007) “Using FindBugs on production software.” In OOPSLA 2007 Companion, (Montreal, October 2007), pp 805-806. pdf | doi

J. Spacco, W. Pugh, N. Ayewah, and D. Hovemeyer. (2006) “The Marmoset project: an automated snapshot, submission, and testing system.” In OOPSLA 2006 Companion, (Portland, October 2006), pp 669-670. pdf | doi

N. Ayewah. (2005) VAMP Explorer: An Interactive Framework for Navigating a Complex Hierarchy of PVS Theorems. Master’s Thesis, Southern Methodist University, Dallas, TX, Aug 2005. pdf

N. Ayewah, N. Kikkeri, and P.M. Seidel. (2005) “Challenges in the formal verification of complete state-of-the-art processors,” In Proceedings of ICCD 05, (October 2-5, 2005), pp 603-608. pdf | doi

N. Ayewah and P. Seidel. (2004) “Fused Models for Noise Reduction in Speech Processing.” In Proceedings of the 38th Asilomar Conference on Signals, Systems and Computers, (Pacific Grove, Nov 7-10). pp 2315-2319 pdf | doi

M. Dunham, N. Ayewah, Z. Li, J. Huang and K. Bean. (2004) “Spatial and Temporal Prediction Using Data Mining Tools.” In: Y. Manolopoulos, A. Papadopoulos, M. Vassilakopoulos (Eds.), Spatial Databases: Technologies, Techniques and Trends. Idea Group Inc., December 2004. book

N. Ayewah, R. Mihalcea, V. Nastase, and D. Tatar. (2004) “RSDnet: A Web-based Collaborative Framework for Building Multilingual Semantic Networks.” Studia Univ. Babes-Bolyai Informatica, Volume XLIX, number 1, 2004, pp. 31-44. pdf

N. Ayewah, R. Mihalcea, and V. Nastase. (2003) “Building Multilingual Semantic Networks with Non-Expert Contributions over the Web.” In Proceedings of the KCAP 2003 Workshop on Distributed and Collaborative Knowledge Capture, Sanibel Island, Florida, November 2003. pdf