Academic
Academic
Home
News
Courses
Projects
Publications
Students
Contact
Ganesh Gopalakrishnan
Latest
MAPPED: Predictive Dynamic Analysis Tool for MPI Applications
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications
Efficient Verification Solutions for Message Passing Systems
MCC: A runtime verification tool for MCAPI user applications
Dynamic verification of Multicore Communication applications in MCAPI
Some resources for teaching concurrency
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs
ISP: a tool for model checking MPI programs
Cite
×