@phdthesis{WangThesis,
author="Liqiang Wang",
title="Analysis of Synchronization Errors for Multithreaded Programs",
School="Stony Brook University",
month=july,
year=2006
}