I am actively looking for new graduate and undergraduate students skilled with C++ and interested in research that improves software and the software development process!
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.
SPEC-AX and PARSEC-AX: Extracting Accelerator Benchmarks from Microprocessor Benchmarks
IISWC 2016, 30.4%=21/69
Snehasish Kumar, William N. Sumner, and Arrvindh Shriraman
Peruse And Profit: Estimating The Accelerability Of Loops
ICS 2016, 24%=43/178
Snehasish Kumar, Vijayalakshmi Srinivasan, Amirali Sharifian, Nick Sumner, and Arrvindh Shriraman
LDX: Causality Inference by Lightweight Dual Execution
ASPLOS 2016, 19%=53/240
Yonghwi Kwon, Dohyeong Kim, William N. Sumner, Kyungtae Kim, Brendan Saltaformaggio, Xiangyu Zhang, and Dongyan Xu