{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:55:08Z","timestamp":1725512108790},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540725206"},{"type":"electronic","value":"9783540725213"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72521-3_15","type":"book-chapter","created":{"date-parts":[[2007,6,10]],"date-time":"2007-06-10T16:53:29Z","timestamp":1181494409000},"page":"190-204","source":"Crossref","is-referenced-by-count":1,"title":["Quantifying Uncertainty in Points-To Relations"],"prefix":"10.1007","author":[{"given":"Constantino G.","family":"Ribeiro","sequence":"first","affiliation":[]},{"given":"Marcelo","family":"Cintra","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Altucher, R.Z., Landi, W.: An Extended Form of Must Alias Analysis for Dynamic Allocation. In: Symp. on Principles of Programming Languages, January, pp. 74-84 (1995)","DOI":"10.1145\/199448.199466"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Chen, P.-S., et al.: Compiler Support for Speculative Multithreading Architecture with Probabilistic Points-to Analysis. In: Symp. on Principles and Practice of Parallel Programming, June, pp. 25-36 (2003)","DOI":"10.1145\/781498.781502"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Cheng, B., Hwu, W.-M.: Modular Interprocedural Pointer Analysis using Access Paths: Design, Implementation, and Evaluation. In: Conf. on Programming Language Design and Implementation, June, pp. 57-69 (2000)","DOI":"10.1145\/358438.349311"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Das, M., et al.: Estimating the Impact of Scalable Pointer Analysis on Optimization. In: Intl. Static Analysis Symp., July, pp. 260-278 (2001)","DOI":"10.1007\/3-540-47764-0_15"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Emami, M., Ghiya, R., Hendren, L.J.: Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers. In: Conf. on Programming Language Design and Implementation, June, pp. 242-256 (1994)","DOI":"10.1145\/178243.178264"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Ghiya, R., Hendren, L.J.: Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C. In: Symp. on Principles of Programming Languages, January, pp. 1-15 (1996)","DOI":"10.1145\/237721.237724"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Ghiya, R., Lavery, D., Sehr, D.: On the Importance of Points-To Analysis and Other Memory Disambiguation Methods for C Programs. In: Conf. on Programming Language Design and Implementation, June, pp. 47-58 (2001)","DOI":"10.1145\/378795.378806"},{"issue":"12","key":"15_CR8","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1109\/2.546613","volume":"29","author":"M. Hall","year":"1996","unstructured":"Hall, M., et al.: Maximizing Multiprocessor Performance with the SUIF Compiler. IEEE Computer\u00a029(12), 84\u201389 (1996)","journal-title":"IEEE Computer"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Hind, M.: Pointer Analysis: Haven\u2019t We Solved This Problem Yet? In: Wksp. on Program Analysis for Software Tools and Engineering, June pp. 54-61 (2001)","DOI":"10.1145\/379605.379665"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Hwang, Y.-S., et al.: Probabilistic Points-to Analysis. In: Intl. Wksp on Languages and Compilers for Parallel Computing, August, pp. 290-305 (2001)","DOI":"10.1007\/3-540-35767-X_19"},{"issue":"4","key":"15_CR11","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/161494.161501","volume":"1","author":"W. Landi","year":"1992","unstructured":"Landi, W.: Undecidability of Static Analysis. ACM Letters on Programming Languages and Systems\u00a01(4), 323\u2013337 (1992)","journal-title":"ACM Letters on Programming Languages and Systems"},{"key":"15_CR12","unstructured":"Lee, C., Potkonjak, M., Mangione-Smith, W.H.: MediaBench: A Tool for Evaluating and Synthesizing Multimedia and Communications Systems. In: Intl. Symp. on Microarchitecture, December, pp. 330-335 (1997)"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Liang, D., Pennings, M., Harrold, M.J.: Evaluating the Precision of Static Reference Analysis Using Profiling. In: Intl. Symp. on Software Testing and Analysis, July, pp. 22-32 (2002)","DOI":"10.1145\/566172.566176"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Lin, J., et al.: A Compiler Framework for Speculative Analysis and Optimizations. In: Conf. on Programming Language Design and Implementation, June, pp. 289-299 (2003)","DOI":"10.1145\/781131.781164"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Mock, M., et al.: Dynamic Points-to Sets: A Comparison with Static Analyses and Potential Applications in Program Understanding and Optimization. In: Wksp. on Program Analysis for Software Tools and Engineering, June, pp. 66-72 (2001)","DOI":"10.1145\/379605.379671"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Mock, M., et al.: Improving Program Slicing with Dynamic Points-to Data. In: Intl. Symp. on Foundations of Software Engineering, November, pp. 71-80 (2002)","DOI":"10.1145\/587051.587062"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Nystrom, E.M., Kim, H.-S., Hwu, W.-M.: Importance of Heap Specialization in Pointer Analysis. In: Wksp. on Program Analysis for Software Tools and Engineering, June, pp. 43-48 (2004)","DOI":"10.1145\/996821.996836"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Nystrom, E.M., Kim, H.-S., Hwu, W.-M.: Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis. In: Intl. Static Analysis Symp., August, pp. 165-180 (2004)","DOI":"10.1007\/978-3-540-27864-1_14"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Ramalingam, G.: Data Flow Frequency Analysis. In: Conf. on Programming Language Design and Implementation, May, pp. 267-277 (1996)","DOI":"10.1145\/231379.231433"},{"key":"15_CR20","unstructured":"Rugina, R., Rinard, M.: Span: A shape and Pointer Analysis Package. Technical report, M.I.T. LCSTM-581 (June 1998)"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Rugina, R., Rinard, M.: Pointer Analysis for Multithreaded Programs. In: Conf. on Programming Language Design and Implementation, May, pp. 77-90 (1999)","DOI":"10.1145\/301618.301645"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Parametric Shape Analysis via 3-valued Logic. In: Symp. on Principles of Programming Languages, January, pp. 105-118 (1999)","DOI":"10.1145\/292540.292552"},{"key":"15_CR23","unstructured":"Standard Performance Evaluation Corporation. www.spec.org\/cpu2000"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Steensgaard, B.: Points-to Analysis in Almost Linear Time. In: Symp. on Principles of Programming Languages, January, pp. 32-41 (1996)","DOI":"10.1145\/237721.237727"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Wilson, R.P., Lam, M.S.: Efficient Context-Sensitive Pointer Analysis for C Programs. In: Conf. on Programming Language Design and Implementation, June, pp. 1-12 (1995)","DOI":"10.1145\/207110.207111"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72521-3_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:34:12Z","timestamp":1605764052000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72521-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540725206","9783540725213"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72521-3_15","relation":{},"subject":[]}}