{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T21:01:02Z","timestamp":1751662862835,"version":"3.41.0"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2000,12,1]],"date-time":"2000-12-01T00:00:00Z","timestamp":975628800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,12,1]],"date-time":"2000-12-01T00:00:00Z","timestamp":975628800000},"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":[[2000,12]]},"DOI":"10.1023\/a:1007560600904","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T10:04:10Z","timestamp":1040551450000},"page":"537-562","source":"Crossref","is-referenced-by-count":25,"title":["Automatic Parallelization of Recursive Procedures"],"prefix":"10.1007","volume":"28","author":[{"given":"Manish","family":"Gupta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sayak","family":"Mukhopadhyay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Navin","family":"Sinha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"227348_CR1","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1147\/rd.416.0737","volume":"41","author":"F. Gustavson","year":"1997","unstructured":"F. Gustavson, Recursion leads to automatic variable blocking for dense linear-algebra systems, IBM J. Res. Dev., 41(6):737\u2013755 (November 1997).","journal-title":"IBM J. Res. Dev."},{"key":"227348_CR2","doi-asserted-by":"crossref","unstructured":"E. Elmroth and F. Gustavson, New serial and parallel recursive QR factorization algorithms for SMP systems, Proc. PARA'98 Workshop on Applied Parallel Computing in Large Scale Scientific and Industrial Problems, Umea, Sweden (June 1998).","DOI":"10.1007\/BFb0095328"},{"key":"227348_CR3","unstructured":"T. H. Cormen, C. E. Leiserson, and R. L. Rivest, Introduction to Algorithms, The MIT Press (1989)."},{"issue":"3-4","key":"227348_CR4","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1016\/S0167-8191(98)00024-6","volume":"24","author":"L. Rauchwerger","year":"1998","unstructured":"L. Rauchwerger, Runtime parallelization: It's time has come, J. Parallel Computing, 24(3-4):527\u2013566 (1998).","journal-title":"J. Parallel Computing"},{"key":"227348_CR5","doi-asserted-by":"crossref","unstructured":"M. Burke and R. Cytron, Interprocedural dependence analysis and parallelization, Proc. SIGPLAN Symp. Compiler Construction, pp. 162-175 (June 1986).","DOI":"10.1145\/13310.13328"},{"key":"227348_CR6","doi-asserted-by":"crossref","unstructured":"R. Triolet, F. Irigion, and P. Feautrier, Direct parallelization of call statements, Proc. SIGPLAN Symp. Compiler Construction, pp. 176-185 (June 1986).","DOI":"10.1145\/12276.13329"},{"key":"227348_CR7","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. Parallel and Distributed Computing, 5:517\u2013550 (1988).","journal-title":"J. Parallel and Distributed Computing"},{"key":"227348_CR8","doi-asserted-by":"crossref","unstructured":"Z. Li and P. C. Yew, Efficient interprocedural analysis for program parallelization and restructuring, ACM SIGPLAN PPEALS, pp. 85\u201399 (1988).","DOI":"10.1145\/62115.62125"},{"key":"227348_CR9","doi-asserted-by":"crossref","unstructured":"M. W. Hall, S. P. Amarasinghe, B. R. Murphy, S.-W. Liao, and M. S. Lam, Detecting coarse-grain parallelism using an interprocedural parallelizing compiler, Proc. Supercomputing, San Diego, California (December 1995).","DOI":"10.1145\/224170.224337"},{"issue":"2","key":"227348_CR10","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1109\/71.127258","volume":"3","author":"M. Girkar","year":"1992","unstructured":"M. Girkar and C. Polychronopoulos, Automatic extraction of functional parallelism from ordinary programs, IEEE Trans. Parallel and Distributed Systems,\n3(2):166\u2013178 (March 1992).","journal-title":"IEEE Trans. Parallel and Distributed Systems"},{"issue":"11","key":"227348_CR11","doi-asserted-by":"crossref","first-page":"1098","DOI":"10.1109\/71.642945","volume":"8","author":"S. Ramaswamy","year":"1997","unstructured":"S. Ramaswamy, S. Sapatnekar, and P. Banerjee, A framework for exploiting data and functional parallelism on distributed memory multicomputers, IEEE Trans. Parallel and Distributed Systems, 8(11):1098\u20131116 (November 1997).","journal-title":"IEEE Trans. Parallel and Distributed Systems"},{"key":"227348_CR12","doi-asserted-by":"crossref","unstructured":"W. L. Harrison, III, The interprocedural analysis and automatic parallelization of Scheme programs, Lisp and Symbolic Computation: An International Journal, 2 (3) (1989).","DOI":"10.1007\/BF01808954"},{"issue":"1","key":"227348_CR13","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1109\/71.80123","volume":"1","author":"L. Hendren","year":"1990","unstructured":"L. Hendren and A. Nicolau, Parallelizing programs with recursive data structures, IEEE Trans. Parallel and Distributed Systems, 1(1):35\u201347 (January 1990).","journal-title":"IEEE Trans. Parallel and Distributed Systems"},{"key":"227348_CR14","doi-asserted-by":"crossref","unstructured":"J. R. Larus and P. N. Hilfinger, Restructuring Lisp programs for concurrent execution, Proc. ACM SIGPLAN PPEALS\u2014Parallel Programming: Experience with Applications, Languages and Systems, pp. 100\u2013110 (July 1988).","DOI":"10.1145\/62115.62126"},{"key":"227348_CR15","doi-asserted-by":"crossref","unstructured":"R. Blumofe, C. Joerg, B. Kuszmaul, C. Leiserson, K. Randall, and Y. Zhou, Cilk: An efficient multi-threaded runtime system, Proc. ACM SIGPLAN Symp. Principles and Practices of Parallel Programming, Santa Barbara, California (July 1995).","DOI":"10.1145\/209936.209958"},{"issue":"4","key":"227348_CR16","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"R. Halstead Jr.","year":"1985","unstructured":"R. Halstead, Jr., Multilisp: A language for concurrent symbolic computation, ACM Trans. Progr. Lang. Syst., 7(4):501\u2013538 (1985).","journal-title":"ACM Trans. Progr. Lang. Syst."},{"key":"227348_CR17","doi-asserted-by":"crossref","unstructured":"M. Rinard and P. Diniz, Commutativity analysis: A new analysis framework for parallelizing compilers, Proc. ACM SIGPLAN Conf. Progr. Lang. Design and Implementation, Philadelphia, Pennsylvania (May 1996).","DOI":"10.1145\/231379.231390"},{"key":"227348_CR18","unstructured":"M. Gupta, S. Mukhopadhyay, and N. Sinha, Automatic parallelization of recursive proce-dures, Technical Report RC 21333 (96110) 4 NOV 1998, IBM Research (November 1998)."},{"key":"227348_CR19","doi-asserted-by":"crossref","unstructured":"R. Rugina and M. Rinard, Automatic parallelization of divide and conquer algorithms, Proc. ACM SIGPLAN Symp. Principles and Practices of Parallel Programming, Atlanta, Georgia (May 1999).","DOI":"10.1145\/301104.301111"},{"key":"227348_CR20","doi-asserted-by":"crossref","unstructured":"J. Gu, Z. Li, and G. Lee, Symbolic array dataflow analysis for array privatization and program parallelization, Proc. Supercomputing, San Diego, California (December 1995).","DOI":"10.1145\/224170.224318"},{"key":"227348_CR21","doi-asserted-by":"crossref","unstructured":"W. Blume and R. Eigenmann, Demand-driven, symbolic range propagation, Proc. Eight Workshop on Languages and Compilers for Parallel Computing, Columbus, Ohio (August 1995).","DOI":"10.1007\/BFb0014197"},{"issue":"1","key":"227348_CR22","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/200994.201003","volume":"17","author":"M. Gerlek","year":"1995","unstructured":"M. Gerlek, E. Stoltz, and M. Wolfe, Beyond induction variables: Detecting and classifying sequences using a demand-driven SSA form, ACM Trans. Progr. Lang. Syst. 17(1):85\u2013122 (January 1995).","journal-title":"ACM Trans. Progr. Lang. Syst."},{"key":"227348_CR23","doi-asserted-by":"crossref","unstructured":"S. Moon and M. Hall, Evaluation of predicated array data-flow analysis for automatic parallelization, Proc. ACM SIGPLAN Symp. Principles and Practices of Parallel Programming, Atlanta, Georgia (May 1999).","DOI":"10.1145\/301104.301112"},{"key":"227348_CR24","unstructured":"R. L. Kruse, Data Structures and Program Design, Prentice Hall (1989)."},{"key":"227348_CR25","doi-asserted-by":"crossref","unstructured":"J.-D. Choi, M. Burke, and P. Carini, Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side-effects, 20th Ann. ACM SIGACT-SIGPLAN Symp. Principles Progr. Lang., pp. 232\u2013245 (January 1993).","DOI":"10.1145\/158511.158639"},{"key":"227348_CR26","doi-asserted-by":"crossref","unstructured":"M. Emami, R. Ghiya, and L. Hendren, Context-sensitive interprocedural points-to analysis in the presence of function pointers, Proc. ACM SIGPLAN Conf. Progr. Lang. Design and Implementation, pp. 242\u2013256 (June 1994).","DOI":"10.1145\/178243.178264"},{"key":"227348_CR27","doi-asserted-by":"crossref","unstructured":"R. P. Wilson and M. S. Lam, Efficient context-sensitive pointer analysis for C programs, SIGPLAN Conf. Progr. Lang. Design and Implementation, pp. 1\u201312 (June 1995).","DOI":"10.1145\/207110.207111"},{"issue":"3","key":"227348_CR28","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 Distributed Systems, 2(3):350-360 (July 1991).","journal-title":"IEEE Trans. Parallel and Distributed Systems"},{"issue":"7","key":"227348_CR29","doi-asserted-by":"crossref","first-page":"689","DOI":"10.1109\/71.508249","volume":"7","author":"M. Gupta","year":"1996","unstructured":"M. Gupta, E. Schonberg, and H. Srinivasan, A unified framework for optimizing communication in data-parallel programs, IEEE Trans. Parallel and Distributed Systems, 7(7):689\u2013704 (July 1996).","journal-title":"IEEE Trans. Parallel and Distributed Systems"},{"key":"227348_CR30","doi-asserted-by":"crossref","unstructured":"P. Tu and D. Padua, Gated SSA-based demand-driven symbolic analysis for parallelizing compilers, Proc. Int'l. Conf. Supercomputing, Barcelona, Spain (July 1995).","DOI":"10.1145\/224538.224648"},{"key":"227348_CR31","doi-asserted-by":"crossref","unstructured":"S. Hummel and E. Schonberg, Low-overhead scheduling of nested parallelism, IBM J. Res. Dev. (1991).","DOI":"10.1147\/rd.355.0743"},{"key":"227348_CR32","doi-asserted-by":"crossref","unstructured":"M. Gupta and R. Nim, Techniques for speculative runtime parallelization of loops, '98, Orlando, Florida (November 1998).","DOI":"10.1109\/SC.1998.10053"},{"key":"227348_CR33","doi-asserted-by":"crossref","unstructured":"D. Patel and L. Rauchwerger, Principles of speculative runtime parallelization, Proc. 11th Workshop on Languages and Compilers for Parallel Computing (August 1998).","DOI":"10.1007\/3-540-48319-5_21"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1007560600904.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1007560600904\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1007560600904.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T08:37:58Z","timestamp":1748335078000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1007560600904"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,12]]},"references-count":33,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2000,12]]}},"alternative-id":["227348"],"URL":"https:\/\/doi.org\/10.1023\/a:1007560600904","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"type":"print","value":"0885-7458"},{"type":"electronic","value":"1573-7640"}],"subject":[],"published":{"date-parts":[[2000,12]]}}}