{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:09:56Z","timestamp":1725548996056},"publisher-location":"Berlin, Heidelberg","reference-count":29,"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_11","type":"book-chapter","created":{"date-parts":[[2005,12,15]],"date-time":"2005-12-15T05:39:40Z","timestamp":1134625180000},"page":"157-171","source":"Crossref","is-referenced-by-count":6,"title":["An Empirical Study on the Granularity of Pointer Analysis in C Programs"],"prefix":"10.1007","author":[{"given":"Tong","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei-Chung","family":"Hsu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pen-Chung","family":"Yew","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Chase, D.R., Wegman, M., Zadeck, F.K.: Analysis of pointers and structures. In: Proceedings of SIGPLAN 1990 Conference on Programming Language Design and Implementation, pp. 296\u2013310 (June 1990)","DOI":"10.1145\/93542.93585"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Landi, W., Ryder, B.G.: A safe approximate algorithm for interprocedural pointer aliasing. In: Proceedings of the SIGPLAN 1992 Conference on Programming Language Design and Implementation, July 1992, pp. 235\u2013248 (1992)","DOI":"10.1145\/143095.143137"},{"key":"11_CR3","unstructured":"Tang, X., Ghiya, R., Hendren, L.J., Gao, G.R.: Heap analysis and optimizations for threaded programs. In: Proc. of the 1997 Conf. on Parallel Architectures and Compilation Techniques (November 1997)"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Choi, Burke, M., Carini, P.: Efficient flow-sensitive interprocedural computation of pointer-induced aliases and sife-effects. In: Proceedings of the ACM 20th Symposium on Principles of Programming Languages, January 1993, pp. 232\u2013245 (1993)","DOI":"10.1145\/158511.158639"},{"key":"11_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: Proceedings of the ACM SIGPLAN 1994 Conference on Programming Language Design and Implementation, June 1994, pp. 242\u2013256 (1994)","DOI":"10.1145\/178243.178264"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Heintze, N., Tardieu, O.: Demand-Driven Pointer Analysis. In: ACM SIGPLAN Conference on programming Language Design and Implementation 2001 (2001)","DOI":"10.1145\/378795.378802"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Wilson, R.P., Lam, M.S.: Efficient context-sensitive pointer analysis for C programs. In: Proceedings of the ACM SIGPLAN 1995 Conference on Programming Language Design and Implementation, June 1995, pp. 1\u201312 (1995)","DOI":"10.1145\/207110.207111"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Steensgaard, B.: Points-to analysis in almost linear time. In: Conference Record of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, January 1996, pp. 32\u201341 (1996)","DOI":"10.1145\/237721.237727"},{"key":"11_CR9","unstructured":"Zheng, B.: Integrating scalar analyses and optimizations in a parallelizing and optimizing compiler. PhD thesis (February 2000)"},{"key":"11_CR10","unstructured":"Cheng, B.-C.: Compile-time memory disambiguation for C programs. PhD. Thesis (2000)"},{"issue":"1","key":"11_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0167-6423(00)00014-9","volume":"39","author":"M. Hind","year":"2001","unstructured":"Hind, M., Pioli, A.: Evaluating the effectiveness of Pointer Alias Analysis. Science of Computer Programming\u00a039(1), 31\u201335 (2001)","journal-title":"Science of Computer Programming"},{"key":"11_CR12","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: Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, June 2001, pp. 47\u201358 (2001)","DOI":"10.1145\/378795.378806"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Mock, M., Das, M., Chambers, C., Eggers, S.J.: Dynamic Points-to Sets: A Comparison with Static Analyses and Potential Applications in Program Understanding and Optimzation. In: ACM SIGPLAN-SIGSOFT Workshop on Program Analysis 14for Software tools and Engineering (June 2001)","DOI":"10.1145\/379605.379671"},{"key":"11_CR14","unstructured":"Ju, R., Chan, S., Wu, C.: Open Research Compiler for the Itanium Family. Tutorial at the 34th Annual International Symposium on Microarchitecture"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Jones, N.D., Muchnick, S.S.: A Flexible Approach to Interprocedural Flow Analysis and Programs with Recursive Data Structures. In: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1982)","DOI":"10.1145\/582153.582161"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Zhang, S., Ryder, B.G., Landi, W.: Program decomposition for pointer aliasing: A step towards practical analyses. In: Proceedings of the 4th Symposium on the Foundations of Software Engineering (October 1996)","DOI":"10.1145\/239098.239112"},{"key":"11_CR17","unstructured":"Chen, T., Lin, J., Hsu, W.-C., Yew, P.-C.: On the Impact of Naming Methods for Heap-Oriented Pointers in C Programs. In: International Symposium on Parallel Architectures, Algorithms, and Networks (2002)"},{"key":"11_CR18","unstructured":"Spec CPU 2000, http:\/\/www.specbench.org\/osg\/cpu2000\/"},{"key":"11_CR19","unstructured":"Gao, G.R., Amaral, J.N., Dehnert, J., Towle, R.: The SGI Pro64 compiler infrastructure: A tutorial. Tutorial presented at the International Conference on Parallel Architecture and Compilation Techniques (October 2000)"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Chow, F., Lo, R., Liu, S.-M., Chan, S., Streich, M.: Effective Representation of Aliases and Indirect Memory Operations in SSA Form. In: Proc. of 6th Int\u2019l Conf. on Compiler Construction, pp. 253\u2013257 (April 1996)","DOI":"10.1007\/3-540-61053-7_66"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032731","volume-title":"Static Analysis","author":"M. Shapiro","year":"1997","unstructured":"Shapiro, M., Horwitz, S.: The effects of the precision of pointer analysis. In: Van Hentenryck, P. (ed.) SAS 1997. LNCS, vol.\u00a01302. Springer, Heidelberg (1997)"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Chow, F., Chan, S., Kennedy, R., Liu, S.-M., Lo, R., Tu, P.: A new algorithm for partial redundancy elimination based on SSA form. In: Proc. of SIGPLAN 1997 Conference on Programming Language Design and Implementation, May 1997, pp. 273\u2013286 (1997)","DOI":"10.1145\/258915.258940"},{"issue":"4","key":"11_CR23","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1023\/A:1018754616274","volume":"26","author":"M.E. Wolf","year":"1998","unstructured":"Wolf, M.E., Maydan, D.E., Chen, D.-K.: Combining Loop Transformations Considering Caches and Scheduling. Int\u2019l J. of Parallel Programming\u00a026(4), 479\u2013503 (1998)","journal-title":"Int\u2019l J. of Parallel Programming"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Diwan, A., McKinley, K.S., Eliot, J., Moss, B.: Type-Based Alias Analysis. In: SIGPLAN Conference on Programming Language Design and Implementation, June 1998, pp. 106\u2013117 (1998)","DOI":"10.1145\/277650.277670"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Yong, S.H., Horwitz, S., Reps, T.: Pointer Analysis for Programs with Structures and Casting. In: SIGPLAN Conference on Programming Language Design and Implementation, vol.\u00a034, pp. 91\u2013103 (1999)","DOI":"10.1145\/301618.301647"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Ruf, E.: Context-Insensitive Alias Analysis Reconsidered. In: ACM SIGPLAN 1995 Conference on Programming Language Design and Implementation (PLDI 1995), La Jolla, California, June 1995, vol.\u00a030, pp. 13\u201322 (1995)","DOI":"10.1145\/207110.207112"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Choi, D., Burke, M.G., Carini, P.: Efficient flow-sensitive interprocedural computation of pointer induced aliases and side effects. In: Conference Record of the Twentieth Annual ACM Symposium on Principles of Programming Languages, January 1993, pp. 232\u2013245 (1993)","DOI":"10.1145\/158511.158639"},{"issue":"2","key":"11_CR28","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/383043.381532","volume":"23","author":"B.G. Ryder","year":"2001","unstructured":"Ryder, B.G., Landi, W.A., Stocks, P.A., Zhang, S., Altucher, R.: A Scheme for Interprocedural Modification Side-Effect Analysis with Pointer Aliasing. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a023(2), 105\u2013186 (2001)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"11_CR29","unstructured":"Hind, M., Pioli, A.: An Empirical Comparison of Interprocedural Pointer Alias Analyses. IBM Report #21058 (December 1997)"}],"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_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T15:54:52Z","timestamp":1586620492000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11596110_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540307815","9783540316121"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11596110_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}