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.