{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:41Z","timestamp":1725512021317},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540693291"},{"type":"electronic","value":"9783540693307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/978-3-540-69330-7_28","type":"book-chapter","created":{"date-parts":[[2007,5,14]],"date-time":"2007-05-14T21:16:20Z","timestamp":1179177380000},"page":"413-424","source":"Crossref","is-referenced-by-count":3,"title":["Interprocedural Symbolic Range Propagation for Optimizing Compilers"],"prefix":"10.1007","author":[{"given":"Hansang","family":"Bae","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudolf","family":"Eigenmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1145\/76263.76323","volume-title":"Supercomputing 1989: Proceedings of the 1989 ACM\/IEEE conference on Supercomputing","author":"V. Balasundaram","year":"1989","unstructured":"Balasundaram, V., Kennedy, K., Kremer, U., McKinley, K., Subhlok, J.: The parascope editor: an interactive parallel programming tool. In: Supercomputing 1989: Proceedings of the 1989 ACM\/IEEE conference on Supercomputing, pp. 540\u2013550. ACM Press, New York (1989)"},{"issue":"12","key":"28_CR2","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/2.546612","volume":"29","author":"W. Blume","year":"1996","unstructured":"Blume, W., Doallo, R., Eigenmann, R., Grout, J., Hoeflinger, J., Lawrence, T., Lee, J., Padua, D., Paek, Y., Pottenger, B., Rauchwerger, L., Tu, P.: Parallel programming with Polaris. IEEE Computer\u00a029(12), 78\u201382 (1996)","journal-title":"IEEE Computer"},{"doi-asserted-by":"crossref","unstructured":"Blume, W., Eigenmann, R.: Symbolic range propagation. In: Proceedings of the 9th International Parallel Processing Symposium, Santa Barbara, CA, April 1995, pp. 357\u2013363 (1995)","key":"28_CR3","DOI":"10.1109\/IPPS.1995.395956"},{"key":"28_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BFb0014197","volume-title":"Languages and Compilers for Parallel Computing","author":"W. Blume","year":"1996","unstructured":"Blume, W., Eigenmann, R.: Demand-driven, Symbolic Range Propagation. In: Huang, C.-H., Sadayappan, P., Banerjee, U., Gelernter, D., Nicolau, A., Padua, D.A. (eds.) LCPC 1995. LNCS, vol.\u00a01033, pp. 141\u2013160. Springer, Heidelberg (1996)"},{"issue":"12","key":"28_CR5","doi-asserted-by":"publisher","first-page":"1180","DOI":"10.1109\/71.737695","volume":"9","author":"W. Blume","year":"1998","unstructured":"Blume, W., Eigenmann, R.: Nonlinear and symbolic data dependence testing. IEEE Transactions on Parallel and Distributed Systems\u00a09(12), 1180\u20131194 (1998)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"unstructured":"Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: Proceedings of the 2nd Internatioal Symposium on Programming, April 1976, pp. 106\u2013130 (1976)","key":"28_CR6"},{"doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of 4th ACM Symposium, pp. 238\u2013252 (1977)","key":"28_CR7","DOI":"10.1145\/512950.512973"},{"doi-asserted-by":"crossref","unstructured":"Creusillet, B., Irigoin, F.: Interprocedural Array Region Analyses. In: Huang, C.-H., Sadayappan, P., Banerjee, U., Gelernter, D., Nicolau, A., Padua, D.A. (eds.) LCPC 1995. LNCS, vol.\u00a01033, pp. 4\u20131 \u2013 4\u201315. Springer, Heidelberg (1996)","key":"28_CR8","DOI":"10.1007\/BFb0014191"},{"doi-asserted-by":"crossref","unstructured":"Grove, D., Torczon, L.: Interprocedural constant propagation: A study of jump function implementations. In: SIGPLAN Conference on Programming Language Design and Implementation, pp. 90\u201399 (1993)","key":"28_CR9","DOI":"10.1145\/155090.155099"},{"key":"28_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BFb0014192","volume-title":"Languages and Compilers for Parallel Computing","author":"M.W. Hall","year":"1996","unstructured":"Hall, M.W., Murphy, B.R., Amarasinghe, S.P., Liao, S.-W., Lam, M.S.: Interprocedural analysis for parallelization. In: Huang, C.-H., Sadayappan, P., Banerjee, U., Gelernter, D., Nicolau, A., Padua, D.A. (eds.) LCPC 1995. LNCS, vol.\u00a01033, pp. 61\u201380. Springer, Heidelberg (1996)"},{"unstructured":"Havlak, P.: Interprocedural Symbolic Analysis. PhD thesis, Dept. of Computer Science, Rice University (May 1994)","key":"28_CR11"},{"key":"28_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-57502-2_61","volume-title":"Languages and Compilers for Parallel Computing","author":"L.J. Hendren","year":"1993","unstructured":"Hendren, L.J., Donawa, C., Emami, M., Gao, G.R., Justiani, Sridharan, B.: Designing the mccat compiler based on a family of structured intermediate representations. In: Banerjee, U., Gelernter, D., Nicolau, A., Padua, D.A. (eds.) LCPC 1992. LNCS, vol.\u00a0757, pp. 406\u2013420. Springer, Heidelberg (1993)"},{"key":"28_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/3-540-44587-0_2","volume-title":"OpenMP Shared Memory Parallel Programming","author":"S.-J. Min","year":"2001","unstructured":"Min, S.-J., Kim, S.W., Voss, M., Lee, S.-I., Eigenmann, R.: Portable compilers for OpenMP. In: Eigenmann, R., Voss, M.J. (eds.) WOMPAT 2001. LNCS, vol.\u00a02104, pp. 11\u201319. Springer, Heidelberg (2001)"},{"key":"28_CR14","first-page":"67","volume-title":"Proceedings of the conference on Programming language design and implementation","author":"J.R.C. Patterson","year":"1995","unstructured":"Patterson, J.R.C.: Accurate static branch prediction by value range propagation. In: Proceedings of the conference on Programming language design and implementation, pp. 67\u201378. ACM Press, New York (1995)"},{"doi-asserted-by":"crossref","unstructured":"Pottenger, W.M., Eigenmann, R.: Idiom recognition in the polaris parallelizing compiler. In: Proceedings of the 9th International Conference on Supercomputing, pp. 444\u2013448 (1995)","key":"28_CR15","DOI":"10.1145\/224538.224655"},{"doi-asserted-by":"crossref","unstructured":"Rugina, R., Rinard, M.C.: Symbolic bounds analysis of pointers, array indices, and accessed memory regions. In: Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, Vancouver, Canada, June 2000, pp. 182\u2013195 (2000)","key":"28_CR16","DOI":"10.1145\/349299.349325"},{"issue":"1","key":"28_CR17","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1145\/156668.156692","volume":"28","author":"P. Tu","year":"1993","unstructured":"Tu, P., Padua, D.: Array privatization for shared and distributed memory machines (extended abstract). SIGPLAN Not.\u00a028(1), 64\u201367 (1993)","journal-title":"SIGPLAN Not."},{"doi-asserted-by":"crossref","unstructured":"Verbrugge, C., Co, P., Hendren, L.J.: Generalized constant propagation: A study in c. In: Proceedings of the Internatioal Conference on Compiler Construction, April 1996, pp. 74\u201390 (1996)","key":"28_CR18","DOI":"10.1007\/3-540-61053-7_54"},{"key":"28_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-27864-1_12","volume-title":"Static Analysis","author":"S.H. Yong","year":"2004","unstructured":"Yong, S.H., Horwitz, S.: Pointer-range analysis. In: Giacobazzi, R. (ed.) SAS 2004. LNCS, vol.\u00a03148, pp. 133\u2013148. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69330-7_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:57:34Z","timestamp":1605761854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69330-7_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540693291","9783540693307"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69330-7_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}