@inproceedings{vakkalanka_isp:_2008,
  title = "{ISP:} A Tool for Model Checking {MPI} Programs",
  author = "Vakkalanka, Sarvani S. and Sharma, Subodh and Gopalakrishnan, Ganesh and Kirby, Robert M.",
  year = "2008",
  address = "New York, {NY}, {USA}",
  booktitle = "Proceedings of the 13th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming",
  editor = "Chatterjee, Siddhartha and Scott, Michael L.",
  isbn = "978-1-59593-795-7",
  keywords = "dynamic partial order reduction, formal verification, model checking, {MPI}",
  pages = "285–286",
  publisher = "{ACM}",
  series = "{PPoPP} '08",
  url = "http://doi.acm.org/10.1145/1345206.1345258",
  doi = "10.1145/1345206.1345258",
}