Nick Sumner: Research

[Google Scholar] [ACM DL] [DBLP]

I am interested in pushing the difficult or tedious tasks involved with software development onto computers. Whether finding or explaining bugs, generating effective tests, identifying potential optimization opportunities, or some other task, people have difficulty with the subtle and repetitive behaviors required for maintaining high quality software. By automating these subtle tasks, we can improve both the lives of developers and the quality of the software they produce.

I am particularly interested in dynamic program analyses that facilitate debugging in both sequential and concurrent settings. Links below lead to abstracts, slides, bibtex entries, PDFs for papers, and any additional resources relevant for a paper.

Conference Papers

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

Journal Papers

2012

Invited Talks

2012

Projects