{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:42:38Z","timestamp":1730313758015,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,3,10]]},"DOI":"10.1145\/1185448.1185450","type":"proceedings-article","created":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T20:15:56Z","timestamp":1168978556000},"page":"1-6","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Toward efficient flow-sensitive induction variable analysis and dependence testing for loop optimization"],"prefix":"10.1145","author":[{"given":"Yixin","family":"Shou","sequence":"first","affiliation":[{"name":"Florida State University, Tallahassee, FL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert A.","family":"van Engelen","sequence":"additional","affiliation":[{"name":"Florida State University, Tallahassee, FL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johnnie","family":"Birch","sequence":"additional","affiliation":[{"name":"Florida State University, Tallahassee, FL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyle A.","family":"Gallivan","sequence":"additional","affiliation":[{"name":"Florida State University, Tallahassee, FL"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,3,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Compilers: Principles, Techniques and Tools","author":"Aho A.","year":"1985","unstructured":"A. Aho , R. Sethi , and J. Ullman . Compilers: Principles, Techniques and Tools . Addison-Wesley Publishing Company , Reading MA , 1985 .]] A. Aho, R. Sethi, and J. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley Publishing Company, Reading MA, 1985.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/535430"},{"key":"e_1_3_2_1_4_1","first-page":"37","volume-title":"Proceedings of the 2004 GCC Developers Summit","author":"Berlin D.","year":"2004","unstructured":"D. Berlin , D. Edelsohn , and S. Pop . High-level loop optimizations for gcc . In Proceedings of the 2004 GCC Developers Summit , pages 37 -- 54 , 2004 .]] D. Berlin, D. Edelsohn, and S. Pop. High-level loop optimizations for gcc. In Proceedings of the 2004 GCC Developers Summit, pages 37--54, 2004.]]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/200994.201003"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113448"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/233561.233568"},{"key":"e_1_3_2_1_8_1","volume-title":"Morgan Kaufmann","author":"Muchnick S.","year":"1997","unstructured":"S. Muchnick . Advanced Compiler Design and Implementation . Morgan Kaufmann , San Fransisco, CA , 1997 .]] S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann, San Fransisco, CA, 1997.]]"},{"key":"e_1_3_2_1_9_1","first-page":"181","volume-title":"Proceedings of the 2003 GCC Developers Summit","author":"Novillo D.","year":"2003","unstructured":"D. Novillo . Tree SSA : A new optimization infrastructure for gcc . In Proceedings of the 2003 GCC Developers Summit , pages 181 -- 193 , 2003 .]] D. Novillo. Tree SSA: A new optimization infrastructure for gcc. In Proceedings of the 2003 GCC Developers Summit, pages 181--193, 2003.]]"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(01)00132-6"},{"key":"e_1_3_2_1_11_1","first-page":"145","volume-title":"proceedings of the International Conference on Parallel Processing","volume":"2","author":"Shen Z.","year":"1989","unstructured":"Z. Shen , Z. Li , and P.-C. Yew . An empirical study on array subscripts and data dependencies . In proceedings of the International Conference on Parallel Processing , volume 2 , pages 145 -- 152 , 1989 .]] Z. Shen, Z. Li, and P.-C. Yew. An empirical study on array subscripts and data dependencies. In proceedings of the International Conference on Parallel Processing, volume 2, pages 145--152, 1989.]]"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/224538.224648"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/647477.727776"},{"key":"e_1_3_2_1_15_1","volume-title":"Computer Science Dept.","author":"van Engelen R.","year":"2004","unstructured":"R. van Engelen . The CR# algebra and its application in loop analysis and optimization. Technical report , Computer Science Dept. , Florida State University , 2004 .]] R. van Engelen. The CR# algebra and its application in loop analysis and optimization. Technical report, Computer Science Dept., Florida State University, 2004.]]"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025125.1025918"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1006209.1006226"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/143095.143131"},{"key":"e_1_3_2_1_19_1","volume-title":"High Performance Compilers for Parallel Computers","author":"Wolfe M.","year":"1996","unstructured":"M. Wolfe . High Performance Compilers for Parallel Computers . Addison-Wesley , Redwood City, CA , 1996 .]] M. Wolfe. High Performance Compilers for Parallel Computers. Addison-Wesley, Redwood City, CA, 1996.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/377792.377809"},{"key":"e_1_3_2_1_21_1","first-page":"152","volume-title":"proceedings of DISCO'92","author":"Zima E.","year":"1992","unstructured":"E. Zima . Recurrent relations and speed-up of computations using computer algebra systems . In proceedings of DISCO'92 , pages 152 -- 161 . LNCS 721, 1992 .]] E. Zima. Recurrent relations and speed-up of computations using computer algebra systems. In proceedings of DISCO'92, pages 152--161. LNCS 721, 1992.]]"},{"key":"e_1_3_2_1_22_1","volume-title":"Supercompilers for Parallel and Vector Computers","author":"Zima H.","year":"1990","unstructured":"H. Zima and B. Chapman . Supercompilers for Parallel and Vector Computers . ACM Press , New York , 1990 .]] H. Zima and B. Chapman. Supercompilers for Parallel and Vector Computers. ACM Press, New York, 1990.]]"}],"event":{"name":"ACM SE06: ACM Southeast Regional Conference","acronym":"ACM SE06","location":"Melbourne Florida"},"container-title":["Proceedings of the 44th annual Southeast regional conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1185448.1185450","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T21:44:10Z","timestamp":1673559850000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1185448.1185450"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3,10]]},"references-count":21,"alternative-id":["10.1145\/1185448.1185450","10.1145\/1185448"],"URL":"https:\/\/doi.org\/10.1145\/1185448.1185450","relation":{},"subject":[],"published":{"date-parts":[[2006,3,10]]},"assertion":[{"value":"2006-03-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}