@MastersThesis {Master:Segalov9,
	AUTHOR = "Michal Segalov",
	Title ="Efficiently Inferring Thread Correlations",
	School = "Tel Aviv University",
	YEAR = 2009,
	address = "Tel Aviv, Israel"
}