{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:28:52Z","timestamp":1750220932478,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"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"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CCF-1725672, CCF-1725679"],"award-info":[{"award-number":["CCF-1725672, CCF-1725679"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"DOE","award":["DE-SC0010295"],"award-info":[{"award-number":["DE-SC0010295"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,8]]},"DOI":"10.1145\/3314221.3314626","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"830-844","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Sound, fine-grained traversal fusion for heterogeneous trees"],"prefix":"10.1145","author":[{"given":"Laith","family":"Sakka","sequence":"first","affiliation":[{"name":"Purdue University, USA"}]},{"given":"Kirshanthan","family":"Sundararajah","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}]},{"given":"Ryan R.","family":"Newton","sequence":"additional","affiliation":[{"name":"Indiana University, USA"}]},{"given":"Milind","family":"Kulkarni","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,6,8]]},"reference":[{"volume-title":"Implementation and Application of Automata","author":"Allauzen Cyril","unstructured":"Cyril Allauzen , Michael Riley , Johan Schalkwyk , Wojciech Skut , and Mehryar Mohri . 2007. OpenFst: A General and Efficient Weighted Finite-State Transducer Library . In Implementation and Application of Automata . Springer Berlin Heidelberg , Berlin, Heidelberg , 11\u201323. Cyril Allauzen, Michael Riley, Johan Schalkwyk, Wojciech Skut, and Mehryar Mohri. 2007. OpenFst: A General and Efficient Weighted Finite-State Transducer Library. In Implementation and Application of Automata. Springer Berlin Heidelberg, Berlin, Heidelberg, 11\u201323.","key":"e_1_3_2_2_1_1"},{"volume-title":"Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI \u201908)","author":"Bondhugula Uday","unstructured":"Uday Bondhugula , Albert Hartono , J. Ramanujam , and P. Sadayappan . 2008. A Practical Automatic Polyhedral Parallelizer and Locality Optimizer . In Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI \u201908) . ACM, New York, NY, USA, 101\u2013113. Uday Bondhugula, Albert Hartono, J. Ramanujam, and P. Sadayappan. 2008. A Practical Automatic Polyhedral Parallelizer and Locality Optimizer. In Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI \u201908). ACM, New York, NY, USA, 101\u2013113.","key":"e_1_3_2_2_2_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_3_1","DOI":"10.1145\/301631.301633"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_4_1","DOI":"10.1145\/301589.286865"},{"key":"e_1_3_2_2_5_1","volume-title":"A Modular Derivation Strategy via Fusion and Tupling. (12","author":"Hu Zhenjiang","year":"1999","unstructured":"Wei-ngan Chin, Zhenjiang Hu , and Masato Takeichi . 1999. A Modular Derivation Strategy via Fusion and Tupling. (12 1999 ). Wei-ngan Chin, Zhenjiang Hu, and Masato Takeichi. 1999. A Modular Derivation Strategy via Fusion and Tupling. (12 1999)."},{"unstructured":"H. Comon M. Dauchet R. Gilleron C. L\u00f6ding F. Jacquemard D. Lugiez S. Tison and M. Tommasi. 2007. Tree Automata Techniques and Applications. Available on: http:\/\/www.grappa.univ-lille3.fr\/tata . release October 12th 2007.  H. Comon M. Dauchet R. Gilleron C. L\u00f6ding F. Jacquemard D. Lugiez S. Tison and M. Tommasi. 2007. Tree Automata Techniques and Applications. Available on: http:\/\/www.grappa.univ-lille3.fr\/tata . release October 12th 2007.","key":"e_1_3_2_2_6_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_7_1","DOI":"10.1145\/1291151.1291199"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_8_1","DOI":"10.5555\/520793.825721"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_9_1","DOI":"10.1016\/S0022-0000(70)80041-1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_10_1","DOI":"10.1006\/jcss.2001.1816"},{"key":"e_1_3_2_2_11_1","volume-title":"Software Metrics: A Rigorous Approach","author":"Fenton Norman E.","year":"1991","unstructured":"Norman E. Fenton . 1991 . Software Metrics: A Rigorous Approach . Chapman & Hall, Ltd ., London, UK, UK. Norman E. Fenton. 1991. Software Metrics: A Rigorous Approach. Chapman & Hall, Ltd., London, UK, UK."},{"volume-title":"Proceedings of the 6th International Workshop on Languages and Compilers for Parallel Computing. Springer-Verlag","author":"Kennedy Ken","unstructured":"Ken Kennedy and Kathryn S . McKinley. 1994. Maximizing Loop Parallelism and Improving Data Locality via Loop Fusion and Distribution . In Proceedings of the 6th International Workshop on Languages and Compilers for Parallel Computing. Springer-Verlag , London, UK, UK, 301\u2013320. http:\/\/dl.acm.org\/citation.cfm?id=645671.665526 Ken Kennedy and Kathryn S. McKinley. 1994. Maximizing Loop Parallelism and Improving Data Locality via Loop Fusion and Distribution. In Proceedings of the 6th International Workshop on Languages and Compilers for Parallel Computing. Springer-Verlag, London, UK, UK, 301\u2013320. http:\/\/dl.acm.org\/citation.cfm?id=645671.665526","key":"e_1_3_2_2_12_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_13_1","DOI":"10.1145\/53990.53993"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_14_1","DOI":"10.1145\/1064978.1065027"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_15_1","DOI":"10.1016\/j.ic.2008.03.019"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_16_1","DOI":"10.1145\/1772690.1772763"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_17_1","DOI":"10.1145\/2442516.2442535"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_18_1","DOI":"10.1145\/3062341.3062346"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_19_1","DOI":"10.1145\/1183401.1183437"},{"volume-title":"Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC \u201916)","author":"Rajbhandari Samyam","unstructured":"Samyam Rajbhandari , Jinsung Kim , Sriram Krishnamoorthy , LouisNoel Pouchet , Fabrice Rastello , Robert J. Harrison , and P. Sadayappan . 2016. A Domain-specific Compiler for a Parallel Multiresolution Adaptive Numerical Simulation Environment . In Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC \u201916) . IEEE Press, Piscataway, NJ, USA, Article 40, 12 pages. http:\/\/dl.acm.org\/citation.cfm?id=3014904.3014958 Samyam Rajbhandari, Jinsung Kim, Sriram Krishnamoorthy, LouisNoel Pouchet, Fabrice Rastello, Robert J. Harrison, and P. Sadayappan. 2016. A Domain-specific Compiler for a Parallel Multiresolution Adaptive Numerical Simulation Environment. In Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC \u201916). IEEE Press, Piscataway, NJ, USA, Article 40, 12 pages. http:\/\/dl.acm.org\/citation.cfm?id=3014904.3014958","key":"e_1_3_2_2_20_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_21_1","DOI":"10.1145\/2892208.2892228"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_22_1","DOI":"10.1145\/3133900"},{"doi-asserted-by":"crossref","unstructured":"Laith Sakka Kirshanthan Sundararajah and Milind Kulkarni. 2017. TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals. In PACM Progr. Lang. 1 (OOPSLA \u201917). ACM 31.  Laith Sakka Kirshanthan Sundararajah and Milind Kulkarni. 2017. TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals. In PACM Progr. Lang. 1 (OOPSLA \u201917). ACM 31.","key":"e_1_3_2_2_23_1","DOI":"10.1145\/3133900"},{"doi-asserted-by":"crossref","unstructured":"Laith Sakka Kirshanthan Sundararajah Ryan R. Newton and Milind Kulkarni. 2019. Sound Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version. arXiv: arXiv:1904.07061  Laith Sakka Kirshanthan Sundararajah Ryan R. Newton and Milind Kulkarni. 2019. Sound Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version. arXiv: arXiv:1904.07061","key":"e_1_3_2_2_24_1","DOI":"10.1145\/3314221.3314626"},{"volume-title":"Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques (PACT \u201998)","author":"Truong D. N.","unstructured":"D. N. Truong , F. Bodin , and A. Seznec . 1998. Improving Cache Behavior of Dynamically Allocated Data Structures . In Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques (PACT \u201998) . IEEE Computer Society, Washington, DC, USA, 322\u2013. http:\/\/portal.acm.org\/citation.cfm?id=522344.825680 D. N. Truong, F. Bodin, and A. Seznec. 1998. Improving Cache Behavior of Dynamically Allocated Data Structures. In Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques (PACT \u201998). IEEE Computer Society, Washington, DC, USA, 322\u2013. http:\/\/portal.acm.org\/citation.cfm?id=522344.825680","key":"e_1_3_2_2_26_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_27_1","DOI":"10.1016\/0304-3975(90)90147-A"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_28_1","DOI":"10.1145\/2737924.2737972"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_29_1","DOI":"10.1145\/1190216.1190248"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"acronym":"PLDI '19","name":"PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Phoenix AZ USA"},"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.3314626","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314626","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314626","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:22Z","timestamp":1750204402000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314626"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,8]]},"references-count":28,"alternative-id":["10.1145\/3314221.3314626","10.1145\/3314221"],"URL":"https:\/\/doi.org\/10.1145\/3314221.3314626","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"}}]}}