{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T11:24:20Z","timestamp":1763724260208},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201458"},{"type":"electronic","value":"9783540399209"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39920-9_9","type":"book-chapter","created":{"date-parts":[[2010,6,28]],"date-time":"2010-06-28T04:08:38Z","timestamp":1277698118000},"page":"117-132","source":"Crossref","is-referenced-by-count":2,"title":["An Unfolding-Based Loop Optimization Technique"],"prefix":"10.1007","author":[{"given":"Litong","family":"Song","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krishna","family":"Kavi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ron","family":"Cytron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading (1986)"},{"key":"9_CR2","volume-title":"Optimization Compilers for Modern Architectures","author":"R. Allen","year":"2002","unstructured":"Allen, R., Kennedy, K.: Optimization Compilers for Modern Architectures. Morgan Kaufmann Publishers, San Francisco (2002)"},{"key":"9_CR3","unstructured":"August, D.I.: Hyperblock performance optimizations for ILP processors, M.S. thesis, Department of Electrical and Computer Engineering, University of Illinois, Urbana, IL (1996)"},{"issue":"4","key":"9_CR4","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/197405.197406","volume":"26","author":"D.F. Bacon","year":"1994","unstructured":"Bacon, D.F., Graham, S.L.: Compiler transformations for high-performance computing. ACM Computing Surveys\u00a026(4), 345\u2013420 (1994)","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"9_CR5","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF00128174","volume":"2","author":"U. Banerjee","year":"1988","unstructured":"Banerjee, U.: An introduction to a formal theory of dependence analysis. Journal of Supercomput\u00a02(2), 133\u2013149 (1988)","journal-title":"Journal of Supercomput"},{"key":"9_CR6","first-page":"1","volume-title":"Prod. ACM Conf. On Programming Language Design and Implementation","author":"R. Bodik","year":"1998","unstructured":"Bodik, R., Gupta, R., Soffa, M.L.: Complete removal of redundant expressions. In: Prod. ACM Conf. On Programming Language Design and Implementation, pp. 1\u201314. ACM Press, New York (1998)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/3-540-61580-6_2","volume-title":"Partial Evaluation","author":"M.A. Bulyonkov","year":"1996","unstructured":"Bulyonkov, M.A., Kochetov, D.V.: Practical aspects of specialization of Algol-like programs. In: Danvy, O., Thiemann, P., Gl\u00fcck, R. (eds.) Dagstuhl Seminar 1996. LNCS, vol.\u00a01110, pp. 17\u201332. Springer, Heidelberg (1996)"},{"key":"9_CR8","unstructured":"Cocke, J., Schwartz, J.T.: Programming languages and their compilers (preliminarynotes). 2nd Courant Institute of Mathematical Science. New York University, New York"},{"issue":"4","key":"9_CR9","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J.: Efficiently computing static single assignment form and the control dependence graph. ACM TOPLAS\u00a013(4), 451\u2013490 (1991)","journal-title":"ACM TOPLAS"},{"key":"9_CR10","first-page":"70","volume-title":"Conference Record of the 13th ACM Symposium on Principle of Programming Languages","author":"R. Cytron","year":"1986","unstructured":"Cytron, R., Lowry, A., Zadeck, F.K.: Code motion of control structures in high-level languages. In: Conference Record of the 13th ACM Symposium on Principle of Programming Languages, pp. 70\u201385. ACM Press, New York (1986)"},{"issue":"3","key":"9_CR11","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1002\/spe.4380090307","volume":"9","author":"J. Dongarra","year":"1979","unstructured":"Dongarra, J., Hind, A.R.: Unrolling loops in Fortran. Softw. Pract. Exper.\u00a09(3), 219\u2013226 (1979)","journal-title":"Softw. Pract. Exper."},{"key":"9_CR12","volume-title":"ACM Doctoral Dissertation Award","author":"J.R. Ellis","year":"1986","unstructured":"Ellis, J.R.: Building: A Compiler for VLIW Architecture. In: ACM Doctoral Dissertation Award. MIT Press, Cambridge (1986)"},{"issue":"6","key":"9_CR13","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/367766.368168","volume":"5","author":"R.W. Floyd","year":"1962","unstructured":"Floyd, R.W.: Algorithm 97: Shortest path. Communications of the ACM\u00a05(6), 345 (1962)","journal-title":"Communications of the ACM"},{"issue":"8","key":"9_CR14","doi-asserted-by":"crossref","first-page":"834","DOI":"10.1109\/TC.2001.947011","volume":"50","author":"K.M. Kavi","year":"2001","unstructured":"Kavi, K.M., Giorgi, R., Arul, J.: Scheduled Dataflow: Execution paradigm, architecture and performance evaluation. IEEE Transactions on Computer\u00a050(8), 834\u2013846 (2001)","journal-title":"IEEE Transactions on Computer"},{"key":"9_CR15","unstructured":"Lin, D.C.: Compiler support for predicated execution in superscalar processors. M.S.thesis, Department of Electrical and Computer Engineering, University of Illinois, Urbana, IL (1992)"},{"key":"9_CR16","unstructured":"Mahlke, S.A.: Exploiting instruction level parallelism in the presence of conditional branches. Ph.D. thesis, Department of Electrical and Computer Engineering, University of Illinois, Urbana, IL (1995)"},{"issue":"1","key":"9_CR17","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/176454.176526","volume":"2","author":"R. Metzger","year":"1993","unstructured":"Metzger, R., Stroud, S.: Interprocedual constant propagation: An empirical study. ACM Letters on Programming Languages and Systems\u00a02(1), 213\u2013232 (1993)","journal-title":"ACM Letters on Programming Languages and Systems"},{"issue":"12","key":"9_CR18","doi-asserted-by":"publisher","first-page":"1184","DOI":"10.1145\/7902.7904","volume":"29","author":"D.A. Padua","year":"1986","unstructured":"Padua, D.A., Wolfe, M.J.: Advanced compiler optimizations for supercomputers. Communications of the ACM\u00a029(12), 1184\u20131201 (1986)","journal-title":"Communications of the ACM"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Compiler Optimizations for Scalable Parallel Systems","year":"1998","unstructured":"Pande, S., Agrawal, D.P. (eds.): Compiler Optimizations for Scalable Parallel Systems. LNCS, vol.\u00a01808. Springer, Heidelberg (1998)"},{"key":"9_CR20","first-page":"12","volume-title":"Conference Record of the 15th ACM Symposium on Principles of Programming Languages","author":"B.K. Rosen","year":"1988","unstructured":"Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Global value numbers and redundant computations. In: Conference Record of the 15th ACM Symposium on Principles of Programming Languages, pp. 12\u201327. ACM Press, New York (1988)"},{"key":"9_CR21","unstructured":"Song, L.: Studies on Termination Methods of Partial Evaluation. Ph.D. thesis, Department of Computer Science, Waseda University, Tokyo, Japan (2001)"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/3-540-61739-6_31","volume-title":"Symposium on Static Analysis","author":"B. Steffen","year":"1996","unstructured":"Steffen, B.: Property oriented expansion. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol.\u00a01145, pp. 22\u201341. Springer, Heidelberg (1996)"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/3-540-52592-0_76","volume-title":"ESOP 1990","author":"B. Steffen","year":"1990","unstructured":"Steffen, B., Knoop, J., R\u00fcthing, O.: The value flow graph: A program representation for optimal program transformations. In: Jones, N.D. (ed.) ESOP 1990. LNCS, vol.\u00a0432, pp. 389\u2013405. Springer, Heidelberg (1990)"},{"issue":"1","key":"9_CR24","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/321105.321107","volume":"9","author":"S. Warshall","year":"1962","unstructured":"Warshall, S.: A theorem on Boolean matrices. Journal of the ACM\u00a09(1), 11\u201312 (1962)","journal-title":"Journal of the ACM"},{"key":"9_CR25","unstructured":"Wolfe, M.J.: Optimizing supercompilers for supercomputers. In: Research Monographs in Parallel and Distributed Computing, MIT Press, Cambridge"},{"key":"9_CR26","volume-title":"High performance compilers for parallel computing","author":"M.J. Wolfe","year":"1996","unstructured":"Wolfe, M.J.: High performance compilers for parallel computing. Addison-Wesley Publishing Company, Inc., Reading (1996)"},{"key":"9_CR27","series-title":"Frontier, Series","volume-title":"Supercompiler for parallel and vector computers","author":"H. Zima","year":"1990","unstructured":"Zima, H., Chapman, B.: Supercompiler for parallel and vector computers. Frontier, Series. ACM Press, New York (1990)"}],"container-title":["Lecture Notes in Computer Science","Software and Compilers for Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39920-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T04:07:03Z","timestamp":1552622823000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39920-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201458","9783540399209"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39920-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}