{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T20:10:02Z","timestamp":1748981402009,"version":"3.41.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1996,12,1]],"date-time":"1996-12-01T00:00:00Z","timestamp":849398400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[1996,12]]},"DOI":"10.1007\/bf03356758","type":"journal-article","created":{"date-parts":[[2016,5,26]],"date-time":"2016-05-26T02:22:36Z","timestamp":1464229356000},"page":"513-546","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Interprocedural Array Region Analyses"],"prefix":"10.1007","volume":"24","author":[{"given":"B\u00e9atrice","family":"Creusillet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Irigoin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,26]]},"reference":[{"issue":"6","key":"BF03356758_CR1","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1109\/71.180621","volume":"3","author":"W Blume","year":"1992","unstructured":"W. Blume and R. Eigenmann, Performance Analysis of Parallelizing Compilers on the Perfect Benchmarks Programs. IEEE Trans. on Parallel and Distrib. Syst., 3(6):643\u2013656 (November 1992).","journal-title":"IEEE Trans. on Parallel and Distrib. Syst."},{"key":"BF03356758_CR2","doi-asserted-by":"crossref","unstructured":"Zhiyuan Li, Array Privatization for Parallel Execution of Loops. Int\u2019l. Conf. on Supercomputing, pp. 313\u2013322 (July 1992).","DOI":"10.1145\/143369.143426"},{"key":"BF03356758_CR3","unstructured":"Peng Tu and David Padua, Automatic Array Privatization. Languages and Compilers for Parallel Computing (August 1993)."},{"key":"BF03356758_CR4","doi-asserted-by":"crossref","unstructured":"Thomas Brandes, The Importance of Direct Dependences for Automatic Parallelization. In Int\u2019l. Conf. on Supercomputing, pp. 407\u2013417 (July 1988).","DOI":"10.1145\/55364.55404"},{"issue":"1","key":"BF03356758_CR5","first-page":"23","volume":"20","author":"P Feautrier","year":"1991","unstructured":"Paul Feautrier, Dataflow Analysis of Array and Scalar References. IJPP, 20(1):23\u201353 (September 1991).","journal-title":"IJPP"},{"key":"BF03356758_CR6","doi-asserted-by":"crossref","unstructured":"Vadim Maslov, Lazy Array Data-Flow Analysis. Symp. on Principles of Programming Languages, pp. 311\u2013325 (January 1994).","DOI":"10.1145\/174675.177911"},{"issue":"2","key":"BF03356758_CR7","first-page":"191","volume":"23","author":"J-F Collard","year":"1995","unstructured":"Jean-Fran\u00e7ois Collard, Automatic Parallelization of While-Loops Using Speculative Execution. IJPP, 23(2): 191\u2013219 (1995).","journal-title":"IJPP"},{"key":"BF03356758_CR8","series-title":"Ph.D. Thesis","volume-title":"Analyses Interproc\u00e9durales du Flot des Donn\u00e9es","author":"A Leservot","year":"1996","unstructured":"Arnauld Leservot, Analyses Interproc\u00e9durales du Flot des Donn\u00e9es. Ph.D. Thesis, Universit\u00e9 Paris VI (March 1996)."},{"key":"BF03356758_CR9","doi-asserted-by":"crossref","unstructured":"R\u00e9mi Triolet, Paul Feautrier, and Fran\u00e7ois Irigoin, Direct Parallelization of Call Statements. ACM SIGPLAN Symp. on Compiler Construction, pp. 176\u2013185 (1986).","DOI":"10.1145\/12276.13329"},{"key":"BF03356758_CR10","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1016\/0743-7315(88)90011-1","volume":"5","author":"D Callahan","year":"1988","unstructured":"D. Callahan and K. Kennedy, Analysis of Interprocedural Side Effects in a Parallel Programming Environment. J. of Parallel and Distrib. Comput., 5:517\u2013550 (1988).","journal-title":"J. of Parallel and Distrib. Comput."},{"key":"BF03356758_CR11","doi-asserted-by":"crossref","unstructured":"Fran\u00e7ois Irigoin, Pierre Jouvelot, and R\u00e9mi Triolet, Semantical Interprocedural Parallelization: An Overview of the PIPS Project. Int\u2019l. Conf. on Supercomputing, pp. 144\u2013151 (June 1991).","DOI":"10.1145\/109025.109086"},{"key":"BF03356758_CR12","series-title":"Master\u2019s Thesis","volume-title":"R\u00e9gions Exactes et Privatisation de Tableaux","author":"B Apvrille-Creusillet","year":"1994","unstructured":"B\u00e9atrice Apvrille-Creusillet, R\u00e9gions Exactes et Privatisation de Tableaux (Exact Array Region Analyses and Array Privatization). Master\u2019s Thesis, Universit\u00e9 Paris VI, France (September 1994). Available via http:\/\/www.cri.ensmp.fr\/\u223ccreusil ."},{"key":"BF03356758_CR13","doi-asserted-by":"crossref","unstructured":"Fabien Coelho, Compilation of I\/O Communications for HPF. Frontiers \u201995, pp. 102\u2013109 (February 1995). Available via http:\/\/www.cri.ensmp.fr\/\u223ccoelho .","DOI":"10.1109\/FMPC.1995.380458"},{"key":"BF03356758_CR14","series-title":"Technical Report","volume-title":"Optimal Compilation of HPF Remappings","author":"F Coelho","year":"1995","unstructured":"Fabien Coelho and Corinne Ancourt, Optimal Compilation of HPF Remappings. Technical Report A-277-CRI, CRI, \u00c9cole des Mines de Paris (October 1995). (to appear in JPDC)."},{"issue":"10","key":"BF03356758_CR15","first-page":"871","volume":"24","author":"C-CJ Li","year":"1994","unstructured":"Chung-Chi Jim Li, Elliot M. Stewart, and W. Kent Fuchs, Compiler-Assisted Full Checkpointing. Software: Practice and Experience, 24(10):871\u2013886 (October 1994).","journal-title":"Software: Practice and Experience"},{"key":"BF03356758_CR16","doi-asserted-by":"crossref","unstructured":"Michael Paleczny, Ken Kennedy, and Charles Koelbel, Compiler Support for Out-of-Core Arrays on Parallel Machines. Frontiers \u201995, pp. 110\u2013118 (February 1995).","DOI":"10.1109\/FMPC.1995.380457"},{"key":"BF03356758_CR17","series-title":"Technical Report","volume-title":"The PERFECT Club Benchmarks: Effective Performance Evaluation of Supercomputers","author":"M Berry","year":"1989","unstructured":"M. Berry, D. Chen, P. Koss, D. Kuck, V. Lo, Y. Pang, R. Roloff, A. Sameh, E. Clementi, S. Chin, D. Schneider, G. Fox, P. Messina, D. Walker, C. Hsiung, J. Schwarzmeier, K. Lue, S. Orzag, F. Seidl, O. Johnson, G. Swanson, R. Goodrum, and J. Martin, The PERFECT Club Benchmarks: Effective Performance Evaluation of Supercomputers. Technical Report CSRD-827, CSRD, University of Illinois, (May 1989)."},{"key":"BF03356758_CR18","unstructured":"American National Standard Institute, Programming Language FORTRAN, ANSI X3.9-1978, ISO 1539\u20131980 (1983)."},{"key":"BF03356758_CR19","unstructured":"Fran\u00e7ois Irigoin, Interprocedural Analyses for Programming Environments. Workshop on Environments and Tools for Parallel Scientific Computing, pp. 333\u2013350 (September 1992)."},{"key":"BF03356758_CR20","unstructured":"B\u00e9atrice Creusillet, IN and OUT array Region Analyses. Fifth Int\u2019l. Workshop on Compilers for Parallel Computers, pp. 233\u2013246 (June 1995)."},{"key":"BF03356758_CR21","doi-asserted-by":"crossref","unstructured":"B\u00e9atrice Creusillet and Fran\u00e7ois Irigoin, Interprocedural Array Regions Analyses. Languages and Compilers for Parallel Computing, No. 1033 in LNCS, pp. 46\u201360 (August 1995).","DOI":"10.1007\/BFb0014191"},{"key":"BF03356758_CR22","doi-asserted-by":"crossref","unstructured":"Corinne Ancourt and Fran\u00e7ois Irigoin, Scanning Polyhedra with DO Loops. Symp. on Principles and Practice of Parallel Programming, pp. 39\u201350 (April 1991).","DOI":"10.1145\/109626.109631"},{"issue":"8","key":"BF03356758_CR23","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1145\/135226.135233","volume":"35","author":"W Pugh","year":"1992","unstructured":"William Pugh, A Practical Algorithm for Exact Array Dependence Analysis. Comm. ACM, 35(8):102\u2013114 (August 1992).","journal-title":"Comm. ACM"},{"key":"BF03356758_CR24","doi-asserted-by":"crossref","unstructured":"William Pugh and David Wonnacott, Eliminating False Data Dependences Using the Omega Test. In Int\u2019l. Conf. on PLDI, pp. 140\u2013151 (June 1992).","DOI":"10.1145\/143095.143129"},{"key":"BF03356758_CR25","doi-asserted-by":"crossref","unstructured":"Peiyi Tang, Exact Side Effects for Interprocedural Dependence Analysis. Int\u2019l. Conf. on Supercomputing, pp. 137\u2013146 (July 1993).","DOI":"10.1145\/165939.165964"},{"key":"BF03356758_CR26","doi-asserted-by":"crossref","unstructured":"Mary Hall, Brian Murphy, Saman Amarasinghe, Shih-Wei Liao, and Monica Lam, Interprocedural Analysis for Parallelization. Languages and Compilers for Parallel Computing, No. 1033 in LNCS, pp. 61\u201380 (August 1995).","DOI":"10.1007\/BFb0014192"},{"key":"BF03356758_CR27","doi-asserted-by":"crossref","unstructured":"Trung Nguyen, Jungie Gu, and Zhiyuan Li, An Interprocedural Parallelizing Compiler and Its Support for Memory Hierarchy Research. Languages and Compilers for Parallel Computing, No. 1033 in LNCS, pp. 96\u2013110 (August 1995).","DOI":"10.1007\/BFb0014194"},{"key":"BF03356758_CR28","unstructured":"Jungie Gu, Zhiyuan Li, and Gyungho Lee, Symbolic Array Dataflow Analysis for Array Privatization and Program Parallelization. Supercomputing (December 1995)."},{"issue":"7","key":"BF03356758_CR29","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1145\/13310.13328","volume":"21","author":"M Burke","year":"1986","unstructured":"Michael Burke and Ron Cytron, Interprocedural Dependence Analysis and Parallelization. ACM SIGPLAN Notices, 21(7): 162\u2013175 (July 1986).","journal-title":"ACM SIGPLAN Notices"},{"key":"BF03356758_CR30","series-title":"Technical Report","volume-title":"Simplifying Polynomial Constraints over Integers to Make Dependence Analysis More Precise","author":"V Maslov","year":"1994","unstructured":"Vadim Maslov and William Pugh, Simplifying Polynomial Constraints over Integers to Make Dependence Analysis More Precise. Technical Report CS-TR-3109.1, University of Maryland, College Park (February 1994)."},{"issue":"3","key":"BF03356758_CR31","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/71.86110","volume":"2","author":"P Havlak","year":"1991","unstructured":"Paul Havlak and Ken Kennedy, An Implementation of Interprocedural Bounded Regular Section Analysis. IEEE Trans. on Parallel and Distrib. Syst., 2(3):350\u2013360 (July 1991).","journal-title":"IEEE Trans. on Parallel and Distrib. Syst."},{"key":"BF03356758_CR32","doi-asserted-by":"crossref","unstructured":"V. Balasundaram and K. Kennedy, A Technique for Summarizing Data Access and its Use in Parallelism Enhancing Transformations. Int\u2019l. Conf. on PLDI, pp. 41\u201353 (June 1989).","DOI":"10.1145\/74818.74822"},{"key":"BF03356758_CR33","series-title":"Ph.D. Thesis","volume-title":"Contribution \u00e0 la Parall\u00e9lisation Automatique de Programmes Fortran Comportant des Appels de Proc\u00e9dures","author":"R Triolet","year":"1984","unstructured":"R\u00e9mi Triolet, Contribution \u00e0 la Parall\u00e9lisation Automatique de Programmes Fortran Comportant des Appels de Proc\u00e9dures. Ph.D. Thesis, Paris VI University (1984)."},{"key":"BF03356758_CR34","series-title":"Report","volume-title":"Array regions for Interprocedural Parallelization and Array Privatization","author":"B Creusillet","year":"1995","unstructured":"B\u00e9atrice Creusillet, Array regions for Interprocedural Parallelization and Array Privatization. Report A-279, CRI, \u00c9cole des Mines de Paris (November 1995). Available at http:\/\/www.cri.ensmp.fr\/\u223ccreusil ."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03356758.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03356758\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03356758","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T19:34:32Z","timestamp":1748979272000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03356758"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,12]]},"references-count":34,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1996,12]]}},"alternative-id":["BF03356758"],"URL":"https:\/\/doi.org\/10.1007\/bf03356758","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"type":"print","value":"0885-7458"},{"type":"electronic","value":"1573-7640"}],"subject":[],"published":{"date-parts":[[1996,12]]}}}