@MastersThesis{ Karunaratna05,
author = {Tushara C. Karunaratna},
title = {Nondeterminator-3: A Provably Good Data-Race Detector That Runs in Parallel},
month = sep,
year = {2005},
school = {Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology},
}