Thesis Title: Algorithmic Analysis in Dynamic Analysis for Detecting Concurrency Bugs
Committee: Mahesh Viswanathan, Chair/Director of Research
Madhu Parthasarathy
Grigore Rosu
Vivek Sarkar; Georgia Institute of Technology, School of Computer Science