{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T08:41:04Z","timestamp":1758703264802,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,23]],"date-time":"2018-09-23T00:00:00Z","timestamp":1537660800000},"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":[[2018,9,23]]},"DOI":"10.1145\/3236367.3236369","type":"proceedings-article","created":{"date-parts":[[2018,9,19]],"date-time":"2018-09-19T12:16:51Z","timestamp":1537359411000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["MC-CChecker"],"prefix":"10.1145","author":[{"given":"Thanh-Dang","family":"Diep","sequence":"first","affiliation":[{"name":"High Performance Computing Laboratory, HCMC University of Technology, VNUHCM, Vietnam"}]},{"given":"Karl","family":"F\u00fcrlinger","sequence":"additional","affiliation":[{"name":"Ludwig-Maximilians-Universit\u00e4t (LMU) Munich, Computer Science Department, MNM Team, Munich, Germany"}]},{"given":"Nam","family":"Thoai","sequence":"additional","affiliation":[{"name":"High Performance Computing Laboratory, HCMC University of Technology, VNUHCM, Vietnam"}]}],"member":"320","published-online":{"date-parts":[[2018,9,23]]},"reference":[{"volume-title":"The GNU MP Bignum Library. Retrieved","year":"2018","unstructured":"2018. The GNU MP Bignum Library. Retrieved May 5, 2018 from https: \/\/www. gmplib.org 2018. The GNU MP Bignum Library. Retrieved May 5, 2018 from https: \/\/www. gmplib.org","key":"e_1_3_2_1_1_1"},{"volume-title":"Leibniz Super computing Centre","year":"2018","unstructured":"2018. Leibniz Super computing Centre , Munich, Germany : SuperMUC Petascale System. Retrieved May 5, 2018 from https:\/\/www.lrz.de\/services\/compute\/supermuc\/systemdescription 2018. Leibniz Super computing Centre, Munich, Germany: SuperMUC Petascale System. Retrieved May 5, 2018 from https:\/\/www.lrz.de\/services\/compute\/supermuc\/systemdescription","key":"e_1_3_2_1_2_1"},{"volume-title":"MPICH2: A high-performance and widely portable implementation of the Message Passing Interface (MPI) standard. Retrieved","year":"2018","unstructured":"2018. MPICH2: A high-performance and widely portable implementation of the Message Passing Interface (MPI) standard. Retrieved May 5, 2018 from http:\/\/www.mpich.org 2018. MPICH2: A high-performance and widely portable implementation of the Message Passing Interface (MPI) standard. Retrieved May 5, 2018 from http:\/\/www.mpich.org","key":"e_1_3_2_1_3_1"},{"volume-title":"Ohio Supercomputer Center. Retrieved","year":"2018","unstructured":"2018. Ohio Supercomputer Center. Retrieved May 5, 2018 from http:\/\/www.osc.edu 2018. Ohio Supercomputer Center. Retrieved May 5, 2018 from http:\/\/www.osc.edu","key":"e_1_3_2_1_4_1"},{"unstructured":"2018. SuperNode-XP. Retrieved May 5 2018 from https:\/\/www.hpcc.hcmut.edu.vn  2018. SuperNode-XP. Retrieved May 5 2018 from https:\/\/www.hpcc.hcmut.edu.vn","key":"e_1_3_2_1_5_1"},{"unstructured":"2018. TOP500. Retrieved May 5 2018 from https:\/\/www.top500.org  2018. TOP500. Retrieved May 5 2018 from https:\/\/www.top500.org","key":"e_1_3_2_1_6_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1109\/EMPDP.2003.1183592"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.14529\/jsfi140101"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1109\/SC.2014.46"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1109\/SC.2010.45"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1002\/cpe.3758"},{"unstructured":"Colin J Fidge. 1987. Timestamps in message-passing systems that preserve the partial ordering. (1987).  Colin J Fidge. 1987. Timestamps in message-passing systems that preserve the partial ordering. (1987).","key":"e_1_3_2_1_12_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.5555\/977400.978027"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1109\/MCSE.2013.96"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1109\/TKDE.2003.1232275"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/2488551.2488569"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/2780584"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1007\/978-3-319-43659-3_4"},{"doi-asserted-by":"crossref","unstructured":"Roger Kowalewski and Karl F\u00fcrlinger. 2017. Debugging Latent Synchronization Errors in MPI-3 One-Sided Communication. 83--96 pages.  Roger Kowalewski and Karl F\u00fcrlinger. 2017. Debugging Latent Synchronization Errors in MPI-3 One-Sided Communication. 83--96 pages.","key":"e_1_3_2_1_19_1","DOI":"10.1007\/978-3-319-56702-0_5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1007\/11846802_21"},{"unstructured":"Dieter Kranzlm\u00fcller. 2000. Event graph analysis for debugging massively parallel programs. na.  Dieter Kranzlm\u00fcller. 2000. Event graph analysis for debugging massively parallel programs. na.","key":"e_1_3_2_1_21_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/3154273.3154305"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/359545.359563"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.5555\/977395.977673"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.5555\/1064511.1064515"},{"key":"e_1_3_2_1_26_1","first-page":"215","article-title":"Virtual time and global states of distributed systems","volume":"1","author":"Friedemann Mattern","year":"1989","unstructured":"Friedemann Mattern et al. 1989 . Virtual time and global states of distributed systems . Parallel and Distributed Algorithms 1 , 23 (1989), 215 -- 226 . Friedemann Mattern et al. 1989. Virtual time and global states of distributed systems. Parallel and Distributed Algorithms 1, 23 (1989), 215--226.","journal-title":"Parallel and Distributed Algorithms"},{"unstructured":"Message Passing Interface Forum 2015. MPI: A Message-Passing Interface Standard (3.1 ed.). Message Passing Interface Forum.  Message Passing Interface Forum 2015. MPI: A Message-Passing Interface Standard (3.1 ed.). Message Passing Interface Forum.","key":"e_1_3_2_1_27_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1109\/TPDS.2006.112"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1109\/ICIS.2009.170"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1007\/11846802_13"},{"key":"e_1_3_2_1_31_1","volume-title":"Hydra-mpi: An adaptive particle-particle, particle-mesh code for conducting cosmological simulations on mpp architectures. In High Performance Computing Systems and Applications","author":"Thacker RJ","year":"2003","unstructured":"RJ Thacker , Gavin Pringle , HMP Couchman , and Stephen Booth . 2003 . Hydra-mpi: An adaptive particle-particle, particle-mesh code for conducting cosmological simulations on mpp architectures. In High Performance Computing Systems and Applications . NRC Research Press , 23. RJ Thacker, Gavin Pringle, HMP Couchman, and Stephen Booth. 2003. Hydra-mpi: An adaptive particle-particle, particle-mesh code for conducting cosmological simulations on mpp architectures. In High Performance Computing Systems and Applications. NRC Research Press, 23."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.5555\/646666.699743"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_33_1","DOI":"10.5555\/645953.675645"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_34_1","DOI":"10.1016\/j.cpc.2010.04.018"}],"event":{"acronym":"EuroMPI'18","name":"EuroMPI'18: 25th European MPI Users' Group Meeting","location":"Barcelona Spain"},"container-title":["Proceedings of the 25th European MPI Users' Group Meeting"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236367.3236369","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236367.3236369","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:39Z","timestamp":1750210779000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236367.3236369"}},"subtitle":["A Clock-Based Approach to Detect Memory Consistency Errors in MPI One-Sided Applications"],"short-title":[],"issued":{"date-parts":[[2018,9,23]]},"references-count":34,"alternative-id":["10.1145\/3236367.3236369","10.1145\/3236367"],"URL":"https:\/\/doi.org\/10.1145\/3236367.3236369","relation":{},"subject":[],"published":{"date-parts":[[2018,9,23]]},"assertion":[{"value":"2018-09-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}