Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking. - Prosenjit Chatterjee; Hemanthkumar Sivaraj; Ganesh Gopalakrishnan (CAV, 2002)

Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking. - Hemanthkumar Sivaraj; Ganesh Gopalakrishnan (PDMC@CAV, 2003)

QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings. - Ganesh Gopalakrishnan; Yue Yang; Hemanthkumar Sivaraj (CAV, 2004)