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.
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
Dual Execution For On The Fly Fine Grained Execution Comparison
ASPLOS 2015, 17% (48/278)
Dohyeong Kim, Yonghwi Kwon, William N. Sumner, Xiangyu Zhang, and Dongyan Xu