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)

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)

GKLEE: concolic verification and test generation for GPUs. - Guodong Li; Peng Li 058; Geoffrey Sawaya; Ganesh Gopalakrishnan; Indradeep Ghosh; Sreeranga P. Rajan (PPoPP, 2012)

Achieving Formal Parallel Program Debugging by Incentivizing CS/HPC Collaborative Tool Development. - Ganesh Gopalakrishnan; Geof Sawaya (SCREAM@HPDC, 2015)

FLiT: Cross-platform floating-point result-consistency tester and workload. - Geoffrey Sawaya; Michael Bentley; Ian Briggs; Ganesh Gopalakrishnan; Dong H. Ahn (IISWC, 2017)

Pruners. - Kento Sato; Ignacio Laguna; Gregory L. Lee; Martin Schulz 001; Christopher M. Chambreau; Simone Atzeni; Michael Bentley; Ganesh Gopalakrishnan; Zvonimir Rakamaric; Geof Sawaya; Joachim Protze; Dong H. Ahn (Int. J. High Perform. Comput. Appl., 2019)