Sarvani S. Vakkalanka

Latest

• Some resources for teaching concurrency
• A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs
• ISP: a tool for model checking MPI programs