{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T07:54:54Z","timestamp":1790927694446,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,1,26]],"date-time":"2011-01-26T00:00:00Z","timestamp":1296000000000},"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":[[2011,1,26]]},"DOI":"10.1145\/1926385.1926445","type":"proceedings-article","created":{"date-parts":[[2011,1,24]],"date-time":"2011-01-24T09:58:22Z","timestamp":1295863102000},"page":"511-522","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["EigenCFA"],"prefix":"10.1145","author":[{"given":"Tarun","family":"Prabhu","sequence":"first","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shreyas","family":"Ramalingam","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthew","family":"Might","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mary","family":"Hall","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,1,26]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"NVIDIA CUDA Programming Guide 2.3 Aug. 2009.  NVIDIA CUDA Programming Guide 2.3 Aug. 2009."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/360018.360025"},{"key":"e_1_3_2_2_3_1","first-page":"55","volume-title":"PETSc Users Manual","author":"Balay S.","year":"2008","unstructured":"S. Balay , K. Buschelman , V. Eijkhout , W. Gropp , D. Kaushik , M. Knepley , L. C. McInnes , B. Smith , and H. Zhang . Sparse Matrices . In PETSc Users Manual , chapter 3, pages 55 -- 66 . 3.0.0 edition, Dec. 2008 . S. Balay, K. Buschelman, V. Eijkhout, W. Gropp, D. Kaushik, M. Knepley, L. C. McInnes, B. Smith, and H. Zhang. Sparse Matrices. In PETSc Users Manual, chapter 3, pages 55--66. 3.0.0 edition, Dec. 2008."},{"key":"e_1_3_2_2_4_1","unstructured":"F.\n      Banterle\n     and \n      R.\n      Giacobazzi\n  . \n  A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware\n  . In H. R. Nielson and G. Fil\u00e9 editors phStatic Analysis volume \n  4634\n   of \n  Lecture Notes in Computer Science chapter 20 pages \n  315\n  --\n  332\n  . \n  Springer Berlin Heidelberg Berlin Heidelberg 2007\n  . ISBN 978-3-540-74060-5.   F. Banterle and R. Giacobazzi. A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware. In H. R. Nielson and G. Fil\u00e9 editors phStatic Analysis volume 4634 of Lecture Notes in Computer Science chapter 20 pages 315--332. Springer Berlin Heidelberg Berlin Heidelberg 2007. ISBN 978-3-540-74060-5."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1654059.1654078"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328460"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567778"},{"key":"e_1_3_2_2_9_1","volume-title":"Parallelizing data flow analysis","author":"Gupta R.","year":"1990","unstructured":"R. Gupta , L. Pollock , and M. L. Soffa . Parallelizing data flow analysis . 1990 . R. Gupta, L. Pollock, and M. L. Soffa. Parallelizing data flow analysis. 1990."},{"key":"e_1_3_2_2_10_1","first-page":"00216","volume-title":"Elsevier Science Inc.","author":"Hecht M. S.","year":"1977","unstructured":"M. S. Hecht . phFlow Analysis of Computer Programs . Elsevier Science Inc. , New York, NY, USA , 1977 . ISBN 0-444- 00216 - 00212 . M. S. Hecht. phFlow Analysis of Computer Programs. Elsevier Science Inc., New York, NY, USA, 1977. ISBN 0-444-00216-2."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/646235.682702"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/512927.512945"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.298205"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/110382.110625"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.473220"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1946284.1946308"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96728"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869495"},{"key":"e_1_3_2_2_19_1","unstructured":"J. Midtgaard and D. Van Horn. Subcubic control flow analysis algorithm. Higher-Order and Symbolic Computation To appear.  J. Midtgaard and D. Van Horn. Subcubic control flow analysis algorithm. Higher-Order and Symbolic Computation To appear."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159807"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806631"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/200994.201001"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/27632.27649"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54007"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291166"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411243"},{"key":"e_1_3_2_2_28_1","unstructured":"A. Zobel. Parallel interval analysis of data flow equations. volume II. The Penn State University press Aug. 1990.  A. Zobel. Parallel interval analysis of data flow equations. volume II. The Penn State University press Aug. 1990."}],"event":{"name":"POPL '11: The 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Austin Texas USA","acronym":"POPL '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1926385.1926445","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1926385.1926445","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:59:51Z","timestamp":1750229991000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1926385.1926445"}},"subtitle":["accelerating flow analysis with GPUs"],"short-title":[],"issued":{"date-parts":[[2011,1,26]]},"references-count":27,"alternative-id":["10.1145\/1926385.1926445","10.1145\/1926385"],"URL":"https:\/\/doi.org\/10.1145\/1926385.1926445","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1925844.1926445","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,1,26]]},"assertion":[{"value":"2011-01-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}