{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T09:06:00Z","timestamp":1781341560323,"version":"3.54.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2012,5,23]],"date-time":"2012-05-23T00:00:00Z","timestamp":1337731200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Comput Sci Res Dev"],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1007\/s00450-012-0214-4","type":"journal-article","created":{"date-parts":[[2012,5,22]],"date-time":"2012-05-22T11:53:08Z","timestamp":1337687588000},"page":"203-209","source":"Crossref","is-referenced-by-count":4,"title":["UPC-CHECK: a scalable tool for detecting run-time errors in Unified Parallel C"],"prefix":"10.1007","volume":"28","author":[{"given":"James","family":"Coyle","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Indranil","family":"Roy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marina","family":"Kraeva","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Glenn R.","family":"Luecke","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2012,5,23]]},"reference":[{"key":"214_CR1","unstructured":"High Performance Computing (HPC) Group, Iowa State University. http:\/\/www.it.iastate.edu\/research\/hpcg\/"},{"key":"214_CR2","unstructured":"The High Performance Computing Laboratory, The George Washington University. http:\/\/upc.gwu.edu"},{"key":"214_CR3","unstructured":"Sun Microsystem\u2019s HPC ClusterTools. http:\/\/www.sun.com\/software\/products\/clustertools"},{"key":"214_CR4","unstructured":"UPC NAS Parallel Benchmarks. http:\/\/threads.hpcl.gwu.edu\/sites\/npb-upc"},{"key":"214_CR5","unstructured":"Chauvin S, Saha P, Cantonnet F, Annareddy S, El-Ghazawi T (2005) UPC manual. http:\/\/upc.gwu.edu\/downloads\/Manual-1.2.pdf"},{"key":"214_CR6","unstructured":"Coyle J, Hoekstra J, Kraeva M, Luecke GR, Kleiman E, Srinivas V, Tripathi A, Weiss O, Wehe A, Xu Y, Yahya M (2008) UPC run-time error detection test suite. http:\/\/rted.public.iastate.edu\/UPC\/"},{"key":"214_CR7","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1145\/1145319.1145342","volume-title":"Proceedings of the second international workshop on software engineering for high performance computing system applications, SE-HPCS \u201905","author":"J DeSouza","year":"2005","unstructured":"DeSouza J, Kuhn B, de Supinski BR, Samofalov V, Zheltov S, Bratanov S (2005) Automated, scalable debugging of MPI programs with Intel\u00aemessage checker. In: Proceedings of the second international workshop on software engineering for high performance computing system applications, SE-HPCS \u201905. ACM, New York, pp\u00a078\u201382. 10.1145\/1145319.1145342"},{"key":"214_CR8","volume-title":"Proceedings of fifth conference on partitioned global address space programming models, PGAS\u201911","author":"A Ebnenasir","year":"2011","unstructured":"Ebnenasir A (2011) UPC-SPIN: a framework for the model checking of UPC programs. In: Proceedings of fifth conference on partitioned global address space programming models, PGAS\u201911. http:\/\/pgas11.rice.edu\/papers\/Ebnenasir-UPC-Model-Checking-PGAS11.pdf"},{"key":"214_CR9","volume-title":"UPC: distributed shared memory programming","author":"T El-Ghazawi","year":"2003","unstructured":"El-Ghazawi T, Carlson W, Sterling T, Yelick K (2003) UPC: distributed shared memory programming. Wiley-Interscience, New York"},{"key":"214_CR10","unstructured":"High Performance Computing Group, ISU: User\u2019s guide for UPC-CHECK 1.0 (2011). http:\/\/hpcgroup.public.iastate.edu\/UPC-CHECK\/UPC-CHECK_UsersGuide.pdf"},{"key":"214_CR11","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1145\/1542275.1542319","volume-title":"Proceedings of the 23rd international conference on supercomputing, ICS \u201909","author":"T Hilbrich","year":"2009","unstructured":"Hilbrich T, de Supinski BR, Schulz M, M\u00fcller MS (2009) A\u00a0graph based approach for MPI deadlock detection. In: Proceedings of the 23rd international conference on supercomputing, ICS \u201909. ACM, New York, pp\u00a0296\u2013305. 10.1145\/1542275.1542319"},{"key":"214_CR12","unstructured":"Kraeva M, Coyle J, Luecke GR, Roy I, Kleiman E, Hoekstra J (2012) UPC-CompilerCheck: a tool for evaluating error detection capabilities of UPC compilers. http:\/\/hpcgroup.public.iastate.edu\/papers\/UPC.CTED.Paper.pdf . Preprint"},{"key":"214_CR13","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1007\/978-3-540-24688-6_61","volume-title":"Computational science\u2014ICCS 2004","author":"B Krammer","year":"2004","unstructured":"Krammer B, M\u00fcller M, Resch M (2004) MPI application development using the analysis tool marmot. In: Bubak M, van Albada G, Sloot P, Dongarra J (eds) Computational science\u2014ICCS 2004. Lecture notes in computer science, vol\u00a03038. Springer, Berlin, pp\u00a0464\u2013471. 10.1007\/978-3-540-24688-6_61"},{"key":"214_CR14","unstructured":"Luecke GR, Coyle J, Hoekstra J, Kraeva M, Roy I (2011) UPC-CHECK tutorial. http:\/\/hpcgroup.public.iastate.edu\/UPC-CHECK\/UPC-CHECK_Tutorial_Aug_30.pptx"},{"key":"214_CR15","first-page":"7:1","volume-title":"Proceedings of the third conference on partitioned global address space programing models, PGAS\u201909","author":"GR Luecke","year":"2009","unstructured":"Luecke GR, Coyle J, Hoekstra J, Kraeva M, Xu Y, Kleiman E, Weiss O (2009) Evaluating error detection capabilities of UPC run-time systems. In: Proceedings of the third conference on partitioned global address space programing models, PGAS\u201909. ACM, New York, pp\u00a07:1\u20137:4. 10.1145\/1809961.1809971"},{"key":"214_CR16","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/978-3-642-11261-4_10","volume-title":"Tools for high performance computing 2009","author":"GR Luecke","year":"2010","unstructured":"Luecke GR, Coyle J, Hoekstra J, Kraeva M, Xu Y, Park MY, Kleiman E, Weiss O, Wehe A, Yahya M (2010) The importance of run-time error detection. In: Muller MS, Resch MM, Schulz A, Nagel WE (eds) Tools for high performance computing 2009. Springer, Berlin, pp\u00a0145\u2013155. 10.1007\/978-3-642-11261-4_10"},{"issue":"11","key":"214_CR17","doi-asserted-by":"crossref","first-page":"911","DOI":"10.1002\/cpe.701","volume":"14","author":"GR Luecke","year":"2002","unstructured":"Luecke GR, Zou Y, Coyle J, Hoekstra J, Kraeva M (2002) Deadlock detection in MPI programs. Concurrency Computat, Pract Exper 14(11):911\u2013932. 10.1002\/cpe.701","journal-title":"Concurrency Computat, Pract Exper"},{"key":"214_CR18","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-45009-2_1","volume-title":"OpenMP shared memory parallel programming","author":"P Petersen","year":"2003","unstructured":"Petersen P, Shah S (2003) OpenMP support in the Intel\u00ae Thread checker. In: Voss M (ed) OpenMP shared memory parallel programming. Lecture notes in computer science, vol 2716. Springer, Berlin, pp\u00a01\u201312. 10.1007\/3-540-45009-2_1"},{"key":"214_CR19","volume-title":"Proceedings of fifth conference on partitioned global address space programming models, PGAS\u201911","author":"P Pirkelbauer","year":"2011","unstructured":"Pirkelbauer P, Liao C, Panas T, Quinlan D (2011) Runtime detection of c-style errors in upc code. In: Proceedings of fifth conference on partitioned global address space programming models, PGAS\u201911. http:\/\/pgas11.rice.edu\/papers\/PirkelbauerEtAl-UPC-Error-Detect-PGAS11.pdf"},{"key":"214_CR20","unstructured":"Quinlan DJ et al ROSE compiler project. http:\/\/www.rosecompiler.org\/"},{"key":"214_CR21","unstructured":"Roy I (2012) UPC-CHECK: a scalable tool for detecting run-time errors in Unified Parallel C. Master\u2019s thesis, Iowa State University, Ames, Iowa, USA. Preprint"},{"key":"214_CR22","unstructured":"Roy I, Luecke GR, Coyle J, Kraeva M, Hoekstra J (2012) An optimal deadlock detection algorithm for Unified Parallel C. http:\/\/hpcgroup.public.iastate.edu\/papers\/Deadlock_Dectection_for_UPC.pdf . Preprint"},{"key":"214_CR23","doi-asserted-by":"crossref","unstructured":"The UPC Consortium: UPC language specifications (v1.2) (2005). http:\/\/www.gwu.edu\/~upc\/docs\/upc_specs_1.2.pdf","DOI":"10.2172\/862127"},{"key":"214_CR24","volume-title":"Proceedings of the 2000 ACM\/IEEE conference on supercomputing (CDROM), Supercomputing \u201900","author":"JS Vetter","year":"2000","unstructured":"Vetter JS, de Supinski BR (2000) Dynamic software testing of MPI applications with umpire. In: Proceedings of the 2000 ACM\/IEEE conference on supercomputing (CDROM), Supercomputing \u201900. IEEE Computer Society, Washington. http:\/\/dl.acm.org\/citation.cfm?id=370049.370462"}],"container-title":["Computer Science - Research and Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-012-0214-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00450-012-0214-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-012-0214-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T00:25:09Z","timestamp":1561767909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00450-012-0214-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5,23]]},"references-count":24,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2013,5]]}},"alternative-id":["214"],"URL":"https:\/\/doi.org\/10.1007\/s00450-012-0214-4","relation":{},"ISSN":["1865-2034","1865-2042"],"issn-type":[{"value":"1865-2034","type":"print"},{"value":"1865-2042","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5,23]]}}}