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)

Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract). - Sarvani S. Vakkalanka; Grzegorz Szubzda; Anh Vo; Ganesh Gopalakrishnan; Robert M. Kirby; Rajeev Thakur (PVM/MPI, 2009)

Dynamic Verification of Hybrid Programs. - Wei-Fan Chiang; Grzegorz Szubzda; Ganesh Gopalakrishnan; Rajeev Thakur (EuroMPI, 2010)