Analyzing multicore dumps to facilitate concurrency bug reproduction. - Dasarath Weeratunge; Xiangyu Zhang 001; Suresh Jagannathan (ASPLOS, 2010)

Analyzing concurrency bugs using dual slicing. - Dasarath Weeratunge; Xiangyu Zhang 001; William N. Sumner; Suresh Jagannathan (ISSTA, 2010)

Accentuating the positive: atomicity inference and enforcement using correct executions. - Dasarath Weeratunge; Xiangyu Zhang 001; Suresh Jagannathan (OOPSLA, 2011)

Precise Calling Context Encoding. - William N. Sumner; Yunhui Zheng; Dasarath Weeratunge; Xiangyu Zhang 001 (IEEE Trans. Software Eng., 2012)

Dynamic program analyses for debugging concurrency bugs in large multi-threaded programs - Dasarath Weeratunge (2013)