Runtime checking of serializability in software transactional memory. - Arnab Sinha 001; Sharad Malik (IPDPS, 2010)

Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search. - Arnab Sinha 001; Sharad Malik; Chao Wang 001; Aarti Gupta (Haifa Verification Conference, 2011)

Predictive analysis for detecting serializability violations through Trace Segmentation. - Arnab Sinha 001; Sharad Malik; Chao Wang 001; Aarti Gupta (MEMOCODE, 2011)

Efficient predictive analysis for detecting nondeterminism in multi-threaded programs. - Arnab Sinha 001; Sharad Malik; Aarti Gupta (FMCAD, 2012)

Trace Based Analyses of Parallel Software - Arnab Sinha 001 (2012)