@MastersThesis{ Fineman05,
author = {Jeremy T. Fineman},
month = aug,
school = {Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science},
title = {Provably Good Race Detection That Runs in Parallel},
year = {2005}
}