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
School of Computing and Data Science
Thomas M. Siebel Center for Computer Science201 N. Goodwin Ave. MC-258Urbana, IL 61801
Chicago Office200 South Wacker Drive, Suite 701 Chicago, IL 60606
General email: admin@siebelschool.illinois.edu