Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Sarvani Vakkalanka

Dynamic Verification of MPI Programs With Reductions in Presence of Split Operations and Relaxed Orderings

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English