Abstract | ||
---|---|---|
We provide a status update of ISP, our dynamic formal verifier for MPI programs. ISP determines and explores all relevant schedules of an MPI program. The highlights of this paper are (i) a recap of ISP's features, and (ii) an overview of work in progress, including a graphical explorer for message passing (GEM) and a distributed MPI analyzer (DMA), an adaptation of ISP for the distributed setting. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-11261-4_12 | TOOLS FOR HIGH PERFORMANCE COMPUTING 2009 |
Keywords | Field | DocType |
message passing,work in progress | Work in process,Computer science,Parallel computing,Message Passing Interface,Schedule,Message passing,Operating system,Distributed computing,Scalability | Conference |
Citations | PageRank | References |
1 | 0.36 | 9 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Vo Anh | 1 | 1244 | 91.60 |
Sarvani Vakkalanka | 2 | 177 | 11.14 |
Ganesh Gopalakrishnan | 3 | 1619 | 130.11 |