Travelled to:2 × USA
Collaborated with:G.Gopalakrishnan R.M.Kirby G.Li A.Vo S.S.Vakkalanka R.Thakur
Talks about:formal (2) mpi (2) standard (1) program (1) practic (1) specif (1) verif (1) tla (1)
Person: Michael Delisi
DBLP: Delisi:Michael
Contributed to:
20092008Wrote 2 papers:
- PPoPP-2009-VoVDGKT #source code #verification
- Formal verification of practical MPI programs (AV, SSV, MD, GG, RMK, RT), pp. 261–270.
- PPoPP-2008-LiDGK #specification #standard
- Formal specification of the MPI-2.0 standard in TLA+ (GL, MD, GG, RMK), pp. 283–284.