@MastersThesis{ Stark98,
address = {Cambridge, Massachusetts},
author = {Andrew F. Stark},
month = may,
school = {Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science},
title = {Debugging Multithreaded Programs that Incorporate User-Level Locking},
year = {1998}
}