{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T20:23:57Z","timestamp":1782937437591,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,11,12]],"date-time":"2017-11-12T00:00:00Z","timestamp":1510444800000},"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":[[2017,11,12]]},"DOI":"10.1145\/3145344.3145484","type":"proceedings-article","created":{"date-parts":[[2017,10,31]],"date-time":"2017-10-31T12:31:37Z","timestamp":1509453097000},"page":"14-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["A Family of Provably Correct Algorithms for Exact Triangle Counting"],"prefix":"10.1145","author":[{"given":"Matthew","family":"Lee","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tze Meng","family":"Low","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,11,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2017. Graph Challenge. http:\/\/graphchallenge.mit.edu\/. (2017).  2017. Graph Challenge. http:\/\/graphchallenge.mit.edu\/. (2017)."},{"key":"e_1_3_2_1_2_1","volume-title":"Van Zee","author":"Bientinesi Paolo","year":"2013","unstructured":"Paolo Bientinesi , John A. Gunnels , Margaret E. Myers , Enrique S. Quintana-Ort\u00ed , Tyler Rhodes , Robert A. van de Geijn , and Field G . Van Zee . 2013 . Deriving dense linear algebra libraries. Formal Aspects of Computing 25, 6 (01 Nov 2013), 933--945. DOI:https:\/\/doi.org\/10.1007\/s00165-011-0221-4 10.1007\/s00165-011-0221-4 Paolo Bientinesi, John A. Gunnels, Margaret E. Myers, Enrique S. Quintana-Ort\u00ed, Tyler Rhodes, Robert A. van de Geijn, and Field G. Van Zee. 2013. Deriving dense linear algebra libraries. Formal Aspects of Computing 25, 6 (01 Nov 2013), 933--945. DOI:https:\/\/doi.org\/10.1007\/s00165-011-0221-4"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1055531.1055532"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1055531.1055532"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1583991.1584053"},{"key":"e_1_3_2_1_6_1","volume-title":"Graphing trillions of triangles. Information Visualization","author":"Burkhardt Paul","year":"2016","unstructured":"Paul Burkhardt . 2016. Graphing trillions of triangles. Information Visualization ( 2016 ), 1473871616666393. Paul Burkhardt. 2016. Graphing trillions of triangles. Information Visualization (2016), 1473871616666393."},{"key":"e_1_3_2_1_8_1","volume-title":"A discipline of programming","author":"Dijkstra E. W.","unstructured":"E. W. Dijkstra . 1976. A discipline of programming . Prentice Hall . E. W. Dijkstra. 1976. A discipline of programming. Prentice Hall."},{"key":"e_1_3_2_1_9_1","volume-title":"A Domain-Specific Compiler for Linear Algebra Operations","author":"Fabregat-Traver Diego","unstructured":"Diego Fabregat-Traver and Paolo Bientinesi . 2013. A Domain-Specific Compiler for Linear Algebra Operations . Springer Berlin Heidelberg , Berlin, Heidelberg , 346--361. DOI:https:\/\/doi.org\/10.1007\/978-3-642-38718-0_33 10.1007\/978-3-642-38718-0_33 Diego Fabregat-Traver and Paolo Bientinesi. 2013. A Domain-Specific Compiler for Linear Algebra Operations. Springer Berlin Heidelberg, Berlin, Heidelberg, 346--361. DOI:https:\/\/doi.org\/10.1007\/978-3-642-38718-0_33"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/504210.504213"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2011.10.014"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPEC.2016.7761646"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90056-1"},{"key":"e_1_3_2_1_15_1","unstructured":"Jure Leskovec and Andrej Krevl. 2014. SNAP Datasets: Stanford Large Network Dataset Collection. http:\/\/snap.stanford.edu\/data. (June 2014).  Jure Leskovec and Andrej Krevl. 2014. SNAP Datasets: Stanford Large Network Dataset Collection. http:\/\/snap.stanford.edu\/data. (June 2014)."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (PPoPP '05)","author":"Low Tze Meng","unstructured":"Tze Meng Low , Robert A. van de Geijn, and Field G. Van Zee. 2005. Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications . In Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (PPoPP '05) . ACM, New York, NY, USA, 153--163. DOI:https:\/\/doi.org\/10.1145\/1065944.1065965 10.1145\/1065944.1065965 Tze Meng Low, Robert A. van de Geijn, and Field G. Van Zee. 2005. Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications. In Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (PPoPP '05). ACM, New York, NY, USA, 153--163. DOI:https:\/\/doi.org\/10.1145\/1065944.1065965"},{"key":"e_1_3_2_1_18_1","volume-title":"Perry","author":"Duncan Luce R.","year":"1949","unstructured":"R. Duncan Luce and Albert D . Perry . 1949 . A method of matrix analysis of group structure. Psychometrika 14, 2 (01 Jun 1949), 95--116. DOI:https:\/\/doi.org\/10.1007\/BF02289146 10.1007\/BF02289146 R. Duncan Luce and Albert D. Perry. 1949. A method of matrix analysis of group structure. Psychometrika 14, 2 (01 Jun 1949), 95--116. DOI:https:\/\/doi.org\/10.1007\/BF02289146"},{"key":"e_1_3_2_1_19_1","volume-title":"OpenMP Application Program Interface. (November","author":"Architecture Review Board MP","year":"2015","unstructured":"Open MP Architecture Review Board . 2015. OpenMP Application Program Interface. (November 2015 ). http:\/\/www.openmp.org\/ OpenMP Architecture Review Board. 2015. OpenMP Application Program Interface. (November 2015). http:\/\/www.openmp.org\/"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2427023.2427030"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPEC.2016.7761608"}],"event":{"name":"SC '17: The International Conference for High Performance Computing, Networking, Storage and Analysis","location":"Denver CO USA","acronym":"SC '17","sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing","IEEE CS"]},"container-title":["Proceedings of the First International Workshop on Software Correctness for HPC Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3145344.3145484","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3145344.3145484","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:34Z","timestamp":1750212814000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3145344.3145484"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,12]]},"references-count":19,"alternative-id":["10.1145\/3145344.3145484","10.1145\/3145344"],"URL":"https:\/\/doi.org\/10.1145\/3145344.3145484","relation":{},"subject":[],"published":{"date-parts":[[2017,11,12]]},"assertion":[{"value":"2017-11-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}