{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:55Z","timestamp":1772163955990,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,2,14]],"date-time":"2009-02-14T00:00:00Z","timestamp":1234569600000},"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":[[2009,2,14]]},"DOI":"10.1145\/1504176.1504213","type":"proceedings-article","created":{"date-parts":[[2009,2,17]],"date-time":"2009-02-17T08:22:24Z","timestamp":1234858944000},"page":"251-260","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["MPIWiz"],"prefix":"10.1145","author":[{"given":"Ruini","family":"Xue","sequence":"first","affiliation":[{"name":"Tsinghua University, Beijing, China"}]},{"given":"Xuezheng","family":"Liu","sequence":"additional","affiliation":[{"name":"Microsoft Research Asia, Beijing, China"}]},{"given":"Ming","family":"Wu","sequence":"additional","affiliation":[{"name":"Microsoft Research Asia, Beijing, China"}]},{"given":"Zhenyu","family":"Guo","sequence":"additional","affiliation":[{"name":"Microsoft Research Asia, Beijing, China"}]},{"given":"Wenguang","family":"Chen","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}]},{"given":"Weimin","family":"Zheng","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}]},{"given":"Zheng","family":"Zhang","sequence":"additional","affiliation":[{"name":"Microsoft Research Asia, Beijing, China"}]},{"given":"Geoffrey","family":"Voelker","sequence":"additional","affiliation":[{"name":"University of California at San Diego, San Diego, California, USA"}]}],"member":"320","published-online":{"date-parts":[[2009,2,14]]},"reference":[{"key":"e_1_3_2_1_2_1","first-page":"297","volume-title":"14th European PVM\/MPI User's Group Meeting","author":"Bouteiller A.","year":"2007","unstructured":"A. Bouteiller , G. Bosilca , and J. Dongarra . Retrospect: Deterministic Replay of MPI Applications for Interactive Distributed Debugging . In 14th European PVM\/MPI User's Group Meeting , pages 297 -- 306 , 2007 . A. Bouteiller, G. Bosilca, and J. Dongarra. Retrospect: Deterministic Replay of MPI Applications for Interactive Distributed Debugging. In 14th European PVM\/MPI User's Group Meeting, pages 297--306, 2007."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.103500"},{"key":"e_1_3_2_1_4_1","first-page":"155","volume-title":"EuroPar'95","author":"Cl\u00e9nc\u00b8on C.","year":"1995","unstructured":"C. Cl\u00e9nc\u00b8on , J. Fritscher , M. J. Meehan , and R. R\u00fchl . An Implementation of Race Detection and Deterministic Replay with MPI . In EuroPar'95 , pages 155 -- 166 , Aug. 1995 . C. Cl\u00e9nc\u00b8on, J. Fritscher, M. J. Meehan, and R. R\u00fchl. An Implementation of Race Detection and Deterministic Replay with MPI. In EuroPar'95, pages 155--166, Aug. 1995."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/648136.746462"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145319.1145342"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11557265_21"},{"key":"e_1_3_2_1_8_1","first-page":"724","volume-title":"Communication Characteristics in the NAS Parallel Benchmarks. In PDCS'02","author":"Faraj A.","year":"2002","unstructured":"A. Faraj and X. Yuan . Communication Characteristics in the NAS Parallel Benchmarks. In PDCS'02 , pages 724 -- 729 , 2002 . A. Faraj and X. Yuan. Communication Characteristics in the NAS Parallel Benchmarks. In PDCS'02, pages 724--729, 2002."},{"key":"e_1_3_2_1_9_1","first-page":"520","volume-title":"Finding Clusters in VLSI Circuits. In IEEE International Conference on Computer Aided Design","author":"Garbers J.","year":"1990","unstructured":"J. Garbers , H. J. Pr\u00f6mel , and A. Steger . Finding Clusters in VLSI Circuits. In IEEE International Conference on Computer Aided Design , pages 520 -- 523 , Nov. 1990 . J. Garbers, H. J. Pr\u00f6mel, and A. Steger. Finding Clusters in VLSI Circuits. In IEEE International Conference on Computer Aided Design, pages 520--523, Nov. 1990."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-8191(96)00024-5"},{"key":"e_1_3_2_1_11_1","volume-title":"OSDI'08","author":"Guo Z.","year":"2008","unstructured":"Z. Guo , X. Wang , J. Tang , X. Liu , Z. Xu , M. Wu , M. F. Kaashoek , and Z. Zhang . R2: An Application-Level Kernel for Record and Replay . In OSDI'08 , To appear , 2008 . Z. Guo, X. Wang, J. Tang, X. Liu, Z. Xu, M. Wu, M. F. Kaashoek, and Z. Zhang. R2: An Application-Level Kernel for Record and Replay. In OSDI'08, To appear, 2008."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1080\/1206212X.2006.11441784"},{"key":"e_1_3_2_1_13_1","unstructured":"HPCC. Hpcc 1998 blue book (computing information and communications: Technologies for the 21st century). Computing Information and Communications (CIC) R&D Subcommittee of the National Science and Technology Council's Committee on Computing Information and Communications (CCIC) 1998.  HPCC. Hpcc 1998 blue book (computing information and communications: Technologies for the 21st century). Computing Information and Communications (CIC) R&D Subcommittee of the National Science and Technology Council's Committee on Computing Information and Communications (CCIC) 1998."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2005.62"},{"key":"e_1_3_2_1_15_1","unstructured":"NAS Parallel Benchmarks: ProActive implementations. http:\/\/proactive.inria.fr\/index.php?page=nas_benchmarks.  NAS Parallel Benchmarks: ProActive implementations. http:\/\/proactive.inria.fr\/index.php?page=nas_benchmarks."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1997.1404"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/329366.301116"},{"key":"e_1_3_2_1_18_1","first-page":"202","volume-title":"Characterization of Communication Patterns in Message-Passing Parallel Scientific Application Programs. In CANPC'98","author":"Kim J.","year":"1998","unstructured":"J. Kim and D. J. Lilja . Characterization of Communication Patterns in Message-Passing Parallel Scientific Application Programs. In CANPC'98 , pages 202 -- 216 , 1998 . J. Kim and D. J. Lilja. Characterization of Communication Patterns in Message-Passing Parallel Scientific Application Programs. In CANPC'98, pages 202--216, 1998."},{"key":"e_1_3_2_1_19_1","first-page":"893","volume-title":"ParCo'05","author":"Krammer B.","year":"2005","unstructured":"B. Krammer and M. S. M\u00fcller . MPI Application Development with MARMOT . In ParCo'05 , pages 893 -- 900 , 2005 . B. Krammer and M. S. M\u00fcller. MPI Application Development with MARMOT. In ParCo'05, pages 893--900, 2005."},{"key":"e_1_3_2_1_20_1","first-page":"192","volume-title":"An Integrated Record&Replay Mechanism for Nondeterministic Message Passing Programs. In 8th European PVM\/MPI Users' Group Meeting","author":"Kranzlm\u00fcller D.","year":"2001","unstructured":"D. Kranzlm\u00fcller , C. Schaubschl\u00e4ger , and J. Volkert . An Integrated Record&Replay Mechanism for Nondeterministic Message Passing Programs. In 8th European PVM\/MPI Users' Group Meeting , pages 192 -- 200 , 2001 . D. Kranzlm\u00fcller, C. Schaubschl\u00e4ger, and J. Volkert. An Integrated Record&Replay Mechanism for Nondeterministic Message Passing Programs. In 8th European PVM\/MPI Users' Group Meeting, pages 192--200, 2001."},{"key":"e_1_3_2_1_21_1","first-page":"490","volume-title":"NOPE: A Nondeterministic Program Evaluator. In ACPC'99","author":"Kranzlm\u00fcller D.","year":"1999","unstructured":"D. Kranzlm\u00fcller and J. Volkert . NOPE: A Nondeterministic Program Evaluator. In ACPC'99 , pages 490 -- 499 , 1999 . D. Kranzlm\u00fcller and J. Volkert. NOPE: A Nondeterministic Program Evaluator. In ACPC'99, pages 490--499, 1999."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676929"},{"key":"e_1_3_2_1_23_1","first-page":"335","volume-title":"14th European PVM\/MPI User's Group Meeting","author":"Lovas R.","year":"2007","unstructured":"R. Lovas and P. Kacsuk . Correctness Debugging of Message Passing Programs Using Model Verification Techniques . In 14th European PVM\/MPI User's Group Meeting , pages 335 -- 343 , 2007 . R. Lovas and P. Kacsuk. Correctness Debugging of Message Passing Programs Using Model Verification Techniques. In 14th European PVM\/MPI User's Group Meeting, pages 335--343, 2007."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.705"},{"key":"e_1_3_2_1_25_1","first-page":"151","volume-title":"PDCS'05","author":"Maruyama M.","year":"2005","unstructured":"M. Maruyama , T. Tsumura , and H. Nakashima . Parallel Program Debugging based on Data-Replay . In PDCS'05 , pages 151 -- 156 , 2005 . M. Maruyama, T. Tsumura, and H. Nakashima. Parallel Program Debugging based on Data-Replay. In PDCS'05, pages 151--156, 2005."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1991.185417"},{"key":"e_1_3_2_1_27_1","unstructured":"SIM-MPI Library. http:\/\/www.hpctest.org.cn\/resources\/sim-mpi.tgz.  SIM-MPI Library. http:\/\/www.hpctest.org.cn\/resources\/sim-mpi.tgz."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.954636"},{"key":"e_1_3_2_1_29_1","first-page":"344","volume-title":"14th European PVM\/MPI User's Group Meeting","author":"Pervez S.","year":"2007","unstructured":"S. Pervez , G. Gopalakrishnan , R. M. Kirby , R. Palmer , R. Thakur , and W. Gropp . Practical Model-Checking Method for Verifying Correctness of MPI Programs . In 14th European PVM\/MPI User's Group Meeting , pages 344 -- 353 , 2007 . S. Pervez, G. Gopalakrishnan, R. M. Kirby, R. Palmer, R. Thakur, and W. Gropp. Practical Model-Checking Method for Verifying Correctness of MPI Programs. In 14th European PVM\/MPI User's Group Meeting, pages 344--353, 2007."},{"key":"e_1_3_2_1_30_1","unstructured":"PGDBG Graphical Symbolic Debugger. http:\/\/www.pgroup.com\/products\/pgdbg.htm.  PGDBG Graphical Symbolic Debugger. http:\/\/www.pgroup.com\/products\/pgdbg.htm."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1188455.1188749"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2006.5"},{"key":"e_1_3_2_1_33_1","first-page":"44","volume-title":"Model Checking Nonblocking MPI Programs. In 8th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2007","author":"Siegel S. F.","year":"2007","unstructured":"S. F. Siegel . Model Checking Nonblocking MPI Programs. In 8th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2007 ), pages 44 -- 58 , 2007 . S. F. Siegel. Model Checking Nonblocking MPI Programs. In 8th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2007), pages 44--58, 2007."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065957"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146256"},{"key":"e_1_3_2_1_36_1","unstructured":"Totalview. http:\/\/www.totalviewtech.com\/.  Totalview. http:\/\/www.totalviewtech.com\/."},{"key":"e_1_3_2_1_37_1","first-page":"18","volume-title":"Verifying Collective MPI Calls. In 11th European PVM\/MPI Users' Group Meeting","author":"Tr\u00e4ff J. L.","year":"2004","unstructured":"J. L. Tr\u00e4ff and J. Worringen . Verifying Collective MPI Calls. In 11th European PVM\/MPI Users' Group Meeting , pages 18 -- 27 , 2004 . J. L. Tr\u00e4ff and J. Worringen. Verifying Collective MPI Calls. In 11th European PVM\/MPI Users' Group Meeting, pages 18--27, 2004."},{"key":"e_1_3_2_1_38_1","first-page":"70","volume-title":"Supinski. Dynamic Software Testing of MPI Applications with Umpire. In SC'00","author":"Vetter J. S.","year":"2000","unstructured":"J. S. Vetter and B. R. de Supinski. Dynamic Software Testing of MPI Applications with Umpire. In SC'00 , pages 70 -- 70 , November, 4-10 2000 . J. S. Vetter and B. R. de Supinski. Dynamic Software Testing of MPI Applications with Umpire. In SC'00, pages 70--70, November, 4-10 2000."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-7315(03)00104-7"}],"event":{"name":"PPoPP09: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","location":"Raleigh NC USA","acronym":"PPoPP09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1504176.1504213","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1504176.1504213","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:30:08Z","timestamp":1750239008000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1504176.1504213"}},"subtitle":["subgroup reproducible replay of mpi applications"],"short-title":[],"issued":{"date-parts":[[2009,2,14]]},"references-count":38,"alternative-id":["10.1145\/1504176.1504213","10.1145\/1504176"],"URL":"https:\/\/doi.org\/10.1145\/1504176.1504213","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1594835.1504213","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,2,14]]},"assertion":[{"value":"2009-02-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}