{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:55:40Z","timestamp":1725616540256},"publisher-location":"New York, NY, USA","reference-count":59,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,11,15]],"date-time":"2016-11-15T00:00:00Z","timestamp":1479168000000},"content-version":"vor","delay-in-days":366,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000015","name":"U.S. Department of Energy","doi-asserted-by":"publisher","award":["DE-AC05-00OR22725"],"id":[{"id":"10.13039\/100000015","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,11,15]]},"DOI":"10.1145\/2807591.2807605","type":"proceedings-article","created":{"date-parts":[[2015,10,27]],"date-time":"2015-10-27T09:07:31Z","timestamp":1445936851000},"page":"1-12","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Relative debugging for a highly parallel hybrid computer system"],"prefix":"10.1145","author":[{"given":"Luiz","family":"DeRose","sequence":"first","affiliation":[{"name":"Cray Inc., Cray Plaza, Saint Paul, MN"}]},{"given":"Andrew","family":"Gontarek","sequence":"additional","affiliation":[{"name":"Cray Inc., Cray Plaza, Saint Paul, MN"}]},{"given":"Aaron","family":"Vose","sequence":"additional","affiliation":[{"name":"Cray Inc., Cray Plaza, Saint Paul, MN"}]},{"given":"Robert","family":"Moench","sequence":"additional","affiliation":[{"name":"Cray Inc., Cray Plaza, Saint Paul, MN"}]},{"given":"David","family":"Abramson","sequence":"additional","affiliation":[{"name":"University of Queensland, Brisbane, Queensland, Australia"}]},{"given":"Minh Ngoc","family":"Dinh","sequence":"additional","affiliation":[{"name":"University of Queensland, Brisbane, Queensland, Australia"}]},{"given":"Chao","family":"Jin","sequence":"additional","affiliation":[{"name":"University of Queensland, Brisbane, Queensland, Australia"}]}],"member":"320","published-online":{"date-parts":[[2015,11,15]]},"reference":[{"volume-title":"A Framework for the Model Checking of UPC Programs\" the Fifth Conference on Partitioned Global Address Space Programming Models","year":"2011","author":"Ebnenasir A.","key":"e_1_3_2_1_1_1","unstructured":"A. Ebnenasir , \"UPC-SPIN : A Framework for the Model Checking of UPC Programs\" the Fifth Conference on Partitioned Global Address Space Programming Models , Galveston Island , Texas, USA , 2011 . A. Ebnenasir, \"UPC-SPIN: A Framework for the Model Checking of UPC Programs\" the Fifth Conference on Partitioned Global Address Space Programming Models, Galveston Island, Texas, USA, 2011."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.commatsci.2006.04.012"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2010.2"},{"key":"e_1_3_2_1_4_1","unstructured":"A. Petitet Block Cyclic Data Distribution http:\/\/www.netlib.org\/utk\/papers\/scalapack\/node8.html 1995. A. Petitet Block Cyclic Data Distribution http:\/\/www.netlib.org\/utk\/papers\/scalapack\/node8.html 1995."},{"volume-title":"Allinea DDT -- A revolution in debugging","year":"2009","author":"Allinea","key":"e_1_3_2_1_5_1","unstructured":"Allinea , Allinea DDT -- A revolution in debugging , 2009 . Allinea, Allinea DDT -- A revolution in debugging, 2009."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065950"},{"volume-title":"Proceedings of Cray User Group","year":"2011","author":"Gottbrath C.","key":"e_1_3_2_1_7_1","unstructured":"C. Gottbrath , \" Automation Assisted Debugging on the Cray with TotalView \", in Proceedings of Cray User Group , 2011 . C. Gottbrath, \"Automation Assisted Debugging on the Cray with TotalView\", in Proceedings of Cray User Group, 2011."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCGrid.2012.13"},{"key":"e_1_3_2_1_9_1","unstructured":"Cray Using the lgdb Comparative Debugging Feature. Cray Whitepaper. Cray Using the lgdb Comparative Debugging Feature. Cray Whitepaper."},{"key":"e_1_3_2_1_10_1","unstructured":"Cray XC Systems http:\/\/www.cray.com\/Products\/Computing\/XC\/ Cray XC Systems http:\/\/www.cray.com\/Products\/Computing\/XC\/"},{"key":"e_1_3_2_1_11_1","unstructured":"Cray XE Systems http:\/\/www.cray.com\/Products\/Computing\/XE.aspx Cray XE Systems http:\/\/www.cray.com\/Products\/Computing\/XE.aspx"},{"key":"e_1_3_2_1_12_1","unstructured":"Cray XK7 System http:\/\/www.cray.com\/Products\/Computing\/XK7.aspx Cray XK7 System http:\/\/www.cray.com\/Products\/Computing\/XK7.aspx"},{"volume-title":"Department of Atmospheric Science","year":"2006","author":"Randall D. A.","key":"e_1_3_2_1_13_1","unstructured":"D. A. Randall , \" The Shallow Water Equations\" , Department of Atmospheric Science , Colorado State University , Fort Collins 2006 . Retrieved from http:\/\/kiwi.atmos.colostate.edu\/group\/dave\/pdf\/ShallowWater.pdf D. A. Randall, \"The Shallow Water Equations\", Department of Atmospheric Science, Colorado State University, Fort Collins 2006. Retrieved from http:\/\/kiwi.atmos.colostate.edu\/group\/dave\/pdf\/ShallowWater.pdf"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/224170.224350"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/240455.240475"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1851476.1851491"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/882471.883317"},{"key":"e_1_3_2_1_18_1","first-page":"1","volume-title":"Proceedings of 14th Australian Computer Science Conference","author":"Abramson D.","year":"1991","unstructured":"D. Abramson , M. Dix , and P. Whiting , \" A Study of the Shallow Water Equations on Various Parallel Architectures \", in Proceedings of 14th Australian Computer Science Conference , Sydney , 1991 , pp. 1 -- 12 . D. Abramson, M. Dix, and P. Whiting, \"A Study of the Shallow Water Equations on Various Parallel Architectures\", in Proceedings of 14th Australian Computer Science Conference, Sydney, 1991, pp. 1--12."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/782814.782825"},{"volume-title":"Proc. of 20th IEEE Intl. Parallel and Distributed Processing Symposium (IPDPS)","year":"2007","author":"Arnold D. C.","key":"e_1_3_2_1_20_1","unstructured":"D. C. Arnold , D. H. Ahn , B. R. de Supinski , G. L. Lee , B. P. Miller , M. Schulz , \" Stack Trace Analysis for Large Scale Debugging\" , Proc. of 20th IEEE Intl. Parallel and Distributed Processing Symposium (IPDPS) , 2007 . D. C. Arnold, D. H. Ahn, B. R. de Supinski, G. L. Lee, B. P. Miller, M. Schulz, \"Stack Trace Analysis for Large Scale Debugging\", Proc. of 20th IEEE Intl. Parallel and Distributed Processing Symposium (IPDPS), 2007."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/648145.750141"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1953611.1953615"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/266469.266507"},{"key":"e_1_3_2_1_24_1","unstructured":"Free Software Foundation Inc. (2008 15\/01\/2009). GDB: The GNU Project Debugger. Available: http:\/\/www.gnu.org\/software\/gdb\/ Free Software Foundation Inc. (2008 15\/01\/2009). GDB: The GNU Project Debugger. Available: http:\/\/www.gnu.org\/software\/gdb\/"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1413370.1413397"},{"volume-title":"Doctor of Philosophy Dotoral","year":"2000","author":"Watson G. R.","key":"e_1_3_2_1_26_1","unstructured":"G. R. Watson , \" The Design and Implementation of a Parallel Relative Debugger\" , Doctor of Philosophy Dotoral , Faculty of Information Technology, Monash University , Melbourne , 2000 . G. R. Watson, \"The Design and Implementation of a Parallel Relative Debugger\", Doctor of Philosophy Dotoral, Faculty of Information Technology, Monash University, Melbourne, 2000."},{"key":"e_1_3_2_1_27_1","unstructured":"GNU UPC Debugging with GDB UPC http:\/\/www.gccupc.org\/gdb-upc\/debugging-with-gdb-upc GNU UPC Debugging with GDB UPC http:\/\/www.gccupc.org\/gdb-upc\/debugging-with-gdb-upc"},{"volume-title":"history, overview and current developments","year":"1996","author":"Richardson H.","key":"e_1_3_2_1_28_1","unstructured":"H. Richardson , \" High Performance Fortran : history, overview and current developments \", Thinking Machines Corporation 1996 . H. Richardson, \"High Performance Fortran: history, overview and current developments\", Thinking Machines Corporation 1996."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145319.1145342"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1088\/1749-4699\/2\/1\/015001"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/2388996.2389017"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1362622.1362701"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/1413370.1413375"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCGrid.2011.44"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2013.86"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2014.05.135"},{"key":"e_1_3_2_1_37_1","unstructured":"NASA Advanced Supercomputing Division NAS Parallel Bench- marks http:\/\/www.nas.nasa.gov\/Resources\/Software\/npb.html 2009. NASA Advanced Supercomputing Division NAS Parallel Bench- marks http:\/\/www.nas.nasa.gov\/Resources\/Software\/npb.html 2009."},{"key":"e_1_3_2_1_38_1","unstructured":"NVIDIA Corporation. (2013 10\/03\/2013). CUDA-GDB. Available: https:\/\/developer.nvidia.com\/cuda-gdb NVIDIA Corporation. (2013 10\/03\/2013). CUDA-GDB. Available: https:\/\/developer.nvidia.com\/cuda-gdb"},{"key":"e_1_3_2_1_39_1","unstructured":"NVIDIA CUDA https:\/\/developer.nvidia.com\/cuda-zone. NVIDIA CUDA https:\/\/developer.nvidia.com\/cuda-zone."},{"key":"e_1_3_2_1_40_1","unstructured":"OpenMP Application Program Interface Version 4.0 July 2013 http:\/\/openmp.org OpenMP Application Program Interface Version 4.0 July 2013 http:\/\/openmp.org"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1048935.1050172"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2014.20"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5772\/23304"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.865153"},{"volume-title":"Proceedings of 4th International Workshop of Automated Debugging","year":"2000","author":"Hood R.","key":"e_1_3_2_1_45_1","unstructured":"R. Hood and G. Jost , \" Support for Debugging Automatically Parallelized Programs \", in Proceedings of 4th International Workshop of Automated Debugging , Munich , 2000 . R. Hood and G. Jost, \"Support for Debugging Automatically Parallelized Programs\", in Proceedings of 4th International Workshop of Automated Debugging, Munich, 2000."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2011.04.221"},{"volume-title":"Proceedings of the 12th International conference on Verification, model checking, and abstract interpretation (VMCAI'11)","year":"2011","author":"Stephen","key":"e_1_3_2_1_47_1","unstructured":"Stephen F. Siegel and Timothy K. Zirkel, \"Collective assertions \", in Proceedings of the 12th International conference on Verification, model checking, and abstract interpretation (VMCAI'11) , 2011 . Stephen F. Siegel and Timothy K. Zirkel, \"Collective assertions\", in Proceedings of the 12th International conference on Verification, model checking, and abstract interpretation (VMCAI'11), 2011."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75416-9_8"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2014.57"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.5555\/2388996.2389028"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2014.26"},{"key":"e_1_3_2_1_52_1","unstructured":"The Message Passing Interface (MPI) standard http:\/\/www.mcs.anl.gov\/research\/projects\/mpi\/ The Message Passing Interface (MPI) standard http:\/\/www.mcs.anl.gov\/research\/projects\/mpi\/"},{"key":"e_1_3_2_1_53_1","unstructured":"The OpenACC\u2122 Application Programming Interface Version 2.0 Jun. 2013 http:\/\/www.openacc-standard.org\/ The OpenACC\u2122 Application Programming Interface Version 2.0 Jun. 2013 http:\/\/www.openacc-standard.org\/"},{"key":"e_1_3_2_1_54_1","unstructured":"Titan http:\/\/www.olcf.ornl.gov\/titan\/ Titan http:\/\/www.olcf.ornl.gov\/titan\/"},{"key":"e_1_3_2_1_55_1","unstructured":"Unified Parallel C http:\/\/upc.gwu.edu\/ Unified Parallel C http:\/\/upc.gwu.edu\/"},{"key":"e_1_3_2_1_56_1","unstructured":"UPC Trace Manual Reference Pages - UPC_TRACE http:\/\/upc.lbl.gov\/docs\/user\/upc_trace.html. UPC Trace Manual Reference Pages - UPC_TRACE http:\/\/upc.lbl.gov\/docs\/user\/upc_trace.html."},{"volume-title":"Introduction to UPC and Language Specification","year":"1999","author":"Carlson W. W.","key":"e_1_3_2_1_57_1","unstructured":"W. W. Carlson , J. M. Draper , D. E. Culler , K. and et al. , Introduction to UPC and Language Specification , Center for Computing Sciences , Bowie , MD 1999 . W. W. Carlson, J. M. Draper, D. E. Culler, K. and et al., Introduction to UPC and Language Specification, Center for Computing Sciences, Bowie, MD1999."},{"volume-title":"Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI'08)","year":"2008","author":"Liu X.","key":"e_1_3_2_1_58_1","unstructured":"X. Liu , Z. Guo , X. Wang X, D3S: debugging deployed distributed systems , in Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI'08) , 2008 . X. Liu, Z. Guo, X. Wang X, et al. D3S: debugging deployed distributed systems, in Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI'08), 2008."},{"volume-title":"Proceedings of the 4th USENIX Symposium on Networked Systems Design and Implementation (NSDI'07)","year":"2007","author":"Liu X.","key":"e_1_3_2_1_59_1","unstructured":"X. Liu , W, Lin, A. Pan , WiDS checker: combating bugs in distributed systems , in Proceedings of the 4th USENIX Symposium on Networked Systems Design and Implementation (NSDI'07) , 2007 . X. Liu, W, Lin, A. Pan, et al. WiDS checker: combating bugs in distributed systems, in Proceedings of the 4th USENIX Symposium on Networked Systems Design and Implementation (NSDI'07), 2007."}],"event":{"name":"SC15: The International Conference for High Performance Computing, Networking, Storage and Analysis","sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing","SIGARCH ACM Special Interest Group on Computer Architecture","IEEE-CS Computer Society"],"location":"Austin Texas","acronym":"SC15"},"container-title":["Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2807591.2807605","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2807591.2807605","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T12:20:30Z","timestamp":1673266830000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2807591.2807605"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,15]]},"references-count":59,"alternative-id":["10.1145\/2807591.2807605","10.1145\/2807591"],"URL":"https:\/\/doi.org\/10.1145\/2807591.2807605","relation":{},"subject":[],"published":{"date-parts":[[2015,11,15]]},"assertion":[{"value":"2015-11-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}