BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Delisi:Michael

Contributed to:

PPoPP 20092009
PPoPP 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.