VSL | Publications | Verifying Parallel Programs with MPI-Spin

Title: Verifying Parallel Programs with MPI-Spin

Note: This was a half-day tutorial presented at EuroPVM/MPI 2007

Appeared in:

Recent Advances in Parallel Virtual Machine and Message Passing Interface: 14th European PVM/MPI Users' Group Meeting, Paris, France, September/October 2007, Proceedings. Lecture Notes in Computer Science 4757, Springer-Verlag (2007), pages 13-14

BibTeX:

@InProceedings{siegel:2007:tutorial,
  author    = {Stephen F. Siegel},
  title     = {Verifying Parallel Programs with {MPI-Spin}},
  year      = {2007},
  pages     = {13--14},
  crossref  = {pvmmpi2007},
}
@Proceedings{pvmmpi2007,
  editor    = {Franck Cappello and Thomas H{\'e}rault and Jack Dongarra},
  booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30 - October 3, 2007, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4757},
  year      = {2007}
}

Download:

mpispintut_pvmmpi_2007.pdf (published extended tutorial abstract)
mpispintut_slides_1.pdf (Slides, part 1)
mpispintut_slides_2.pdf (Slides, part 2)
mpispintut_slides_3.pdf (Slides, part 3)
mpispintut_slides_4.pdf (Slides, part 4)
diffusion.tar (Example archive)

Related Links:

MPI-Spin Home Page

VSL | Publications