Travelled to:1 × The Netherlands
1 × USA
Collaborated with:S.S.Vakkalanka G.Gopalakrishnan R.M.Kirby M.Delisi R.Thakur
Talks about:practic (2) mpi (2) program (1) theori (1) semant (1) formal (1) execut (1) verif (1) reduc (1)
Person: Anh Vo
DBLP: Vo:Anh
Contributed to:
2009
2009Wrote 2 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.