{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T08:49:49Z","timestamp":1758703789380,"version":"3.28.0"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1109\/sc.2014.46","type":"proceedings-article","created":{"date-parts":[[2015,1,21]],"date-time":"2015-01-21T19:33:24Z","timestamp":1421868804000},"page":"499-510","source":"Crossref","is-referenced-by-count":19,"title":["MC-Checker: Detecting Memory Consistency Errors in MPI One-Sided Applications"],"prefix":"10.1109","author":[{"given":"Zhezhe","family":"Chen","sequence":"first","affiliation":[]},{"given":"James","family":"Dinan","sequence":"additional","affiliation":[]},{"given":"Zhen","family":"Tang","sequence":"additional","affiliation":[]},{"given":"Pavan","family":"Balaji","sequence":"additional","affiliation":[]},{"given":"Hua","family":"Zhong","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Wei","sequence":"additional","affiliation":[]},{"given":"Tao","family":"Huang","sequence":"additional","affiliation":[]},{"given":"Feng","family":"Qin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","article-title":"Formal verification of practical MPI programs","author":"yo","year":"2009","journal-title":"PPoPP"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1007\/978-3-540-87475-1_34"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1145\/2488551.2488569"},{"key":"ref30","article-title":"Purify: Fast detection of memory leaks and access errors","author":"hastings","year":"0","journal-title":"Winter USENIX Conference 1992"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1145\/2464996.2465000"},{"key":"ref34","doi-asserted-by":"crossref","DOI":"10.1145\/2063384.2063452","article-title":"Efficient data race detection for distributed memory parallel programs","author":"park","year":"2011","journal-title":"Proc 2011 Intl Conf for High Performance Computing Networking Storage and Analysis"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/11846802_21"},{"key":"ref11","article-title":"MARMOT: An MPI analysis and checking tool","author":"krammera","year":"0","journal-title":"PARCO 2003"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/SC.2000.10055"},{"year":"2009","journal-title":"Tech Rep","article-title":"MPI: A message-passing interface standard version 2.2","key":"ref13"},{"year":"2012","journal-title":"Tech Rep","article-title":"MPI: A message-passing interface standard version 3.0","key":"ref14"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1145\/359545.359563"},{"key":"ref16","first-page":"30","article-title":"More Scalability, Less Pain","author":"lusk","year":"2010","journal-title":"SciDAC Review"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1146\/annurev.nucl.51.101701.132506","article-title":"Quantum Monte Carlo calculations of light nuclei","volume":"51","author":"pieper","year":"2001","journal-title":"Annual Review of Nuclear and Particle Science"},{"year":"2013","journal-title":"Ewing Lusk author of ADLB library Personal correspondence","key":"ref18"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/CGO.2004.1281665"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1007\/11846802_13"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/1806596.1806626"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1109\/SC.2006.50"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1145\/1133981.1134019"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/265924.265927"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1109\/IPDPS.2012.40"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/512529.512560"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/SC.2010.27"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1145\/1095810.1095832"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1145\/1133981.1134018"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1145\/1145319.1145342"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/945465.945468"},{"year":"0","journal-title":"Ohio Supercomputer Center","key":"ref20"},{"year":"0","article-title":"MPICH2: A high-performance and widely portable implementation of the message passing interface (MPI) standard","key":"ref22"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1002\/cpe.796"},{"year":"0","article-title":"Global Arrays","key":"ref24"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/IPDPS.2012.72"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1145\/1362622.1362643"},{"year":"0","article-title":"SKaMPI","key":"ref25"}],"event":{"name":"SC14: International Conference for High Performance Computing, Networking, Storage and Analysis","start":{"date-parts":[[2014,11,16]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2014,11,21]]}},"container-title":["SC14: International Conference for High Performance Computing, Networking, Storage and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/7012142\/7012182\/07013028.pdf?arnumber=7013028","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T04:03:11Z","timestamp":1498190591000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/7013028\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11]]},"references-count":35,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1109\/sc.2014.46","relation":{},"subject":[],"published":{"date-parts":[[2014,11]]}}}