{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:52:20Z","timestamp":1725490340504},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651727"},{"type":"electronic","value":"9783540495307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49530-4_7","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T12:32:36Z","timestamp":1188304356000},"page":"91-106","source":"Crossref","is-referenced-by-count":2,"title":["A Case for Combining Compile-Time and Run-Time Parallelization"],"prefix":"10.1007","author":[{"given":"Sungdo","family":"Moon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Byoungro","family":"So","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mary W.","family":"Hall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Murphy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,24]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Ammons, G., and Larus, J.R. Improving data-flow analysis with path profiles. In Proceedings of the ACM SIGPLAN\u2019 98 Conference on Programming Language Design and Implementation (Montreal, Canada, June 1998), pp. 72\u201384.","DOI":"10.1145\/277650.277665"},{"issue":"12","key":"7_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., and Tu, P. Parallel programming with Polaris. IEEE Computer 29, 12 (December 1996), 78\u201382.","journal-title":"IEEE Computer"},{"issue":"6","key":"7_CR3","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1109\/71.180621","volume":"3","author":"W. Blume","year":"1992","unstructured":"Blume, W., and Eigenmann, R. Performance analysis of parallelizing compilers on the Perfect Benchmark programs. IEEE Transaction on Parallel and Distributed Systems 3, 6 (November 1992), 643\u2013656.","journal-title":"IEEE Transaction on Parallel and Distributed Systems"},{"key":"7_CR4","unstructured":"Blume, W.J. Symbolic Analysis Techniques for Effective Automatic Parallelization. PhD thesis, Dept. of Computer Science, University of Illinois at Urbana-Champaign, June 1995."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Bod\u00edk, R., Gupta, R., and Soffa, M. L. Interprocedural conditional branch elimination. In Proceedings of the ACM SIGPLAN\u2019 97 Conference on Programming Language Design and Implementation (Las Vegas, Nevada, June 1997), pp. 146\u2013158.","DOI":"10.1145\/258915.258929"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Cousot, P., and Cusot, R. Systematic design of program anaysis frameworks. In Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages (San Antonio, Texas, January 1979), pp. 269\u2013282.","DOI":"10.1145\/567752.567778"},{"key":"7_CR7","unstructured":"Goff, G. Practical techniques to augment dependence analysis in the presence of symbolic terms. Tech. Rep. TR92-194, Dept. of Computer Science, Rice University, October 1992."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Gu, J., Li, Z., and Lee, G. Symbolic array dataflow analysis for array privatization and program parallelization. In Proceedings of Supercomputing\u2019 95 (San Diego, California, December 1995).","DOI":"10.1145\/224170.224318"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Gu, J., Li, Z., and Lee, G. Experience with efficient array data-flow analysis for array privatization. In Proceedings of the Sixth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (Las Vegas, Nevada, June 1997), pp. 157\u2013167.","DOI":"10.1145\/263764.263785"},{"key":"7_CR10","unstructured":"Haghighat, M. R.Symbolic Analysis for Parallelizing Compilers. PhD thesis, Dept. of Computer Science, University of Illinois at Urbana-Champaign, August 1994."},{"issue":"12","key":"7_CR11","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1109\/2.546613","volume":"29","author":"M. W. Hall","year":"1996","unstructured":"Hall, M. W., Anderson, J. M., Amarasinghe, S. P., Murphy, B. R., Liao, S.-W., Bugnion, E., and Lam, M. S. Maximizing multiprocessor performance with the SUIF compiler. IEEE Computer 29, 12 (December 1996), 84\u201389.","journal-title":"IEEE Computer"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Hall, M. W., Murphy, B. R., Amarasinghe, S. P., Liao, S.-W., and Lam, M. S. Interprocedural analysis for parallelization. In Proceedings of the 8th International Workshop on Languages and Compilers for Parallel Computing (Columbus, Ohio, August 1995), pp. 61\u201380.","DOI":"10.1007\/BFb0014192"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Holley, L. H., and Rosen, B. K. Qualified data flow problems. In Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages (Las Vegas, Nevada, January 1980), pp. 68\u201382.","DOI":"10.1145\/567446.567454"},{"key":"7_CR14","unstructured":"Irigoin, F. Interprocedural analyses for programming environments. In Proceedings of the NSF-CNRS Workshop on Environment and Tools for Parallel Scientific Programming (September 1992)."},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Moon, S., Hall, M.W., and Murphy, B. R. Predicated array data-flow analysis for run-time parallelization. In Proceedings of the 1998 ACM International Conference on Supercomputing (Melbourne, Australia, July 1998).","DOI":"10.1145\/277830.277874"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Nielson, F. Expected forms of data flow analysis. In Programs as Data Objects, H. Ganzinger and N. D. Jones, Eds., vol. 217 of Lecture Notes on Computer Science. Springer-Verlag, October 1986, pp. 172\u2013191.","DOI":"10.1007\/3-540-16446-4_10"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Pugh, W., and Wonnacott, D. Eliminating false data dependences using the Omega test. In Proceedings of the ACM SIGPLAN\u2019 92 Conference on Programming Language Design and Implementation (San Francisco, California, June 1992), pp. 140\u2013151.","DOI":"10.1145\/143095.143129"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Rauchwerger, L., and Padua, D. The LRPD test: Speculative run-time parallelization of loops with privatization and reduction parallelization. In Proceedings of the ACM SIGPLAN\u2019 95 Conference on Programming Language Design and Implementation (La Jolla, California, June 1995), pp. 218\u2013232.","DOI":"10.1145\/223428.207148"},{"issue":"5","key":"7_CR19","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1109\/12.88484","volume":"40","author":"J. H. Saltz","year":"1991","unstructured":"Saltz, J. H., Mirchandaney, R., and Crowley, K. Run-time parallelization and scheduling of loops. IEEE Transaction on Computers 40, 5 (May 1991), 603\u2013612.","journal-title":"IEEE Transaction on Computers"},{"key":"7_CR20","unstructured":"Sharma, S. D., Acharya, A., and SAltz, J. Defeered data-flow analysis: Algorithms, proofs and applications. Tech. Rep. UMD-CS-TR-3845, Dept. of Computer Science, University of Maryland, November 1997."},{"key":"7_CR21","unstructured":"Singh, J. P., and Hennessy, J. L. An empirical investigation of the effectiveness and limitations of automatic parallelization. In Proceedings of the International Symposium on Shared Memory Multiprocessing (April 1991)."},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"So, B., Moon, S., and Hall, M.W. Measuring the effectiveness of automatic parallelization in SUIF. In Proceedings of the 1998 ACM International Conference on Supercomputing (Melbourne, Australia, July 1998).","DOI":"10.1145\/277830.277876"},{"issue":"5","key":"7_CR23","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1109\/32.232013","volume":"19","author":"R. E. Strom","year":"1993","unstructured":"Strom, R. E., and Yellin, D. M. Extending typestate checking using conditional liveness analysis. IEEE Transaction on Software Engineering 19, 5 (May 1993), 478\u2013485.","journal-title":"IEEE Transaction on Software Engineering"},{"key":"7_CR24","unstructured":"Tu, P.Automatic Array Privatization and Demand-driven Symbolic Analysis. PhD thesis, Dept. of Computer Science, University of Illinois at Urbana-Champaign, May 1995."},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Tu, P., and Padua, D. Automatic array privatization. In Proceedings of the 6th International Workshop on Languages and Compilers for Parallel Computing (Portland, Oregon, August 1993), pp. 500\u2013521.","DOI":"10.1007\/3-540-57659-2_29"},{"key":"7_CR26","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1145\/103135.103136","volume":"13","author":"M. N. Wegman","year":"1991","unstructured":"Wegman, M. N., and Zadeck, F. K. Constant propagation with conditional branches. ACM Transaction on Programming Languages and Systems 13, 2 (April 1991), 180\u2013210.","journal-title":"ACM Transaction on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Languages, Compilers, and Run-Time Systems for Scalable Computers"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49530-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:16:57Z","timestamp":1556803017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49530-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651727","9783540495307"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-49530-4_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}