{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:10:04Z","timestamp":1725549004401},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540307815"},{"type":"electronic","value":"9783540316121"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11596110_19","type":"book-chapter","created":{"date-parts":[[2005,12,15]],"date-time":"2005-12-15T05:39:40Z","timestamp":1134625180000},"page":"280-294","source":"Crossref","is-referenced-by-count":1,"title":["Performance Analysis of Symbolic Analysis Techniques for Parallelizing Compilers"],"prefix":"10.1007","author":[{"given":"Hansang","family":"Bae","sequence":"first","affiliation":[]},{"given":"Rudolf","family":"Eigenmann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Blume, W., Eigenmann, R.: An overview of symbolic analysis techniques needed for the effective parallelization of the perfect benchmarks. In: Proceedings of the 1994 International Conference on Parallel Processing, August 1994, pp. 233\u2013238 (1994)","DOI":"10.1109\/ICPP.1994.59"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Blume, W., Doallo, R., Eigenmann, R., Hoeflinger, J.G.J., Lawrence, T., Lee, J., Padua, D., Paek, Y., Pottenger, B., Rauchwerger, L., Tu, P.: Parallel programming with polaris. IEEE Computer, 78\u201382 (December 1996)","DOI":"10.1109\/2.546612"},{"key":"19_CR3","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)","DOI":"10.1109\/IPPS.1995.395956"},{"issue":"12","key":"19_CR4","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"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Tu, P., Padua, D.A.: Gated SSA-based demand-driven symbolic analysis for parallelizing compilers. In: Proceedings of the 1995 International Conference on Supercomputing, pp. 414\u2013423 (1995)","DOI":"10.1145\/224538.224648"},{"issue":"4","key":"19_CR6","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1145\/233561.233568","volume":"18","author":"M.R. Haghighat","year":"1996","unstructured":"Haghighat, M.R., Polychronopoulos, C.D.: Symbolic analysis for parallelizing compilers. ACM Transactions on Programming Languages and Systems\u00a018(4), 477\u2013518 (1996)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"19_CR7","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1008013906463","volume":"12","author":"T. Fahringer","year":"1998","unstructured":"Fahringer, T.: Efficient symbolic analysis for parallelizing compilers and performance estimators. The Journal of Supercomputing\u00a012(3), 227\u2013252 (1998)","journal-title":"The Journal of Supercomputing"},{"key":"19_CR8","unstructured":"Havlak, P.: Interprocedural Symbolic Analysis. PhD thesis, Dept. of Computer Science, Rice University (May 1994)"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Blume, W., Eigenmann, R.: Demand-driven symbolic range propagation. In: Proceedings of the 8th Workshop on Languages and Compilers for Parallel Computing, Columbus, OH, pp. 141\u2013160 (1995)","DOI":"10.1007\/BFb0025876"},{"key":"19_CR10","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)","DOI":"10.1145\/512950.512973"},{"key":"19_CR11","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)","DOI":"10.1145\/224538.224655"},{"key":"19_CR12","unstructured":"Pugh, W., Wonnacott, D.: Nonlinear Array Dependence Analysis. In: Proceedings of 3rd Workshop on Languages, Compilers and Run-Time Systems for Scalable Computers (November 1994)"},{"key":"19_CR13","unstructured":"Aslot, V., Eigenmann, R.: Performance characteristics of the specomp 2001 benchmarks. In: Proceedings of the 3rd European Workshop on OpenMP (EWOMP 2001), Barcelona, Spain (September 2001)"},{"issue":"3","key":"19_CR14","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1145\/291889.291900","volume":"20","author":"W. Pugh","year":"1998","unstructured":"Pugh, W., Wonnacott, D.: Constraint-based array dependence analysis. ACM Transactions on Programming Languages and Systems\u00a020(3), 635\u2013678 (1998)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"19_CR15","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)","DOI":"10.1145\/349299.349325"}],"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\/11596110_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T15:54:55Z","timestamp":1586620495000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11596110_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540307815","9783540316121"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11596110_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}