{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:03:09Z","timestamp":1725516189801},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540852605"},{"type":"electronic","value":"9783540852612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85261-2_22","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T03:20:24Z","timestamp":1218511224000},"page":"323-337","source":"Crossref","is-referenced-by-count":1,"title":["Flow-Sensitive Loop-Variant Variable Classification in Linear Time"],"prefix":"10.1007","author":[{"given":"Yixin","family":"Shou","sequence":"first","affiliation":[]},{"given":"Robert","family":"van Engelen","sequence":"additional","affiliation":[]},{"given":"Johnnie","family":"Birch","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","volume-title":"Compilers: Principles, Techniques and Tools","author":"A. Aho","year":"1985","unstructured":"Aho, A., Sethi, R., Ullman, J.: Compilers: Principles, Techniques and Tools. Addison-Wesley Publishing Company, Reading (1985)"},{"key":"22_CR2","volume-title":"Optimizing Compilers for Modern Architectures","author":"R. Allen","year":"2002","unstructured":"Allen, R., Kennedy, K.: Optimizing Compilers for Modern Architectures. Morgan Kaufmann, San Francisco (2002)"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Andrade, D., Arenaz, M., Fraguela, B., no, J.T., Doallo, R.: Automated and accurate cache behavior analysis for codes with irregular access patterns. In: Concurrency and Computation: Practice and Experience (to appear, 2007)","DOI":"10.1002\/cpe.1173"},{"key":"22_CR4","unstructured":"Bachmann, O.: Chains of Recurrences. PhD thesis, Kent State University, College of Arts and Sciences (1996)"},{"key":"22_CR5","unstructured":"Berlin, D., Edelsohn, D., Pop, S.: High-level loop optimizations for GCC. In: Proceedings of the 2004 GCC Developers\u2019 Summit, pp. 37\u201354 (2004)"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1145\/1152154.1152198","volume-title":"PACT 2006: Proceedings of the 15th international conference on Parallel architectures and compilation techniques","author":"J. Birch","year":"2006","unstructured":"Birch, J., van Engelen, R., Gallivan, K., Shou, Y.: An empirical evaluation of chains of recurrences for array dependence testing. In: PACT 2006: Proceedings of the 15th international conference on Parallel architectures and compilation techniques, pp. 295\u2013304. ACM Press, New York (2006)"},{"issue":"12","key":"22_CR7","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/2.546612","volume":"29","author":"W. Blume","year":"1996","unstructured":"Blume, W., Doallo, R., Eigenmann, R., Grout, J., Hoeflinger, J., Lawrence, T., Lee, J., Padua, D., Paek, Y., Pottenger, B., Rauchwerger, L., Tu, P.: Advanced program restructuring for high-performance computers with Polaris. IEEE Computer\u00a029(12), 78\u201382 (1996)","journal-title":"IEEE Computer"},{"issue":"2","key":"22_CR8","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1145\/643470.643472","volume":"2","author":"B. Franke","year":"2003","unstructured":"Franke, B., O\u2019Boyle, M.: Array recovery and high-level transformations for dsp applications. ACM Transactions on Embedded Computing Systems (TECS)\u00a02(2), 132\u2013162 (2003)","journal-title":"ACM Transactions on Embedded Computing Systems (TECS)"},{"issue":"1","key":"22_CR9","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/200994.201003","volume":"17","author":"M. Gerlek","year":"1995","unstructured":"Gerlek, M., Stolz, E., Wolfe, M.: Beyond induction variables: Detecting and classifying sequences using a demand-driven SSA form. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a017(1), 85\u2013122 (1995)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"issue":"6","key":"22_CR10","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1145\/93548.93581","volume":"25","author":"R. Gupta","year":"1990","unstructured":"Gupta, R.: A fresh look at optimizing array bound checking. SIGPLAN Not.\u00a025(6), 272\u2013282 (1990)","journal-title":"SIGPLAN Not"},{"issue":"4","key":"22_CR11","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1145\/233561.233568","volume":"18","author":"M.R. Haghighat","year":"1996","unstructured":"Haghighat, M.R., Polychronopoulos, C.D.: Symbolic analysis for parallelizing compilers. ACM Transactions on Programming Languages and Systems\u00a018(4), 477\u2013518 (1996)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR12","volume-title":"Advanced Compiler Design and Implementation","author":"S. Muchnick","year":"1997","unstructured":"Muchnick, S.: Advanced Compiler Design and Implementation. Morgan Kaufmann, San Fransisco (1997)"},{"key":"22_CR13","unstructured":"Pottenger, W., Eigenmann, R.: Parallelization in the presence of generalized induction and reduction variables. Technical report, 1396, Univ. of Illinois at Urbana Champaign, Center for Supercomputing Research & Development (1995)"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Shou, Y., van Engelen, R., Birch, J.: Flow-sensitive loop-variant variable classification in linear time. Technical report, TR-071005, Computer Science Dept., Florida State University (2007)","DOI":"10.1007\/978-3-540-85261-2_22"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Shou, Y., van Engelen, R., Birch, J., Gallivan, K.: Toward efficient flow-sensitive induction variable analysis and dependence testing for loop optimization. In: Proceedings of the ACM SouthEast Conference, pp. 1\u20136 (2006)","DOI":"10.1145\/1185448.1185450"},{"issue":"2","key":"22_CR16","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R. Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth first search and linear graph algorithms. SIAM Journal of Computing\u00a01(2), 146\u2013160 (1972)","journal-title":"SIAM Journal of Computing"},{"key":"22_CR17","unstructured":"van Engelen, R.: Symbolic evaluation of chains of recurrences for loop optimization. Technical report, TR-000102, Computer Science Dept., Florida State University (2000)"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/3-540-45306-7_9","volume-title":"Compiler Construction","author":"R. Engelen van","year":"2001","unstructured":"van Engelen, R.: Efficient symbolic analysis for optimizing compilers. In: Wilhelm, R. (ed.) CC 2001. LNCS, vol.\u00a02027, pp. 118\u2013132. Springer, Heidelberg (2001)"},{"key":"22_CR19","unstructured":"van Engelen, R.: The CR# algebra and its application in loop analysis and optimization. Technical report, TR-041223, Computer Science Dept., Florida State University (2004)"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"van Engelen, R., Birch, J., Shou, Y., Walsh, B., Gallivan, K.: A unified framework for nonlinear dependence testing and symbolic analysis. In: Proceedings of the ACM International Conference on Supercomputing (ICS), pp. 106\u2013115 (2004)","DOI":"10.1145\/1006209.1006226"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"van Engelen, R., Gallivan, K.: An efficient algorithm for pointer-to-array access conversion for compiling and optimizing DSP applications. In: Proceedings of the International Workshop on Innovative Architectures for Future Generation High-Performance Processors and Systems (IWIA) 2001, Maui, Hawaii, pp. 80\u201389 (2001)","DOI":"10.1109\/IWIA.2001.955200"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Wolfe, M.: Beyond induction variables. In: ACM SIGPLAN 1992 Conf. on Programming Language Design and Implementation, San Fransisco, CA, pp. 162\u2013174 (1992)","DOI":"10.1145\/143095.143131"},{"key":"22_CR23","volume-title":"High Performance Compilers for Parallel Computers","author":"M. Wolfe","year":"1996","unstructured":"Wolfe, M.: High Performance Compilers for Parallel Computers. Addison-Wesley, Redwood City (1996)"},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Wu, P., Cohen, A., Hoeflinger, J., Padua, D.: Monotonic evolution: An alternative to induction variable substitution for dependence analysis. In: Proceedings of the ACM International Conference on Supercomputing (ICS), pp. 78\u201391 (2001)","DOI":"10.1145\/377792.377809"},{"key":"22_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/3-540-57272-4_32","volume-title":"Design and Implementation of Symbolic Computation Systems","author":"E. Zima","year":"1993","unstructured":"Zima, E.: Recurrent relations and speed-up of computations using computer algebra systems. In: Fitch, J. (ed.) DISCO 1992. LNCS, vol.\u00a0721, pp. 152\u2013161. Springer, Heidelberg (1993)"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85261-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T03:18:59Z","timestamp":1557717539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85261-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540852605","9783540852612"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85261-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}