{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T21:01:11Z","timestamp":1751662871312,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":38,"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"],"award-info":[{"award-number":["CCF-1725672"]}],"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.3314592","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"902-917","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Composable, sound transformations of nested recursion and loops"],"prefix":"10.1145","author":[{"given":"Kirshanthan","family":"Sundararajah","sequence":"first","affiliation":[{"name":"Purdue University, USA"}]},{"given":"Milind","family":"Kulkarni","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,6,8]]},"reference":[{"key":"e_1_3_2_2_1_1","first-page":"233","volume-title":"Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction (SIGPLAN '84)","author":"John","unstructured":"John R. Allen and Ken Kennedy. 1984. Automatic Loop Interchange . In Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction (SIGPLAN '84) . ACM, New York, NY, USA , 233 - 246 . John R. Allen and Ken Kennedy. 1984. Automatic Loop Interchange. In Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction (SIGPLAN '84). ACM, New York, NY, USA, 233-246."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_11"},{"key":"e_1_3_2_2_3_1","first-page":"101","volume-title":"Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '08)","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 '08) . ACM, New York, NY, USA , 101 - 113 . 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 '08). ACM, New York, NY, USA, 101-113."},{"volume-title":"Proceedings. 1998 International Conference on Parallel Architectures and Compilation Techniques. 332-339","author":"Cohen A.","key":"e_1_3_2_2_4_1","unstructured":"A. Cohen and J. F. Collard . 1998. Instance-wise reaching definition analysis for recursive programs using context-free transductions . In Proceedings. 1998 International Conference on Parallel Architectures and Compilation Techniques. 332-339 . A. Cohen and J. F. Collard. 1998. Instance-wise reaching definition analysis for recursive programs using context-free transductions. In Proceedings. 1998 International Conference on Parallel Architectures and Compilation Techniques. 332-339."},{"key":"e_1_3_2_2_5_1","first-page":"5","article-title":"Some Efficient Solutions to the Affine Scheduling Problem","volume":"21","author":"Feautrier Paul","year":"1992","unstructured":"Paul Feautrier . 1992 . Some Efficient Solutions to the Affine Scheduling Problem : I. One-dimensional Time. Int. J. Parallel Program. 21 , 5 (Oct. 1992), 313-348. Paul Feautrier. 1992. Some Efficient Solutions to the Affine Scheduling Problem: I. One-dimensional Time. Int. J. Parallel Program. 21, 5 (Oct. 1992), 313-348.","journal-title":"I. One-dimensional Time. Int. J. Parallel Program."},{"key":"e_1_3_2_2_6_1","article-title":"Some efficient solutions to the affine scheduling problem. Part II. Multidimensional time","volume":"21","author":"Feautrier Paul","year":"1992","unstructured":"Paul Feautrier . 1992 . Some efficient solutions to the affine scheduling problem. Part II. Multidimensional time . International Journal of Parallel Programming 21 , 6 (01 Dec 1992), 389-420. Paul Feautrier. 1992. Some efficient solutions to the affine scheduling problem. Part II. Multidimensional time. International Journal of Parallel Programming 21, 6 (01 Dec 1992), 389-420.","journal-title":"International Journal of Parallel Programming"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/646663.700133"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/647474.727598"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/321466.321473"},{"volume-title":"2017 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS). 227-238","author":"Hegde N.","key":"e_1_3_2_2_10_1","unstructured":"N. Hegde , J. Liu , K. Sundararajah , and M. Kulkarni . 2017. Treelogy: A benchmark suite for tree traversals . In 2017 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS). 227-238 . N. Hegde, J. Liu, K. Sundararajah, and M. Kulkarni. 2017. Treelogy: A benchmark suite for tree traversals. In 2017 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS). 227-238."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.15398\/jlm.v5i1.158"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178262"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/2523721.2523770"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048104"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384643"},{"key":"e_1_3_2_2_16_1","first-page":"3","article-title":"Regular Models of Phonological Rule","volume":"20","author":"Kaplan Ronald M.","year":"1994","unstructured":"Ronald M. Kaplan and Martin Kay . 1994 . Regular Models of Phonological Rule Systems. Comput. Linguist. 20 , 3 (Sept. 1994), 331-378. http:\/\/dl.acm.org\/citation.cfm?id=204915.204917. Ronald M. Kaplan and Martin Kay. 1994. Regular Models of Phonological Rule Systems. Comput. Linguist. 20, 3 (Sept. 1994), 331-378. http:\/\/dl.acm.org\/citation.cfm?id=204915.204917.","journal-title":"Systems. Comput. Linguist."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/321406.321418"},{"key":"e_1_3_2_2_18_1","volume-title":"Allen","author":"Kennedy Ken","year":"2002","unstructured":"Ken Kennedy and John R . Allen . 2002 . Optimizing Compilers for Modern Architectures: A Dependence-based Approach. Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA. Ken Kennedy and John R. Allen. 2002. Optimizing Compilers for Modern Architectures: A Dependence-based Approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA."},{"key":"e_1_3_2_2_19_1","first-page":"63","volume-title":"Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS IV). ACM","author":"Lam Monica D.","unstructured":"Monica D. Lam , Edward E. Rothberg , and Michael E. Wolf . 1991. The Cache Performance and Optimizations of Blocked Algorithms . In Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS IV). ACM , New York, NY, USA , 63 - 74 . Monica D. Lam, Edward E. Rothberg, and Michael E. Wolf. 1991. The Cache Performance and Optimizations of Blocked Algorithms. In Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS IV). ACM, New York, NY, USA, 63-74."},{"key":"e_1_3_2_2_20_1","first-page":"24","volume-title":"Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation (PLDI '88)","author":"Larus J. R.","unstructured":"J. R. Larus and P. N. Hilfinger . 1988. Detecting Conflicts Between Structure Accesses . In Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation (PLDI '88) . ACM, New York, NY, USA , 24 - 31 . J. R. Larus and P. N. Hilfinger. 1988. Detecting Conflicts Between Structure Accesses. In Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation (PLDI '88). ACM, New York, NY, USA, 24-31."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062346"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125848"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.32.0114"},{"volume-title":"Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC '16)","author":"Rajbhandari Samyam","key":"e_1_3_2_2_25_1","unstructured":"Samyam Rajbhandari , Jinsung Kim , Sriram Krishnamoorthy , Louis-Noel 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 '16) . IEEE Press, Piscataway, NJ, USA, Article 40, 12 pages. http:\/\/dl.acm.org\/citation.cfm?id=3014904.3014958. Samyam Rajbhandari, Jinsung Kim, Sriram Krishnamoorthy, Louis-Noel 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 '16). IEEE Press, Piscataway, NJ, USA, Article 40, 12 pages. http:\/\/dl.acm.org\/citation.cfm?id=3014904.3014958."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892228"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738004"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1057387.1057388"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133900"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781142"},{"key":"e_1_3_2_2_31_1","volume-title":"C (April","author":"Strout Michelle Mills","year":"2016","unstructured":"Michelle Mills Strout , Alan LaMielle , Larry Carter , Jeanne Ferrante , Barbara Kreaseck , and Catherine Olschanowsky . 2016. An Approach for Code Generation in the Sparse Polyhedral Framework. Parallel Comput. 53 , C (April 2016 ), 32-57. Michelle Mills Strout, Alan LaMielle, Larry Carter, Jeanne Ferrante, Barbara Kreaseck, and Catherine Olschanowsky. 2016. An Approach for Code Generation in the Sparse Polyhedral Framework. Parallel Comput. 53, C (April 2016), 32-57."},{"key":"e_1_3_2_2_32_1","first-page":"1136","volume-title":"Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium (IPDPS '14)","author":"Strout Michelle Mills","unstructured":"Michelle Mills Strout , Fabio Luporini , Christopher D. Krieger , Carlo Bertolli , Gheorghe-Teodor Bercea , Catherine Olschanowsky , J. Ramanujam , and Paul H. J. Kelly . 2014. Generalizing Run-Time Tiling with the Loop Chain Abstraction . In Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium (IPDPS '14) . IEEE Computer Society, Washington, DC, USA , 1136 - 1145 . Michelle Mills Strout, Fabio Luporini, Christopher D. Krieger, Carlo Bertolli, Gheorghe-Teodor Bercea, Catherine Olschanowsky, J. Ramanujam, and Paul H. J. Kelly. 2014. Generalizing Run-Time Tiling with the Loop Chain Abstraction. In Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium (IPDPS '14). IEEE Computer Society, Washington, DC, USA, 1136-1145."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093336.3037720"},{"key":"e_1_3_2_2_35_1","first-page":"106","volume-title":"Proceedings of the 18th Annual International Conference on Supercomputing (ICS '04)","author":"van Engelen Robert A.","unstructured":"Robert A. van Engelen , J. Birch , Y. Shou , B. Walsh , and Kyle A. Gallivan . 2004. A Unified Framework for Nonlinear Dependence Testing and Symbolic Analysis . In Proceedings of the 18th Annual International Conference on Supercomputing (ICS '04) . ACM, New York, NY, USA , 106 - 115 . Robert A. van Engelen, J. Birch, Y. Shou, B. Walsh, and Kyle A. Gallivan. 2004. A Unified Framework for Nonlinear Dependence Testing and Symbolic Analysis. In Proceedings of the 18th Annual International Conference on Supercomputing (ICS '04). ACM, New York, NY, USA, 106-115."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738003"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737972"},{"key":"e_1_3_2_2_38_1","first-page":"30","volume-title":"Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation (PLDI '91)","author":"Michael","unstructured":"Michael E. Wolf and Monica S. Lam. 1991. A Data Locality Optimizing Algorithm . In Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation (PLDI '91) . ACM, New York, NY, USA , 30 - 44 . Michael E. Wolf and Monica S. Lam. 1991. A Data Locality Optimizing Algorithm. In Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation (PLDI '91). ACM, New York, NY, USA, 30-44."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/76263.76337"},{"key":"e_1_3_2_2_40_1","first-page":"37","volume-title":"Proceedings of the Sixth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP '97)","author":"Zhang Xingbin","unstructured":"Xingbin Zhang and Andrew A. Chien . 1997. Dynamic Pointer Alignment: Tiling and Communication Optimizations for Parallel Pointer-based Computations . In Proceedings of the Sixth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP '97) . ACM, New York, NY, USA , 37 - 47 . Xingbin Zhang and Andrew A. Chien. 1997. Dynamic Pointer Alignment: Tiling and Communication Optimizations for Parallel Pointer-based Computations. In Proceedings of the Sixth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP '97). ACM, New York, NY, USA, 37-47."}],"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.3314592","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314592","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314592","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.3314592"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,8]]},"references-count":38,"alternative-id":["10.1145\/3314221.3314592","10.1145\/3314221"],"URL":"https:\/\/doi.org\/10.1145\/3314221.3314592","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"}}]}}