Registered user since Fri 16 Jan 2015
I am a PhD student at the Ohio State University, working with Dr. Michael Bond. My current research focuses on developing efficient software-only dynamic program analyses for detecting concurrency correctness issues in multi-threaded programs.
|PLDI 2015||Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track|
|Show activities from other conferences|
View general profile