{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:08:51Z","timestamp":1742378931814},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540419457"},{"type":"electronic","value":"9783540454038"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45403-9_8","type":"book-chapter","created":{"date-parts":[[2007,9,2]],"date-time":"2007-09-02T20:34:51Z","timestamp":1188765291000},"page":"247-281","source":"Crossref","is-referenced-by-count":10,"title":["Automatic Array Privatization"],"prefix":"10.1007","author":[{"given":"Peng","family":"Tu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Padua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,18]]},"reference":[{"key":"8_CR1","first-page":"283","volume-title":"Proc. of the ACM SIGPLAN\u201990 Conference on Programming Language Design and Implementation","author":"Z. Ammarguellat","year":"1990","unstructured":"Z. Ammarguellat and W. L. Harrison. Automatic recognition of induction variables andrecurrence relations by abstract interpretation. In Proc. of the ACM SIGPLAN\u201990 Conference on Programming Language Design and Implementation, pages 283\u2013295. ACM Press, New York, 1990."},{"key":"8_CR2","unstructured":"A. V. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986."},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/73560.73561","volume-title":"Proc. of the 15th ACM SIGPLAN Symposium on Principles of Programming Languages","author":"B. Alpern","year":"1988","unstructured":"B. Alpern, M. N. Wegman, and F. K. Zadeck. Detecting equality of variables in programs. In Proc. of the 15th ACM SIGPLAN Symposium on Principles of Programming Languages, pages 1\u201311. ACM Press, New York, 1988."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Utpal Banerjee. Dependence Analysis for Supercomputing. Kluwer Academic Publishers, 1988.","DOI":"10.1007\/978-1-4684-6894-6"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"M. Burke, R. Cytron, J. Ferrante, and W. Hsieh. Automatic generation of nested, fork-join parallelism. Journal of Supercomputing, pages 71\u201388, 1989.","DOI":"10.1007\/BF00129843"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"William Blume and Rudolf Eigenmann. Symbolic analysis techniques needed for the effective parallelization of the perfect benchmarks. Technical Report 1332, Univ. of Illinois at Urbana-Champaign, Cntr. for Supercomputing Res. & Dev., January 1994.","DOI":"10.1109\/ICPP.1994.59"},{"key":"8_CR7","first-page":"528","volume-title":"Proceedings of Supercomputing\u201994, November 1994, Washington D.C.","author":"W. Blume","year":"1994","unstructured":"William Blume and Rudolf Eigenmann. The Range Test: A Dependence Test for Symbolic, Non-linear Expressions. In Proceedings of Supercomputing\u201994, November 1994, Washington D.C., pages 528\u2013537. IEEE Computer Society Press, Los Alamitos, CA, November 1994."},{"key":"8_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BFb0025876","volume-title":"Languages and Compilers for Parallel Computing, 7th Int\u2019l. Workshop. Ithaca, NY","author":"B. Blume","year":"1994","unstructured":"[BEF+94]_Bill Blume, Rudolf Eigenmann, Keith Faigin, John Grout, Jay Hoeflinger, David Padua, Paul Petersen, Bill Pottenger, Lawrence Rauchwerger, Peng Tu, and Stephen Weatherford. Polaris: The Next Generation in Parallelizing Compilers. In K. Pingali, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Lecture Notes in Computer Science No. 892: Languages and Compilers for Parallel Computing, 7th Int\u2019l. Workshop. Ithaca, NY, pages 141\u2013154. Springer-Verlag, August 1994."},{"key":"8_CR9","first-page":"257","volume-title":"Proceedings of the ACM SIGPLAN\u201990 Conference on Programming Language Design and Implementatio","author":"R. Ballance","year":"1990","unstructured":"R. Ballance, A. Maccabe, and K. Ottenstein. The program dependence web: a representation supporting control-, data-, and demand-driven interpretation of imperative languages. In Proceedings of the ACM SIGPLAN\u201990 Conference on Programming Language Design and Implementatio, pages 257\u2013271. ACM Press, New York, June 1990."},{"key":"8_CR10","unstructured":"Ron Cytron and Jeanne Ferrante. What\u2019s in a name? or the value of renaming for parallelism detection and storage allocation. In Proc. 1987 International Conf. on Parallel Processing, pages 19\u201327. The Pennsylvania State University Press, August 1987."},{"issue":"4","key":"8_CR11","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"C. Cytron","year":"1991","unstructured":"[CFR+91]_Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451\u2013490, October 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/512760.512770","volume-title":"Proceedings of the 5th Annual ACM Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1978","unstructured":"P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proceedings of the 5th Annual ACM Symposium on Principles of Programming Languages, pages 84\u201397. ACM Press, New York, January 1978."},{"issue":"2\u20133","key":"8_CR13","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and N. Halbwachs. Abstract interpretation and application to logic programs. Journal of Logic Programming, 13(2\u20133):103\u2013179, 1992.","journal-title":"Journal of Logic Programming"},{"issue":"4","key":"8_CR14","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1109\/TSE.1979.234207","volume":"5","author":"T. E. Cheatham","year":"1979","unstructured":"T. E. Cheatham, G. H. Holloway, and J. A. Townley. Symbolic evaluation andt he analysis of programs. IEEE Transactions on Software Engineering, 5(4):402\u2013417, 1979.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR15","doi-asserted-by":"publisher","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. Journal of Parallel and Distributed Computing, 5:517\u2013550, 1988.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BF00128175","volume":"2","author":"D. Callahan","year":"1988","unstructured":"D. Callahan and K. Kennedy. Compiling programs for distributedmemory multiprocessors. Journal of Supercomputing, 2:151\u2013169, October 1988.","journal-title":"Journal of Supercomputing"},{"issue":"1","key":"8_CR17","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/0164-1212(85)90004-4","volume":"5","author":"L. A. Clarke","year":"1985","unstructured":"L. A. Clarke and D. J. Richardson. Applications of symbolic evaluation. Journal of Systems and Software, 5(1):15\u201335, 1985.","journal-title":"Journal of Systems and Software"},{"key":"8_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/BFb0038658","volume-title":"Languages and Compilers for Parallel Computing, 4th Int\u2019l. Workshop, Santa Clara, CA","author":"R. Eigenmann","year":"1991","unstructured":"Rudolf Eigenmann, Jay Hoeflinger, Zhiyuan Li, and David Padua. Experience in the Automatic Parallelization of Four Perfect-Benchmark Programs. In U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Lecture Notes in Computer Science No. 589: Languages and Compilers for Parallel Computing, 4th Int\u2019l. Workshop, Santa Clara, CA, pages 65\u201383. Springer-Verlag, August 1991."},{"key":"8_CR19","first-page":"429","volume-title":"Proc. 1988 ACM Int\u2019l Conf. on Supercomputing","author":"P. Feautrier","year":"1988","unstructured":"P. Feautrier. Array expansion. In Proc. 1988 ACM Int\u2019l Conf. on Supercomputing, pages 429\u2013441. ACM Press, New York, July 1988."},{"issue":"3","key":"8_CR20","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"J. Ferrante, K. J. Ottenstein, and J. D. Warren. The program dependency graph and its uses in optimization. ACM Transactions on Programming Languages and Systems, 9(3):319\u2013349, June 1987.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR21","unstructured":"M. P. Gerlek, E. Stoltz, and M. Wolfe. Beyondi nduction variables: Detecting and classifying sequences using a demand-driven ssa form. ACM Transactions on Programming Languages and Systems."},{"key":"8_CR22","series-title":"Lect Notes Comput Sci","first-page":"477","volume-title":"Languages and Compilers for Parallel Computing, 6th Int\u2019l. Workshop. Portland, OR","author":"P. Havlak","year":"1993","unstructured":"Paul Havlak. Construction of thinnedgat ed single-assignment form. In U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Lecture Notes in Computer Science No. 768: Languages and Compilers for Parallel Computing, 6th Int\u2019l. Workshop. Portland, OR, pages 477\u2013499. Springer-Verlag, August 1993."},{"key":"8_CR23","series-title":"Lect Notes Comput Sci","first-page":"538","volume-title":"Languages and Compilers for Parallel Computing, 5th Int\u2019l. Workshop. New Haven, CT","author":"M. R. Haghighat","year":"1992","unstructured":"M. R. Haghighat and C. D. Polychronopoulos. Symbolic program analysis andop timization for parallelizing compilers. In U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Lecture Notes in Computer Science No. 757: Languages and Compilers for Parallel Computing, 5th Int\u2019l. Workshop. New Haven, CT, pages 538\u2013562. Springer-Verlag, August 1992."},{"key":"8_CR24","first-page":"313","volume-title":"Proc. 1992 ACM Int\u2019l Conf. on Supercomputing","author":"Z. Li","year":"1992","unstructured":"Zhiyuan Li. Array privatization for parallel execution of loops. In Proc. 1992 ACM Int\u2019l Conf. on Supercomputing, pages 313\u2013322. ACM Press, New York, 1992."},{"key":"8_CR25","series-title":"Lect Notes Comput Sci","first-page":"434","volume-title":"Languages and Compilers for Parallel Computing, 5th Int\u2019l. Workshop. New Haven, CT","author":"D. E. Maydan","year":"1992","unstructured":"D. E. Maydan, S. P. Amarasinghe, and M. S. Lam. Data dependence andd ata-flow analysis of arrays. In U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Lecture Notes in Computer Science No. 757: Languages and Compilers for Parallel Computing, 5th Int\u2019l. Workshop. New Haven, CT, pages 434\u2013448. Springer-Verlag, August 1992."},{"issue":"4","key":"8_CR26","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1145\/359461.359466","volume":"20","author":"J. H. Morris","year":"1977","unstructured":"J. H. Morris and B. Wegbreit. Subgoal induction. Communication of ACM, 20(4):209\u2013222, 1977.","journal-title":"Communication of ACM"},{"issue":"12","key":"8_CR27","doi-asserted-by":"publisher","first-page":"1184","DOI":"10.1145\/7902.7904","volume":"29","author":"D. Padua","year":"1986","unstructured":"D. Padua and M. Wolfe. Advanced compiler optimizations for supercomputers. Communications of the ACM, 29(12):1184\u20131201, December 1986.","journal-title":"Communications of the ACM"},{"key":"8_CR28","volume-title":"Proc. the ACM SIGPLAN\u2019 89 Conference on Program Language Design and Implementation","author":"A. Rogers","year":"1989","unstructured":"A. Rogers and K. Pingali. Process decomposition through locality of reference. In Proc. the ACM SIGPLAN\u2019 89 Conference on Program Language Design and Implementation. ACM Press, New York, June 1989."},{"key":"8_CR29","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/73560.73562","volume-title":"Proc. of the 15th ACM SIGPLAN Symposium on Principles of Programming Languages","author":"B. K. Rosen","year":"1988","unstructured":"B. K. Rosen, M. N. Wegman, and F. K. Zadeck. Global value numbers and redundant computation. In Proc. of the 15th ACM SIGPLAN Symposium on Principles of Programming Languages, pages 12\u201327. ACM Press, New York, 1988."},{"key":"8_CR30","unstructured":"Peng Tu and David Padua. Array privatization for shared and distributed memory machines. In Proc. 2nd Workshop on Languages, Compilers, and Run-Time Environments for Distributed Memory Machines, in ACM SIGPLAN Notices, January 1993."},{"key":"8_CR31","series-title":"Lect Notes Comput Sci","first-page":"500","volume-title":"Languages and Compilers for Parallel Computing, 6th Int\u2019l. Workshop. Portland, OR","author":"P. Tu","year":"1993","unstructured":"Peng Tu and David Padua. Automatic array privatization. In U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Lecture Notes in Computer Science No. 768: Languages and Compilers for Parallel Computing, 6th Int\u2019l. Workshop. Portland, OR, pages 500\u2013521. Springer-Verlag, August 1993."},{"key":"8_CR32","unstructured":"Peng Tu and David Padua. Efficient Building and Placing of Gating Functions. Proceedings of the SIGPLAN\u201995 Conference on Programming Language Design and Implementation, June 1995, 1994."},{"key":"8_CR33","unstructured":"Michael Joseph Wolfe. Optimizing supercompilers for supercomputers. Technical Report UIUCDCS-R-82-1105, Department of Computer Science, University of Illinois, October 1982."},{"key":"8_CR34","first-page":"162","volume-title":"Proceedings of the ACM SIGPLAN\u201990 Conference on Programming Language Design and Implementatio","author":"M. Wolfe","year":"1992","unstructured":"Michael Wolfe. Beyondin duction variables. In Proceedings of the ACM SIGPLAN\u201990 Conference on Programming Language Design and Implementatio, pages 162\u2013174. ACM Press, New York, 1992."},{"key":"8_CR35","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0167-8191(88)90002-6","volume":"6","author":"H. Zima","year":"1988","unstructured":"H. Zima, H.-J. Bast, and M. Gerndt. Superb: A tool for semi-automatic MIMD\/SIMD parallelization. Parallel Computing, 6:1\u201318, 1988.","journal-title":"Parallel Computing"},{"key":"8_CR36","unstructured":"Hans Zima and Barbara Chapman. Supercompilers for Parallel and Vector Computers. ACM Press, 1991."},{"issue":"6","key":"8_CR37","doi-asserted-by":"publisher","first-page":"726","DOI":"10.1109\/TSE.1987.233477","volume":"13","author":"C.-Q. Zhu","year":"1987","unstructured":"Chuan-Qi Zhu and Pen-Chung Yew. A scheme to enforce data dependence on large multiprocessor systems. IEEE Transactions on Software Engineering, 13(6):726\u2013739, June 1987.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Compiler Optimizations for Scalable Parallel Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45403-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T15:40:58Z","timestamp":1556811658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45403-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540419457","9783540454038"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/3-540-45403-9_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}