1 × The Netherlands
3 × USA
G.Gopalakrishnan R.M.Kirby A.Vo S.Sharma M.Delisi R.Thakur
mpi (4) program (3) practic (2) verif (2) presenc (1) theori (1) semant (1) reduct (1) formal (1) execut (1)
Person: Sarvani S. Vakkalanka
Wrote 4 papers:
- FM-2009-VakkalankaVGK #execution #semantics #theory and practice
- Reduced Execution Semantics of MPI: From Theory to Practice (SSV, AV, GG, RMK), pp. 724–740.
- PPoPP-2009-VoVDGKT #source code #verification
- Formal verification of practical MPI programs (AV, SSV, MD, GG, RMK, RT), pp. 261–270.
- CAV-2008-VakkalankaGK #order #reduction #source code #verification
- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings (SSV, GG, RMK), pp. 66–79.
- PPoPP-2008-VakkalankaSGK #model checking #named #source code
- ISP: a tool for model checking MPI programs (SSV, SS, GG, RMK), pp. 285–286.