Gauss: A Framework for Verifying Scientific Computing Software. - Robert Palmer; Steve Barrus; Yu Yang 013; Ganesh Gopalakrishnan; Robert M. Kirby (SoftMC@CAV, 2005)

Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. - Xiaofang Chen; Yu Yang 013; Ganesh Gopalakrishnan; Ching-Tsun Chou (FMCAD, 2006)

Fast and Accurate Static Data-Race Detection for Concurrent Programs. - Vineet Kahlon; Yu Yang 013; Sriram Sankaranarayanan 001; Aarti Gupta (CAV, 2007)

Hierarchical cache coherence protocol verification one level at a time through assume guarantee. - Xiaofang Chen; Yu Yang 013; Michael Delisi; Ganesh Gopalakrishnan; Ching-Tsun Chou (HLDVT, 2007)

Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. - Yu Yang 013; Xiaofang Chen; Ganesh Gopalakrishnan; Robert M. Kirby (SPIN, 2007)

Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. - Chao Wang 001; Yu Yang 013; Aarti Gupta; Ganesh Gopalakrishnan (ATVA, 2008)

Efficient Stateful Dynamic Partial Order Reduction. - Yu Yang 013; Xiaofang Chen; Ganesh Gopalakrishnan; Robert M. Kirby (SPIN, 2008)

Some resources for teaching concurrency. - Ganesh Gopalakrishnan; Yu Yang 013; Sarvani S. Vakkalanka; Anh Vo; Sriram Aananthakrishnan; Grzegorz Szubzda; Geoffrey Sawaya; Jason Williams; Subodh Sharma 001; Michael Delisi; Simone Atzeni (PADTAD, 2009)

Symbolic pruning of concurrent program executions. - Chao Wang 001; Swarat Chaudhuri; Aarti Gupta; Yu Yang 013 (ESEC/SIGSOFT FSE, 2009)

Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. - Yu Yang 013; Xiaofang Chen; Ganesh Gopalakrishnan; Chao Wang 001 (SPIN, 2009)

Parallel and distributed model checking in Eddy. - Igor Melatti; Robert Palmer; Geoffrey Sawaya; Yu Yang 013; Robert M. Kirby; Ganesh Gopalakrishnan (Int. J. Softw. Tools Technol. Transf., 2009)

Efficient Dynamic Verification of Concurrent Programs. - Yu Yang 013 (2009)

Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols. - Xiaofang Chen; Yu Yang 013; Ganesh Gopalakrishnan; Ching-Tsun Chou (Formal Methods Syst. Des., 2010)

Distributed dynamic partial order reduction. - Yu Yang 013; Xiaofang Chen; Ganesh Gopalakrishnan; Robert M. Kirby (Int. J. Softw. Tools Technol. Transf., 2010)