Academic
Academic
Home
News
Courses
Projects
Publications
Students
Contact
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
Cite
×