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
The Grainger College of Engineering
University of Illinois
306 Engineering Hall MC 266
1308 West Green Street
Urbana, IL 61801
engineering@illinois.edu