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