{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T13:38:04Z","timestamp":1761917884421,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":66,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T00:00:00Z","timestamp":1559952000000},"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":[[2019,6,8]]},"DOI":"10.1145\/3314221.3314646","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"594-609","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":31,"title":["Sparse computation data dependence simplification for efficient compiler-generated inspectors"],"prefix":"10.1145","author":[{"given":"Mahdi Soltan","family":"Mohammadi","sequence":"first","affiliation":[{"name":"University of Arizona, USA"}]},{"given":"Tomofumi","family":"Yuki","sequence":"additional","affiliation":[{"name":"Inria, France \/ University of Rennes, France \/ CNRS, France \/ IRISA, France"}]},{"given":"Kazem","family":"Cheshmi","sequence":"additional","affiliation":[{"name":"University of Toronto, Canada"}]},{"given":"Eddie C.","family":"Davis","sequence":"additional","affiliation":[{"name":"Boise State University, USA"}]},{"given":"Mary","family":"Hall","sequence":"additional","affiliation":[{"name":"University of Utah, USA"}]},{"given":"Maryam Mehri","family":"Dehnavi","sequence":"additional","affiliation":[{"name":"University of Toronto, Canada"}]},{"given":"Payal","family":"Nandy","sequence":"additional","affiliation":[{"name":"University of Utah, USA"}]},{"given":"Catherine","family":"Olschanowsky","sequence":"additional","affiliation":[{"name":"Boise State University, USA"}]},{"given":"Anand","family":"Venkat","sequence":"additional","affiliation":[{"name":"Intel, USA"}]},{"given":"Michelle Mills","family":"Strout","sequence":"additional","affiliation":[{"name":"University of Arizona, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,6,8]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2019. Compiler Technology to Optimize Performance (CTOP) research group webpage at Utah. http:\/\/ctop.cs.utah.edu\/ctop\/?page_id=21  2019. Compiler Technology to Optimize Performance (CTOP) research group webpage at Utah. http:\/\/ctop.cs.utah.edu\/ctop\/?page_id=21"},{"key":"e_1_3_2_2_2_1","unstructured":"2019. IEGenLib library SC16 artifact github repository. https:\/\/github. com\/CompOpt4Apps\/IEGenLib\/tree\/SC16_IEGenLib  2019. IEGenLib library SC16 artifact github repository. https:\/\/github. com\/CompOpt4Apps\/IEGenLib\/tree\/SC16_IEGenLib"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488796"},{"key":"e_1_3_2_2_4_1","volume-title":"ARCHER: Effectively Spotting Data Races in Large OpenMP Applications. In 2016 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2016","author":"Atzeni Simone","year":"2016","unstructured":"Simone Atzeni , Ganesh Gopalakrishnan , Zvonimir Rakamaric , Dong H. Ahn , Ignacio Laguna , Martin Schulz , Gregory L. Lee , Joachim Protze , and Matthias S. M\u00fcller . 2016 . ARCHER: Effectively Spotting Data Races in Large OpenMP Applications. In 2016 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2016 , Chicago, IL, USA , May 23-27, 2016 . 53\u201362. Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong H. Ahn, Ignacio Laguna, Martin Schulz, Gregory L. Lee, Joachim Protze, and Matthias S. M\u00fcller. 2016. ARCHER: Effectively Spotting Data Races in Large OpenMP Applications. In 2016 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2016, Chicago, IL, USA, May 23-27, 2016. 53\u201362."},{"volume-title":"ARCHER: Effectively Spotting Data Races in Large OpenMP Applications. In 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS). 53\u201362","author":"Atzeni S.","key":"e_1_3_2_2_5_1","unstructured":"S. Atzeni , G. Gopalakrishnan , Z. Rakamaric , D. H. Ahn , I. Laguna , M. Schulz , G. L. Lee , J. Protze , and M. S. M\u00c3\u0133ller . 2016 . ARCHER: Effectively Spotting Data Races in Large OpenMP Applications. In 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS). 53\u201362 . S. Atzeni, G. Gopalakrishnan, Z. Rakamaric, D. H. Ahn, I. Laguna, M. Schulz, G. L. Lee, J. Protze, and M. S. M\u00c3\u0133ller. 2016. ARCHER: Effectively Spotting Data Races in Large OpenMP Applications. In 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS). 53\u201362."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1996.1261"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1122971.1122990"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1654059.1654078"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1137\/S1064827599356900"},{"volume-title":"Proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI \u201906)","author":"Bradley Aaron R.","key":"e_1_3_2_2_10_1","unstructured":"Aaron R. Bradley , Zohar Manna , and Henny B. Sipma . 2006. What\u2019s Decidable About Arrays? . In Proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI \u201906) , E. Allen Emerson and Kedar S. Namjoshi (Eds.). 427\u2013442. Aaron R. Bradley, Zohar Manna, and Henny B. Sipma. 2006. What\u2019s Decidable About Arrays?. In Proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI \u201906), E. Allen Emerson and Kedar S. Namjoshi (Eds.). 427\u2013442."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/55364.55404"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254123"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2018.00065"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126908.3126936"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/5925.5932"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2049662.2049663"},{"key":"e_1_3_2_2_18_1","volume-title":"Cache Optimization for Structured and Unstructured Grid Multigrid. Electronic Transaction on Numerical Analysis (February","author":"Douglas Craig C.","year":"2000","unstructured":"Craig C. Douglas , Jonathan Hu , Markus Kowarschik , Ulrich R\u00fcde , and Christian Wei\u00df . 2000. Cache Optimization for Structured and Unstructured Grid Multigrid. Electronic Transaction on Numerical Analysis (February 2000 ), 21\u201340. Craig C. Douglas, Jonathan Hu, Markus Kowarschik, Ulrich R\u00fcde, and Christian Wei\u00df. 2000. Cache Optimization for Structured and Unstructured Grid Multigrid. Electronic Transaction on Numerical Analysis (February 2000), 21\u201340."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_25"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-8191(89)90101-4"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0895479887139455"},{"volume-title":"Graph theory and sparse matrix computation","author":"Gilbert John R","key":"e_1_3_2_2_22_1","unstructured":"John R Gilbert and Esmond G Ng. 1993. Predicting structure in nonsymmetric sparse matrix factorizations . In Graph theory and sparse matrix computation . Springer , 107\u2013139. John R Gilbert and Esmond G Ng. 1993. Predicting structure in nonsymmetric sparse matrix factorizations. In Graph theory and sparse matrix computation. Springer, 107\u2013139."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1137\/0913067"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(01)00141-7"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1137\/090757216"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2013.6495001"},{"key":"e_1_3_2_2_27_1","volume-title":"Frontiers of Massively Parallel Computation, 1995. Proceedings. Frontiers\u2019 95., Fifth Symposium on the. IEEE, 140\u2013147","author":"Karypis George","year":"1995","unstructured":"George Karypis and Vipin Kumar . 1995 . A high performance sparse Cholesky factorization algorithm for scalable parallel computers . In Frontiers of Massively Parallel Computation, 1995. Proceedings. Frontiers\u2019 95., Fifth Symposium on the. IEEE, 140\u2013147 . George Karypis and Vipin Kumar. 1995. A high performance sparse Cholesky factorization algorithm for scalable parallel computers. In Frontiers of Massively Parallel Computation, 1995. Proceedings. Frontiers\u2019 95., Fifth Symposium on the. IEEE, 140\u2013147."},{"key":"e_1_3_2_2_28_1","unstructured":"Wayne Kelly Vadim Maslov William Pugh Evan Rosser Tatiana Shpeisman and Dave Wonnacott. 1996. The Omega Calculator and Library version 1.1.0.  Wayne Kelly Vadim Maslov William Pugh Evan Rosser Tatiana Shpeisman and Dave Wonnacott. 1996. The Omega Calculator and Library version 1.1.0."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0021-9991(78)90098-0"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/3086916"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349322"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158098"},{"key":"e_1_3_2_2_34_1","volume-title":"Proceedings of The 31st International Workshop on Languages and Compilers for Parallel Computing (LCPC18)","author":"Mohammadi Mahdi Soltan","year":"2018","unstructured":"Mahdi Soltan Mohammadi , Kazem Cheshmi , Maryam Mehri Dehnavi , Anand Venkat , Tomofumi Yuki , and Michelle Mills Strout . 2018 . Extending Index-Array Properties for Data Dependence Analysis . In Proceedings of The 31st International Workshop on Languages and Compilers for Parallel Computing (LCPC18) . Mahdi Soltan Mohammadi, Kazem Cheshmi, Maryam Mehri Dehnavi, Anand Venkat, Tomofumi Yuki, and Michelle Mills Strout. 2018. Extending Index-Array Properties for Data Dependence Analysis. In Proceedings of The 31st International Workshop on Languages and Compilers for Parallel Computing (LCPC18)."},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73595-3_13"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254124"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/509705.509708"},{"key":"e_1_3_2_2_38_1","volume-title":"Accuracy and effectiveness of preconditioned conjugate gradient algorithms for large and illconditioned problems. Computer methods in applied mechanics and engineering 109, 3-4","author":"Papadrakakis M","year":"1993","unstructured":"M Papadrakakis and N Bitoulas . 1993. Accuracy and effectiveness of preconditioned conjugate gradient algorithms for large and illconditioned problems. Computer methods in applied mechanics and engineering 109, 3-4 ( 1993 ), 219\u2013232. M Papadrakakis and N Bitoulas. 1993. Accuracy and effectiveness of preconditioned conjugate gradient algorithms for large and illconditioned problems. Computer methods in applied mechanics and engineering 109, 3-4 (1993), 219\u2013232."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07518-1_8"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2014.82"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1137\/0914074"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"crossref","unstructured":"Alex Pothen and Sivan Toledo. 2004. Elimination Structures in Scientific Computing.  Alex Pothen and Sivan Toledo. 2004. Elimination Structures in Scientific Computing.","DOI":"10.1201\/9781420035179.ch59"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"crossref","unstructured":"Roldan Pozo Karin Remington and Andrew Lumsdaine. 1996. SparseLib++ v. 1.5 Sparse Matrix Class Library reference guide. NIST Interagency\/Internal Report (NISTIR)-5861 (1996).  Roldan Pozo Karin Remington and Andrew Lumsdaine. 1996. SparseLib++ v. 1.5 Sparse Matrix Class Library reference guide. NIST Interagency\/Internal Report (NISTIR)-5861 (1996).","DOI":"10.6028\/NIST.IR.5861"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/263580.263637"},{"key":"e_1_3_2_2_45_1","volume-title":"Nonlinear Array Dependence Analysis. In Third Workshop on Languages, Compilers, and RunTime Systems for Scalable Computers","author":"Pugh William","year":"1995","unstructured":"William Pugh and David Wonnacott . 1995 . Nonlinear Array Dependence Analysis. In Third Workshop on Languages, Compilers, and RunTime Systems for Scalable Computers . Troy, New York. William Pugh and David Wonnacott. 1995. Nonlinear Array Dependence Analysis. In Third Workshop on Languages, Compilers, and RunTime Systems for Scalable Computers. Troy, New York."},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/291889.291900"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/224538.224553"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02577866"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2688500.2688515"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2016.06.004"},{"key":"e_1_3_2_2_51_1","volume-title":"On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4. CoRR abs\/1502.04464","author":"Reynolds Andrew","year":"2015","unstructured":"Andrew Reynolds , Morgan Deters , Viktor Kuncak , Clark W. Barrett , and Cesare Tinelli . 2015. On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4. CoRR abs\/1502.04464 ( 2015 ). http:\/\/arxiv.org\/abs\/1502.04464 Andrew Reynolds, Morgan Deters, Viktor Kuncak, Clark W. Barrett, and Cesare Tinelli. 2015. On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4. CoRR abs\/1502.04464 (2015). http:\/\/arxiv.org\/abs\/1502.04464"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/2682923.2682957"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-8191(92)90041-5"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1024597010150"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1137\/0911008"},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.88484"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(01)00135-1"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/322123.322137"},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723164"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1177\/1094342004041294"},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2857721"},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2016.02.004"},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.5555\/3014904.3014959"},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.5555\/1888390.1888455"},{"key":"e_1_3_2_2_65_1","unstructured":"Richard Vuduc Shoaib Kamil Jen Hsu Rajesh Nishtala James W Demmel and Katherine A Yelick. 2002. Automatic performance tuning and analysis of sparse triangular solve. ICS.  Richard Vuduc Shoaib Kamil Jen Hsu Rajesh Nishtala James W Demmel and Katherine A Yelick. 2002. Automatic performance tuning and analysis of sparse triangular solve. ICS."},{"volume-title":"HighPerformance Computing on the Intel\u00ae Xeon Phi","author":"Wang Endong","key":"e_1_3_2_2_66_1","unstructured":"Endong Wang , Qing Zhang , Bo Shen , Guangyong Zhang , Xiaowei Lu , Qing Wu , and Yajuan Wang . 2014. Intel math kernel library . In HighPerformance Computing on the Intel\u00ae Xeon Phi . Springer , 167\u2013188. Endong Wang, Qing Zhang, Bo Shen, Guangyong Zhang, Xiaowei Lu, Qing Wu, and Yajuan Wang. 2014. Intel math kernel library. In HighPerformance Computing on the Intel\u00ae Xeon Phi. Springer, 167\u2013188."},{"key":"e_1_3_2_2_67_1","volume-title":"Architectures and Processors (ASAP), 2015 IEEE 26th International Conference on. IEEE, 90\u201397","author":"Zheng Ran","year":"2015","unstructured":"Ran Zheng , Wei Wang , Hai Jin , Song Wu , Yong Chen , and Han Jiang . 2015 . GP U-based multifrontal optimizing method in sparse Cholesky factorization. In Application-specific Systems , Architectures and Processors (ASAP), 2015 IEEE 26th International Conference on. IEEE, 90\u201397 . Ran Zheng, Wei Wang, Hai Jin, Song Wu, Yong Chen, and Han Jiang. 2015. GP U-based multifrontal optimizing method in sparse Cholesky factorization. In Application-specific Systems, Architectures and Processors (ASAP), 2015 IEEE 26th International Conference on. IEEE, 90\u201397."},{"key":"e_1_3_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2009.10"}],"event":{"name":"PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Phoenix AZ USA","acronym":"PLDI '19"},"container-title":["Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314646","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314646","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:29Z","timestamp":1750204409000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314646"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,8]]},"references-count":66,"alternative-id":["10.1145\/3314221.3314646","10.1145\/3314221"],"URL":"https:\/\/doi.org\/10.1145\/3314221.3314646","relation":{},"subject":[],"published":{"date-parts":[[2019,6,8]]},"assertion":[{"value":"2019-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}