{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T04:10:50Z","timestamp":1748405450174,"version":"3.41.0"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2001,4,1]],"date-time":"2001-04-01T00:00:00Z","timestamp":986083200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,4,1]],"date-time":"2001-04-01T00:00:00Z","timestamp":986083200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Parallel Programming"],"published-print":{"date-parts":[[2001,4]]},"DOI":"10.1023\/a:1007685003043","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T10:54:50Z","timestamp":1040554490000},"page":"185-215","source":"Crossref","is-referenced-by-count":7,"title":["Unified Interprocedural Parallelism Detection"],"prefix":"10.1007","volume":"29","author":[{"given":"Jay P.","family":"Hoeflinger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yunheung","family":"Paek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kwang","family":"Yi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"295946_CR1","volume-title":"High Performance Compilers for Parallel Computing","author":"M. Wolfe","year":"1996","unstructured":"M. Wolfe, High Performance Compilers for Parallel Computing, Addison-Wesley, New York (1996)."},{"key":"295946_CR2","doi-asserted-by":"crossref","unstructured":"G. Goff, K. Kennedy, and C. Tseng, Practical Dependence Testing, Proc. ACM SIGPLAN Conf. Progr. Lang. Design and Implementation, pp. 15-29 (June 1991).","DOI":"10.1145\/113445.113448"},{"key":"295946_CR3","volume-title":"Dependence Analysis","author":"U. Banerjee","year":"1997","unstructured":"U. Banerjee, Dependence Analysis, Kluwer Academic Publishers, Norwell, Massachusetts (1997)."},{"issue":"1","key":"295946_CR4","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/71.80122","volume":"1","author":"Z. Li","year":"1990","unstructured":"Z. Li, P. Yew, and C. Zhu, An Efficient Data Dependence Analysis for Parallelizing Compilers, IEEE Trans. Parallel and Distrib. Syst., 1(1):26-34 (January 1990).","journal-title":"IEEE Trans. Parallel and Distrib. Syst."},{"key":"295946_CR5","doi-asserted-by":"crossref","unstructured":"M. Wolfe and C. Tseng, The Power Test for Data Dependence, IEEE Trans. Parallel and Distrib. Syst. (September 1992).","DOI":"10.1109\/71.159042"},{"issue":"8","key":"295946_CR6","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1145\/135226.135233","volume":"35","author":"W. Pugh","year":"1992","unstructured":"W. Pugh. A Practical Algorithm for Exact Array Dependence Analysis, Commun. ACM, 35(8):102-114 (August 1992).","journal-title":"Commun. ACM"},{"key":"295946_CR7","unstructured":"W. Pugh fand D. Wonnacott, Nonlinear Array Dependence Analysis, Technical Report 123, University of Maryland at College Park (November 1994)."},{"issue":"12","key":"295946_CR8","doi-asserted-by":"crossref","first-page":"1180","DOI":"10.1109\/71.737695","volume":"9","author":"W. Blume","year":"1998","unstructured":"William Blume and Rudolf Eigenmann, Non-Linear and Symbolic Data Dependence Testing, IEEE Trans. Parallel and Distrib. Syst., 9(12):1180-1194 (1998).","journal-title":"IEEE Trans. Parallel and Distrib. Syst."},{"key":"295946_CR9","unstructured":"W. Blume, Symbolic Analysis Techniques for Effective Automatic Parallelization, Ph.D. thesis, University of Illinois at Urbana-Champaign, Department of Computer Science (June 1995)."},{"key":"295946_CR10","doi-asserted-by":"crossref","unstructured":"V. Balasundaram and K. Kennedy, A Technique for Summarizing Data Access and Its Use in Parallelism Enhancing Transformations, Proc. SIGPLAN Conf. Progr. Lang. Design and Implementation (June 1989).","DOI":"10.1145\/73141.74822"},{"key":"295946_CR11","doi-asserted-by":"crossref","unstructured":"P. Tang, Exact Side-Effects for Interprocedural Dependence Analysis, ACM Int'l. Conf. Supercomputing, Tokyo, Japan, pp. 137-146 (July 1993).","DOI":"10.1145\/165939.165964"},{"issue":"3","key":"295946_CR12","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/71.86110","volume":"2","author":"P. Havlak","year":"1991","unstructured":"P. Havlak and K. Kennedy, An Implementation of Interprocedural Bounded Regular Section Analysis, IEEE Trans. Parallel and Distrib. Syst., 2(3):350-360 (July 1991).","journal-title":"IEEE Trans. Parallel and Distrib. Syst."},{"key":"295946_CR13","doi-asserted-by":"crossref","unstructured":"P. Tu and D. Padua, Gated SSA-Based Demand-Driven Symbolic Analysis for Parallelizing Compilers, Proc. Ninth ACM Int'l. Conf. Supercomputing, pp. 414-423 (July 1995).","DOI":"10.1145\/224538.224648"},{"key":"295946_CR14","volume-title":"Lecture Notes in Computer Science","author":"B. Creusillet","year":"1995","unstructured":"B. Creusillet and F. Irigoin, Interprocedural Array Region Analysis, Lecture Notes in Computer Science, Springer Verlag, New York (August 1995)."},{"key":"295946_CR15","unstructured":"J. Hoeflinger, Interprocedural Parallelization Using Memory Classification Analysis, Ph.D. thesis, University of Illinois at Urbana-Champaign, Department of Computer Science (August 1998)."},{"key":"295946_CR16","doi-asserted-by":"crossref","unstructured":"R. Eigenmann, J. Hoeflinger, and D. Padua, On the Automatic Parallelization of the Perfect Benchmarks, IEEE Trans. on Parallel and Distrib. Syst., pp. 5-23 (January 1998).","DOI":"10.1109\/71.655238"},{"key":"295946_CR17","unstructured":"Patrick Cousot, Semantic Foundations of Program Analysis, Steven S. Muchnick and Neil D. Jones, (eds.), Program Flow Analysis: Theory and Applications, Chapter 10, Prentice-Hall (1981)."},{"key":"295946_CR18","doi-asserted-by":"crossref","unstructured":"Patrick Cousot and Radhia Cousot, Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints, Proc. ACM SIGPLAN Symp. Principles of Progr. Lang., pp. 238-252 (1977).","DOI":"10.1145\/512950.512973"},{"key":"295946_CR19","unstructured":"Y. Paek, Automatic Parallelization for Distributed Memory Machines Based on Access Region Analysis, Ph.D. thesis, University of Illinois at Urbana-Champaign, Department of Computer Science (April 1997)."},{"key":"295946_CR20","doi-asserted-by":"crossref","unstructured":"M. Burke and R. Cytron, Interprocedural Dependence Analysis and Parallelization, Proc. SIGPLAN Symp. on Compiler Construction, pp. 162-175 (July 1986).","DOI":"10.1145\/13310.13328"},{"key":"295946_CR21","doi-asserted-by":"crossref","unstructured":"Y. Paek, J. Hoeflinger, and D. Padua, Simplification of Array Access Patterns for Compiler Optimizations, Proc. SIGPLAN Conf. Progr. Lang. Design and Implementation (June 1998).","DOI":"10.1145\/277650.277664"},{"key":"295946_CR22","unstructured":"W. Pottenger, Induction Variable Substitution and Reduction Recognition in the Polaris Parallelizing Compiler, Master's thesis, University of Illinois at Urbana-Champaign, Department of Computer Science (December 1994)."},{"issue":"12","key":"295946_CR23","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/2.546612","volume":"29","author":"W. Blume","year":"1996","unstructured":"W. Blume, R. Doallo, R. Eigenmann, J. Grout, J. Hoeflinger, T. Lawrence, J. Lee, D. Padua, Y. Paek, W. Pottenger, L. Rauchwerger, and P. Tu, Parallel Programming with Polaris, IEEE Computer, 29(12):78-82 (December 1996).","journal-title":"IEEE Computer"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1007685003043.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1007685003043\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1007685003043.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T08:35:15Z","timestamp":1748334915000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1007685003043"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,4]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,4]]}},"alternative-id":["295946"],"URL":"https:\/\/doi.org\/10.1023\/a:1007685003043","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"type":"print","value":"0885-7458"},{"type":"electronic","value":"1573-7640"}],"subject":[],"published":{"date-parts":[[2001,4]]}}}