Michal Segalov's Home Page
Efficiently Inferring Thread Correlations TR
MSc Thesis