{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:36Z","timestamp":1750307496626,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,10,25]],"date-time":"2010-10-25T00:00:00Z","timestamp":1287964800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,10,25]]},"DOI":"10.1145\/1879211.1879248","type":"proceedings-article","created":{"date-parts":[[2010,11,9]],"date-time":"2010-11-09T15:01:31Z","timestamp":1289314891000},"page":"217-218","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["GEM"],"prefix":"10.1145","author":[{"given":"Alan","family":"Humphrey","sequence":"first","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher","family":"Derrick","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ganesh","family":"Gopalakrishnan","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beth R.","family":"Tibbitts","sequence":"additional","affiliation":[{"name":"IBM Corporation, Lexington, KY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,10,25]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"The Eclipse Parallel Tools Platform. http:\/\/www.eclipse.org\/ptp.  The Eclipse Parallel Tools Platform. http:\/\/www.eclipse.org\/ptp."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1879211.1879248"},{"key":"e_1_3_2_1_3_1","unstructured":"MPI 2.1 Standard. http:\/\/www.mpi-forum.org\/docs\/.  MPI 2.1 Standard. http:\/\/www.mpi-forum.org\/docs\/."},{"key":"e_1_3_2_1_4_1","unstructured":"ParMETIS - Parallel Graph Partitioning and Fill-reducing Matrix Ordering. http:\/\/glaros.dtc.umn.edu\/gkhome\/metis\/parmetis\/overview.  ParMETIS - Parallel Graph Partitioning and Fill-reducing Matrix Ordering. http:\/\/glaros.dtc.umn.edu\/gkhome\/metis\/parmetis\/overview."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_9"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2010.7"},{"key":"e_1_3_2_1_7_1","volume-title":"Programming Language Design and Implementation (PLDI) - AMP Workshop","author":"Vo A.","year":"2010","unstructured":"A. Vo , G. Gopalakrishnan , S. Vakkalanka , A. Humphrey , and C. Derrick . Seamless Integration of Two Approaches to Dynamic Formal Verification of MPI Programs , Programming Language Design and Implementation (PLDI) - AMP Workshop 2010 . A. Vo, G. Gopalakrishnan, S. Vakkalanka, A. Humphrey, and C. Derrick. Seamless Integration of Two Approaches to Dynamic Formal Verification of MPI Programs, Programming Language Design and Implementation (PLDI) - AMP Workshop 2010."}],"event":{"name":"SOFTVIS '10: International Symposium on Software Visualization","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering","SIGCHI ACM Special Interest Group on Computer-Human Interaction","SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Salt Lake City Utah USA","acronym":"SOFTVIS '10"},"container-title":["Proceedings of the 5th international symposium on Software visualization"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879211.1879248","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1879211.1879248","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:17:40Z","timestamp":1750249060000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879211.1879248"}},"subtitle":["graphical explorer of MPI programs"],"short-title":[],"issued":{"date-parts":[[2010,10,25]]},"references-count":7,"alternative-id":["10.1145\/1879211.1879248","10.1145\/1879211"],"URL":"https:\/\/doi.org\/10.1145\/1879211.1879248","relation":{},"subject":[],"published":{"date-parts":[[2010,10,25]]},"assertion":[{"value":"2010-10-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}