{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,22]],"date-time":"2026-09-22T21:31:33Z","timestamp":1790112693693,"version":"4.0.1"},"reference-count":73,"publisher":"Association for Computing Machinery (ACM)","issue":"4","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Program. Lang. Syst."],"published-print":{"date-parts":[[2005,7]]},"abstract":"<jats:p>\n            As shared-memory multiprocessor systems become widely available, there is an increasing need for tools to simplify the task of developing parallel programs. This paper describes one such tool, the automatic parallelization system in the Stanford SUIF compiler. This article represents a culmination of a several-year research effort aimed at making parallelizing compilers significantly more effective. We have developed a system that performs\n            <jats:italic>full interprocedural parallelization analyses,<\/jats:italic>\n            including array privatization analysis, array reduction recognition, and a suite of scalar data-flow analyses including symbolic analysis. These analyses collaborate in an integrated fashion to exploit\n            <jats:italic>coarse-grain parallel loops,<\/jats:italic>\n            computationally intensive loops that can execute on multiple processors independently with no cross-processor synchronization or communication. The system has successfully parallelized large interprocedural loops over a thousand lines of code completely automatically from sequential applications.This article provides a comprehensive description of the analyses in the SUIF system. We also present extensive empirical results on four benchmark suites, showing the contribution of individual analysis techniques both in executing more of the computation in parallel, and in increasing the granularity of the parallel computations. These results demonstrate the importance of interprocedural array data-flow analysis, array privatization and array reduction recognition; a third of the programs spend more than 50% of their execution time in computations that are parallelized with these techniques. Overall, these results indicate that automatic parallelization can be effective on sequential scientific computations, but only if the compiler incorporates all of these analyses.\n          <\/jats:p>","DOI":"10.1145\/1075382.1075385","type":"journal-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:30:55Z","timestamp":1123057855000},"page":"662-731","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":39,"title":["Interprocedural parallelization analysis in SUIF"],"prefix":"10.1145","volume":"27","author":[{"given":"Mary W.","family":"Hall","sequence":"first","affiliation":[{"name":"USC Information Sciences Institute, Marina del Rey, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Saman P.","family":"Amarasinghe","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Brian R.","family":"Murphy","sequence":"additional","affiliation":[{"name":"Intel Corp."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shih-Wei","family":"Liao","sequence":"additional","affiliation":[{"name":"Intel Corp."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Monica S.","family":"Lam","sequence":"additional","affiliation":[{"name":"Stanford University, Stanford, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2005,7]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/M-PDT.1994.329801"},{"key":"e_1_2_1_2_1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"Aho A. V.","year":"1986","unstructured":"Aho , A. V. , Sethi , R. , and Ullman , J. D . 1986 . Compilers: Principles, Techniques, and Tools , Second ed. Addison-Wesley , Reading, Mass . Aho, A. V., Sethi, R., and Ullman, J. D. 1986. Compilers: Principles, Techniques, and Tools, Second ed. Addison-Wesley, Reading, Mass."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/360018.360025"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/40.502406"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the SIGPLAN '90 Conference on Programming Language Design and Implementation (White Plains, N.Y). ACM","author":"Ammarguellat Z.","unstructured":"Ammarguellat , Z. and Harrison , W . 1990. Automatic recognition of induction variables and recurrence relations by abstract interpretation . In Proceedings of the SIGPLAN '90 Conference on Programming Language Design and Implementation (White Plains, N.Y). ACM , New York. 10.1145\/93542.93583 Ammarguellat, Z. and Harrison, W. 1990. Automatic recognition of induction variables and recurrence relations by abstract interpretation. In Proceedings of the SIGPLAN '90 Conference on Programming Language Design and Implementation (White Plains, N.Y). ACM, New York. 10.1145\/93542.93583"},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the 5th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (Santa Barbara, Calif.). ACM","author":"Anderson J. M.","year":"2099","unstructured":"Anderson , J. M. , Amarasinghe , S. P. , and Lam , M. S . 1995. Data and computation transformations for multiprocessors . In Proceedings of the 5th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (Santa Barbara, Calif.). ACM , New York, 166--178. 10.1145\/ 2099 36.209954 Anderson, J. M., Amarasinghe, S. P., and Lam, M. S. 1995. Data and computation transformations for multiprocessors. In Proceedings of the 5th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (Santa Barbara, Calif.). ACM, New York, 166--178. 10.1145\/209936.209954"},{"key":"e_1_2_1_8_1","first-page":"3","article-title":"The NAS parallel benchmarks","volume":"5","author":"Bailey D.","year":"1991","unstructured":"Bailey , D. , Barton , J. , Lasinski , T. , and Simon , H. 1991 . The NAS parallel benchmarks . Int. J. Supercomput. Appl. 5 , 3 (Fall), 63--73. Bailey, D., Barton, J., Lasinski, T., and Simon, H. 1991. The NAS parallel benchmarks. Int. J. Supercomput. Appl. 5, 3 (Fall), 63--73.","journal-title":"Int. J. Supercomput. Appl."},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the SIGPLAN '89 Conference on Programming Language Design and Implementation (Portland, Ore.). ACM","author":"Balasundaram V.","unstructured":"Balasundaram , V. and Kennedy , K . 1989. A technique for summarizing data access and its use in parallelism enhancing transformations . In Proceedings of the SIGPLAN '89 Conference on Programming Language Design and Implementation (Portland, Ore.). ACM , New York. 10.1145\/73141.74822 Balasundaram, V. and Kennedy, K. 1989. A technique for summarizing data access and its use in parallelism enhancing transformations. In Proceedings of the SIGPLAN '89 Conference on Programming Language Design and Implementation (Portland, Ore.). ACM, New York. 10.1145\/73141.74822"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/872732.806972"},{"key":"e_1_2_1_11_1","volume-title":"Dependence Analysis for Supercomputing","author":"Banerjee U.","unstructured":"Banerjee , U. 1988. Dependence Analysis for Supercomputing . Kluwer Academic Publishers , Boston, Mass . Banerjee, U. 1988. Dependence Analysis for Supercomputing. Kluwer Academic Publishers, Boston, Mass."},{"key":"e_1_2_1_12_1","volume-title":"Proceedings of the 6th Annual Symposium on Principles of Programming Languages. ACM","author":"Banning J. P.","year":"1979","unstructured":"Banning , J. P. 1979 . An efficient way to find the side effects of procedure calls and the aliases of variables . In Proceedings of the 6th Annual Symposium on Principles of Programming Languages. ACM , New York. 10.1145\/567752.567756 Banning, J. P. 1979. An efficient way to find the side effects of procedure calls and the aliases of variables. In Proceedings of the 6th Annual Symposium on Principles of Programming Languages. ACM, New York. 10.1145\/567752.567756"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.546612"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.180621"},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of Supercomputing '94","author":"Blume W.","unstructured":"Blume , W. and Eigenmann , R . 1994. The range test: A dependence test for symbolic, non-linear expressions . In Proceedings of Supercomputing '94 . IEEE Computer Society Press, New York. Blume, W. and Eigenmann, R. 1994. The range test: A dependence test for symbolic, non-linear expressions. In Proceedings of Supercomputing '94. IEEE Computer Society Press, New York."},{"key":"e_1_2_1_18_1","volume-title":"Proceedings of the 7th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VII)","author":"Bugnion E.","unstructured":"Bugnion , E. , Anderson , J. M. , Mowry , T. C. , Rosenblum , M. , and Lam , M. S . 1996. Compiler-directed page coloring for multiprocessors . In Proceedings of the 7th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VII) ( Cambridge, Mass.). 10.1145\/237090.237195 Bugnion, E., Anderson, J. M., Mowry, T. C., Rosenblum, M., and Lam, M. S. 1996. Compiler-directed page coloring for multiprocessors. In Proceedings of the 7th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VII) (Cambridge, Mass.). 10.1145\/237090.237195"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the SIGPLAN '86 Symposium on Compiler Construction (Palo Alto, Calif.). ACM","author":"Burke M.","unstructured":"Burke , M. and Cytron , R . 1986. Interprocedural dependence analysis and parallelization . In Proceedings of the SIGPLAN '86 Symposium on Compiler Construction (Palo Alto, Calif.). ACM , New York. 10.1145\/12276.13328 Burke, M. and Cytron, R. 1986. Interprocedural dependence analysis and parallelization. In Proceedings of the SIGPLAN '86 Symposium on Compiler Construction (Palo Alto, Calif.). ACM, New York. 10.1145\/12276.13328"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/24208.24228"},{"key":"e_1_2_1_21_1","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/0096-0551(93)90005-L","article-title":"A methodology for procedure cloning","volume":"19","author":"Cooper K.","year":"1993","unstructured":"Cooper , K. , Hall , M. , and Kennedy , K. 1993 . A methodology for procedure cloning . Comput. Lang. 19 , 2 (Apr.). Cooper, K., Hall, M., and Kennedy, K. 1993. A methodology for procedure cloning. Comput. Lang. 19, 2 (Apr.).","journal-title":"Comput. Lang."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210604"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/502874.502898"},{"key":"e_1_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Cooper K. D. Hall M. W. Kennedy K. and Torczon L. 1995. Interprocedural analysis and optimization. Commun. Pure Appl. Math. 48.  Cooper K. D. Hall M. W. Kennedy K. and Torczon L. 1995. Interprocedural analysis and optimization. Commun. Pure Appl. Math. 48.","DOI":"10.1002\/cpa.3160480903"},{"key":"e_1_2_1_25_1","unstructured":"Creusillet B. 1996. Array region analyses and applications. Ph.D. dissertaion. Ecole des Mines de Paris.  Creusillet B. 1996. Array region analyses and applications. Ph.D. dissertaion. Ecole des Mines de Paris."},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the 8th International Workshop on Languages and Compilers for Parallel Computing. Springer-Verlag","author":"Creusillet B.","unstructured":"Creusillet , B. and Irigoin , F . 1995. Interprocedural array region analyses . In Proceedings of the 8th International Workshop on Languages and Compilers for Parallel Computing. Springer-Verlag , New York. Creusillet, B. and Irigoin, F. 1995. Interprocedural array region analyses. In Proceedings of the 8th International Workshop on Languages and Compilers for Parallel Computing. Springer-Verlag, New York."},{"key":"e_1_2_1_27_1","volume-title":"Proceedings of the 1990 ACM International Conference on Supercomputing","author":"Cybenko G.","unstructured":"Cybenko , G. , Kipp , L. , Pointer , L. , and Kuck , D . 1990. Supercomputer performance evaluation and the Perfect benchmarks . In Proceedings of the 1990 ACM International Conference on Supercomputing ( Amsterdam, The Netherlands). ACM, New York. 10.1145\/77726.255163 Cybenko, G., Kipp, L., Pointer, L., and Kuck, D. 1990. Supercomputer performance evaluation and the Perfect benchmarks. In Proceedings of the 1990 ACM International Conference on Supercomputing (Amsterdam, The Netherlands). ACM, New York. 10.1145\/77726.255163"},{"key":"e_1_2_1_28_1","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1016\/0097-3165(73)90004-6","article-title":"Fourier-Motzkin elimination and its dual","volume":"14","author":"Dantzig G.","year":"1973","unstructured":"Dantzig , G. and Eaves , B. 1973 . Fourier-Motzkin elimination and its dual . J. Combinat. Theory (A) 14 , 288 -- 297 . Dantzig, G. and Eaves, B. 1973. Fourier-Motzkin elimination and its dual. J. Combinat. Theory (A) 14, 288--297.","journal-title":"J. Combinat. Theory (A)"},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of the 2nd International Conference on Supercomputing (St","author":"Feautrier P.","year":"1988","unstructured":"Feautrier , P. 1988 a. Array expansion . In Proceedings of the 2nd International Conference on Supercomputing (St . Malo, France). 10.1145\/55364.55406 Feautrier, P. 1988a. Array expansion. In Proceedings of the 2nd International Conference on Supercomputing (St. Malo, France). 10.1145\/55364.55406"},{"key":"e_1_2_1_30_1","first-page":"3","article-title":"Parametric integer programming","volume":"22","author":"Feautrier P.","year":"1988","unstructured":"Feautrier , P. 1988 b. Parametric integer programming . Recherche Operationnelle\/Oper. Res. 22 , 3 (Sept.), 243--268. Feautrier, P. 1988b. Parametric integer programming. Recherche Operationnelle\/Oper. Res. 22, 3 (Sept.), 243--268.","journal-title":"Recherche Operationnelle\/Oper. Res."},{"key":"e_1_2_1_31_1","first-page":"1","article-title":"Dataflow analysis of scalar and array references","volume":"20","author":"Feautrier P.","year":"1991","unstructured":"Feautrier , P. 1991 . Dataflow analysis of scalar and array references . Int. J. Paral. Prog. 20 , 1 (Feb.), 23--52. Feautrier, P. 1991. Dataflow analysis of scalar and array references. Int. J. Paral. Prog. 20, 1 (Feb.), 23--52.","journal-title":"Int. J. Paral. Prog."},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the SIGPLAN '91 Conference on Programming Language Design and Implementation","author":"Goff G.","unstructured":"Goff , G. , Kennedy , K. , and Tseng , C . -W. 1991. Practical dependence testing . In Proceedings of the SIGPLAN '91 Conference on Programming Language Design and Implementation ( Toronto, Ont., Canada). ACM, New York. 10.1145\/113445.113448 Goff, G., Kennedy, K., and Tseng, C.-W. 1991. Practical dependence testing. In Proceedings of the SIGPLAN '91 Conference on Programming Language Design and Implementation (Toronto, Ont., Canada). ACM, New York. 10.1145\/113445.113448"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/321921.321939"},{"key":"e_1_2_1_34_1","volume-title":"Proceedings of Supercomputing '91","author":"Granston E. D.","unstructured":"Granston , E. D. and Veidenbaum , A . 1991. Detecting redundant accesses to array data . In Proceedings of Supercomputing '91 ( Albuquerque, N.M.) IEEE Computer Society Press, Los Alamitos, Calif. 10.1145\/125826.126714 Granston, E. D. and Veidenbaum, A. 1991. Detecting redundant accesses to array data. In Proceedings of Supercomputing '91 (Albuquerque, N.M.) IEEE Computer Society Press, Los Alamitos, Calif. 10.1145\/125826.126714"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380200203"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/233561.233568"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.546613"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/151640.151643"},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of Supercomputing '95","author":"Hall M. W.","unstructured":"Hall , M. W. , Amarasinghe , S. P. , Murphy , B. R. , Liao , S.-W. , and Lam , M. S . 1995a. Detecting coarse-grain parallelism using an interprocedural parallelizing compiler . In Proceedings of Supercomputing '95 ( San Diego, Calif.). IEEE Computer Society Press, Los Alamitos, Calif. 10.1145\/224170.224337 Hall, M. W., Amarasinghe, S. P., Murphy, B. R., Liao, S.-W., and Lam, M. S. 1995a. Detecting coarse-grain parallelism using an interprocedural parallelizing compiler. In Proceedings of Supercomputing '95 (San Diego, Calif.). IEEE Computer Society Press, Los Alamitos, Calif. 10.1145\/224170.224337"},{"key":"e_1_2_1_41_1","volume-title":"Proceedings of the Sixth Workshop on Languages and Compilers for Parallel Computing (Portland, Ore.).","author":"Hall M. W.","unstructured":"Hall , M. W. , Mellor-Crummey , J. , Carle , A. , and Rodriguez , R . 1993. FIAT: A framework for interprocedural analysis and transformation . In Proceedings of the Sixth Workshop on Languages and Compilers for Parallel Computing (Portland, Ore.). Hall, M. W., Mellor-Crummey, J., Carle, A., and Rodriguez, R. 1993. FIAT: A framework for interprocedural analysis and transformation. In Proceedings of the Sixth Workshop on Languages and Compilers for Parallel Computing (Portland, Ore.)."},{"key":"e_1_2_1_42_1","volume-title":"Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing","author":"Hall M. W.","unstructured":"Hall , M. W. , Murphy , B. R. , and Amarasinghe , S. P . 1995b. Interprocedural analysis for parallelization: Design and experience . In Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing ( San Francisco, Calif.). SIAM, Philadelphia, Pa, 650--655. Hall, M. W., Murphy, B. R., and Amarasinghe, S. P. 1995b. Interprocedural analysis for parallelization: Design and experience. In Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing (San Francisco, Calif.). SIAM, Philadelphia, Pa, 650--655."},{"key":"e_1_2_1_43_1","volume-title":"Proceedings of the 8th International Workshop on Languages and Compilers for Parallel Computing. Springer-Verlag","author":"Hall M. W.","unstructured":"Hall , M. W. , Murphy , B. R. , Amarasinghe , S. P. , Liao , S.-W. , and Lam , M. S . 1995c. Interprocedural analysis for parallelization . In Proceedings of the 8th International Workshop on Languages and Compilers for Parallel Computing. Springer-Verlag , New York. Hall, M. W., Murphy, B. R., Amarasinghe, S. P., Liao, S.-W., and Lam, M. S. 1995c. Interprocedural analysis for parallelization. In Proceedings of the 8th International Workshop on Languages and Compilers for Parallel Computing. Springer-Verlag, New York."},{"key":"e_1_2_1_44_1","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/BF01808954","article-title":"The interprocedural analysis and automatic parallelization of Scheme programs","volume":"2","author":"Harrison W.","year":"1989","unstructured":"Harrison , W. 1989 . The interprocedural analysis and automatic parallelization of Scheme programs . Lisp and Symbolic Computation 2 , 3\/ 4 (Oct.), 179--396. Harrison, W. 1989. The interprocedural analysis and automatic parallelization of Scheme programs. Lisp and Symbolic Computation 2, 3\/4 (Oct.), 179--396.","journal-title":"Lisp and Symbolic Computation"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.86110"},{"key":"e_1_2_1_47_1","first-page":"255","article-title":"An empirical study of precise interprocedural array analysis. Sci","volume":"3","author":"Hind M.","year":"1994","unstructured":"Hind , M. , Burke , M. , Carini , P. , and Midkiff , S. 1994 . An empirical study of precise interprocedural array analysis. Sci . Prog. 3 , 3, 255 -- 271 . Hind, M., Burke, M., Carini, P., and Midkiff, S. 1994. An empirical study of precise interprocedural array analysis. Sci. Prog. 3, 3, 255--271.","journal-title":"Prog."},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/135226.135232"},{"key":"e_1_2_1_49_1","volume-title":"Proceedings of the NSF-CNRS Workshop on Evironments and Tools for Parallel Scientific Programming. North-Holland","author":"Irigoin F.","year":"1992","unstructured":"Irigoin , F. 1992 . Interprocedural analyses for programming environments . In Proceedings of the NSF-CNRS Workshop on Evironments and Tools for Parallel Scientific Programming. North-Holland , Amsterdam, The Netherlands. Irigoin, F. 1992. Interprocedural analyses for programming environments. In Proceedings of the NSF-CNRS Workshop on Evironments and Tools for Parallel Scientific Programming. North-Holland, Amsterdam, The Netherlands."},{"key":"e_1_2_1_50_1","volume-title":"Proceedings of the 1991 ACM International Conference on Supercomputing","author":"Irigoin F.","unstructured":"Irigoin , F. , Jouvelot , P. , and Triolet , R . 1991. Semantical interprocedural parallelization: An overview of the PIPS project . In Proceedings of the 1991 ACM International Conference on Supercomputing ( Cologne, Germany). ACM, New York. 10.1145\/109025.109086 Irigoin, F., Jouvelot, P., and Triolet, R. 1991. Semantical interprocedural parallelization: An overview of the PIPS project. In Proceedings of the 1991 ACM International Conference on Supercomputing (Cologne, Germany). ACM, New York. 10.1145\/109025.109086"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/321921.321938"},{"key":"e_1_2_1_52_1","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1137\/0205014","article-title":"A comparison of two algorithms for global data flow analysis","volume":"5","author":"Kennedy K.","year":"1976","unstructured":"Kennedy , K. 1976 . A comparison of two algorithms for global data flow analysis . SIAM J. Computing 5 , 1, 158 -- 180 . Kennedy, K. 1976. A comparison of two algorithms for global data flow analysis. SIAM J. Computing 5, 1, 158--180.","journal-title":"SIAM J. Computing"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/143095.143137"},{"key":"e_1_2_1_54_1","volume-title":"Proceedings of the ACM SIGPLAN Symposium on Parallel Programming: Experience with Applications, Languages, and Systems (PPEALS)","author":"Li Z.","unstructured":"Li , Z. and Yew , P . 1988. Efficient interprocedural analysis for program restructuring for parallel programs . In Proceedings of the ACM SIGPLAN Symposium on Parallel Programming: Experience with Applications, Languages, and Systems (PPEALS) ( New Haven, Conn.). ACM, New York. 10.1145\/62115.62125 Li, Z. and Yew, P. 1988. Efficient interprocedural analysis for program restructuring for parallel programs. In Proceedings of the ACM SIGPLAN Symposium on Parallel Programming: Experience with Applications, Languages, and Systems (PPEALS) (New Haven, Conn.). ACM, New York. 10.1145\/62115.62125"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01237234"},{"key":"e_1_2_1_56_1","volume-title":"Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation. ACM","author":"Maslov V.","year":"1992","unstructured":"Maslov , V. 1992 . Delinearization: An efficient way to break multiloop dependence equations . In Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation. ACM , New York. 10.1145\/143095.143130 Maslov, V. 1992. Delinearization: An efficient way to break multiloop dependence equations. In Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation. ACM, New York. 10.1145\/143095.143130"},{"key":"e_1_2_1_57_1","volume-title":"Proceedings of the 20th Annual ACM Symposium on the Principles of Programming Languages (Charleston, S.C.). ACM","author":"Maydan D. E.","unstructured":"Maydan , D. E. , Amarasinghe , S. P. , and Lam , M. S . 1993. Array data-flow analysis and its use in array privatization . In Proceedings of the 20th Annual ACM Symposium on the Principles of Programming Languages (Charleston, S.C.). ACM , New York, 2--15. 10.1145\/158511.158515 Maydan, D. E., Amarasinghe, S. P., and Lam, M. S. 1993. Array data-flow analysis and its use in array privatization. In Proceedings of the 20th Annual ACM Symposium on the Principles of Programming Languages (Charleston, S.C.). ACM, New York, 2--15. 10.1145\/158511.158515"},{"key":"e_1_2_1_58_1","volume-title":"Proceedings of the SIGPLAN '91 Conference on Programming Language Design and Implementation","author":"Maydan D. E.","unstructured":"Maydan , D. E. , Hennessy , J. L. , and Lam , M. S . 1991. Efficient and exact data dependence analysis . In Proceedings of the SIGPLAN '91 Conference on Programming Language Design and Implementation ( Toronto, Ont., Canada). ACM, New York. 10.1145\/113445.113447 Maydan, D. E., Hennessy, J. L., and Lam, M. S. 1991. Efficient and exact data dependence analysis. In Proceedings of the SIGPLAN '91 Conference on Programming Language Design and Implementation (Toronto, Ont., Canada). ACM, New York. 10.1145\/113445.113447"},{"key":"e_1_2_1_59_1","volume-title":"Proceedings of the NSF-NCRD Workshop on Advanced Compilation Techniques for Novel Architectures.","author":"Maydan D. E.","unstructured":"Maydan , D. E. , Hennessy , J. L. , and Lam , M. S . 1992. Effectiveness of data dependence analysis . In Proceedings of the NSF-NCRD Workshop on Advanced Compilation Techniques for Novel Architectures. Maydan, D. E., Hennessy, J. L., and Lam, M. S. 1992. Effectiveness of data dependence analysis. In Proceedings of the NSF-NCRD Workshop on Advanced Compilation Techniques for Novel Architectures."},{"key":"e_1_2_1_60_1","volume-title":"Proceedings of the 5th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-V)","author":"Mowry T.","unstructured":"Mowry , T. , Lam , M. S. , and Gupta , A . 1992. Design and evaluation of a compiler algorithm for prefetching . In Proceedings of the 5th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-V) ( Boston, Mass.). 62--73. 10.1145\/143365.143488 Mowry, T., Lam, M. S., and Gupta, A. 1992. Design and evaluation of a compiler algorithm for prefetching. In Proceedings of the 5th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-V) (Boston, Mass.). 62--73. 10.1145\/143365.143488"},{"key":"e_1_2_1_61_1","volume-title":"Conference Record of the 8th Annual Symposium on Principles of Programming Languages. ACM","author":"Myers E.","year":"1981","unstructured":"Myers , E. 1981 . A precise inter-procedural data flow algorithm . In Conference Record of the 8th Annual Symposium on Principles of Programming Languages. ACM , New York. 10.1145\/567532.567556 Myers, E. 1981. A precise inter-procedural data flow algorithm. In Conference Record of the 8th Annual Symposium on Principles of Programming Languages. ACM, New York. 10.1145\/567532.567556"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/7902.7904"},{"key":"e_1_2_1_64_1","volume-title":"Proceedings of the 1995 ACM International Conference on Supercomputing. ACM","author":"Pottenger B.","unstructured":"Pottenger , B. and Eigenmann , R . 1995. Parallelization in the presence of generalized induction and reduction variables . In Proceedings of the 1995 ACM International Conference on Supercomputing. ACM , New York. Pottenger, B. and Eigenmann, R. 1995. Parallelization in the presence of generalized induction and reduction variables. In Proceedings of the 1995 ACM International Conference on Supercomputing. ACM, New York."},{"key":"e_1_2_1_65_1","volume-title":"Proceedings of the SIGPLAN '92 Conference on Programming Language Design and Implementation","author":"Pugh W.","unstructured":"Pugh , W. and Wonnacott , D . 1992. Eliminating false data dependences using the Omega test . In Proceedings of the SIGPLAN '92 Conference on Programming Language Design and Implementation ( San Francisco, Calif.). ACM, New York. 10.1145\/143095.143129 Pugh, W. and Wonnacott, D. 1992. Eliminating false data dependences using the Omega test. In Proceedings of the SIGPLAN '92 Conference on Programming Language Design and Implementation (San Francisco, Calif.). ACM, New York. 10.1145\/143095.143129"},{"key":"e_1_2_1_66_1","unstructured":"Reilly J. 1995. SPEC describes SPEC95 products and benchmarks. Spec newsletter SPEC. September.  Reilly J. 1995. SPEC describes SPEC95 products and benchmarks. Spec newsletter SPEC. September."},{"key":"e_1_2_1_67_1","volume-title":"Proceedings of the 1990 International Conference on Parallel Processing (St. Charles, Ill.).","author":"Ribas H.","year":"1990","unstructured":"Ribas , H. 1990 . Obtaining dependence vectors for nested-loop computations . In Proceedings of the 1990 International Conference on Parallel Processing (St. Charles, Ill.). Ribas, H. 1990. Obtaining dependence vectors for nested-loop computations. In Proceedings of the 1990 International Conference on Parallel Processing (St. Charles, Ill.)."},{"key":"e_1_2_1_68_1","volume-title":"Theory of Linear and Integer Programming","author":"Schrijver A.","unstructured":"Schrijver , A. 1986. Theory of Linear and Integer Programming . Wiley , Chichester, Great Britain. Schrijver, A. 1986. Theory of Linear and Integer Programming. Wiley, Chichester, Great Britain."},{"key":"e_1_2_1_69_1","unstructured":"Sharir M. and Pnueli A. 1981. Two approaches to interprocedural data flow analysis. In Program Flow Analysis: Theory and Applications S. Muchnick and N. Jones Eds. Prentice-Hall Inc. Englewood Cliffs. N.J.  Sharir M. and Pnueli A. 1981. Two approaches to interprocedural data flow analysis. In Program Flow Analysis: Theory and Applications S. Muchnick and N. Jones Eds. Prentice-Hall Inc. Englewood Cliffs. N.J."},{"key":"e_1_2_1_71_1","volume-title":"Proceedings of the International Symposium on Shared Memory Multiprocessors","author":"Singh J. P.","unstructured":"Singh , J. P. and Hennessy , J. L . 1991. An empirical investigation of the effectiveness of and limitations of automatic parallelization . In Proceedings of the International Symposium on Shared Memory Multiprocessors ( Tokyo, Japan). Singh, J. P. and Hennessy, J. L. 1991. An empirical investigation of the effectiveness of and limitations of automatic parallelization. In Proceedings of the International Symposium on Shared Memory Multiprocessors (Tokyo, Japan)."},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/322261.322272"},{"key":"e_1_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/322261.322273"},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/143095.143120"},{"key":"e_1_2_1_75_1","volume-title":"Proceedings of the SIGPLAN '86 Symposium on Compiler Construction (Palo Alto, Calif.). ACM","author":"Triolet R.","unstructured":"Triolet , R. , Irigoin , F. , and Feautrier , P . 1986. Direct parallelization of CALL statements . In Proceedings of the SIGPLAN '86 Symposium on Compiler Construction (Palo Alto, Calif.). ACM , New York. 10.1145\/12276.13329 Triolet, R., Irigoin, F., and Feautrier, P. 1986. Direct parallelization of CALL statements. In Proceedings of the SIGPLAN '86 Symposium on Compiler Construction (Palo Alto, Calif.). ACM, New York. 10.1145\/12276.13329"},{"key":"e_1_2_1_76_1","volume-title":"Proceedings of the 5th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (Santa Barbara, Calif.). ACM","author":"Tseng C.-W.","year":"1995","unstructured":"Tseng , C.-W. 1995 . Compiler optimizations for eliminating barrier synchronization . In Proceedings of the 5th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (Santa Barbara, Calif.). ACM , New York, 144--155. 10.1145\/ 209936.209952 Tseng, C.-W. 1995. Compiler optimizations for eliminating barrier synchronization. In Proceedings of the 5th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (Santa Barbara, Calif.). ACM, New York, 144--155. 10.1145\/209936.209952"},{"key":"e_1_2_1_78_1","volume-title":"Proceedings of the 6th Workshop on Languages and Compilers for Parallel Computing (Portland, Ore.).","author":"Tu P.","unstructured":"Tu , P. and Padua , D . 1993. Automatic array privatization . In Proceedings of the 6th Workshop on Languages and Compilers for Parallel Computing (Portland, Ore.). Tu, P. and Padua, D. 1993. Automatic array privatization. In Proceedings of the 6th Workshop on Languages and Compilers for Parallel Computing (Portland, Ore.)."},{"key":"e_1_2_1_79_1","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF00289078","article-title":"Fast algorithms for the elimination of common subexpressions","volume":"2","author":"Ullman J.","year":"1973","unstructured":"Ullman , J. 1973 . Fast algorithms for the elimination of common subexpressions . Acta Inf. 2 , 191 -- 213 . Ullman, J. 1973. Fast algorithms for the elimination of common subexpressions. Acta Inf. 2, 191--213.","journal-title":"Acta Inf."},{"key":"e_1_2_1_80_1","article-title":"SPEC Benchmark Suite: Designed for today's advanced systems","volume":"1","author":"Uniejewski J.","year":"1989","unstructured":"Uniejewski , J. 1989 . SPEC Benchmark Suite: Designed for today's advanced systems . SPEC Newsletter Volume 1 , Issue 1, SPEC. Fall. Uniejewski, J. 1989. SPEC Benchmark Suite: Designed for today's advanced systems. SPEC Newsletter Volume 1, Issue 1, SPEC. Fall.","journal-title":"SPEC Newsletter"},{"key":"e_1_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01379099"}],"container-title":["ACM Transactions on Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1075382.1075385","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T15:25:48Z","timestamp":1672241148000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1075382.1075385"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7]]},"references-count":73,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["10.1145\/1075382.1075385"],"URL":"https:\/\/doi.org\/10.1145\/1075382.1075385","relation":{},"ISSN":["0164-0925","1558-4593"],"issn-type":[{"value":"0164-0925","type":"print"},{"value":"1558-4593","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,7]]},"assertion":[{"value":"2005-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}