@inproceedings{Aananthakrishnan2009,
  title = {How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations},
  author = {Sriram Aananthakrishnan and Michael DeLisi and Sarvani Vakkalanka and Anh Vo and Ganesh Gopalakrishnan and Robert M. Kirby and Rajeev Thakur},
  booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface},
  publisher = {Springer Berlin / Heidelberg},
  issn = {0302-9743 (Print) 1611-3349 (Online)},
  isbn = {978-3-642-03769-6},
  url = {http://www.springerlink.com/content/a4hxl3p7826549g2/},
  abstract = {With the exploding scale of concurrency, presenting valuable pieces of information collected by formal verification tools intuitively and graphically can greatly enhance concurrent system debugging. Traditional MPI program debuggers present trace views of MPI program executions. Such views are redundant, often containing equivalent traces that permute independent MPI calls. In our ISP formal dynamic verifier for MPI programs, we present a collection of alternate views made possible by the use of formal dynamic verification. Some of ISPs views help pinpoint errors, some facilitate discerning errors by eliminating redundancy, while others help understand the program better by displaying concurrent even orderings that must be respected byallMPI implementations, in the form ofcompletes-beforegraphs. In this paper, we describe ISPs graphical user interface (GUI) capabilities in all these areas which are currently supported by a portable Java based GUI, a Microsoft Visual Studio GUI, and an Eclipse based GUI whose development is in progress.},
  volume = {5759},
  series = {Lecture Notes in Computer Science},
  year = {2009},
  pages = {261--270},
  subject_collection = {Computer Science},
  doi = {10.1007/978-3-642-03770-2_32},
}