{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:28:30Z","timestamp":1742383710642},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540040293"},{"type":"electronic","value":"9783540357674"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-35767-x_19","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T03:19:15Z","timestamp":1187234355000},"page":"290-305","source":"Crossref","is-referenced-by-count":7,"title":["Probabilistic Points-to Analysis"],"prefix":"10.1007","author":[{"given":"Yuan-Shin","family":"Hwang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng-Sheng","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jenq Kuen","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roy Dz-Ching","family":"Ju","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Michael Burke, Paul Carini, Jong-Deok Choi, and Michael Hind. Flow-insensitive interprocedural alias analysis in the presence of pointers. In Proceedings of the 8th International Workshop on Languages and Compilers for Parallel Computing, Columbus, Ohio, August 1995.","DOI":"10.1007\/BFb0025882"},{"key":"19_CR2","unstructured":"Tim Callahan and John Wawrzynek. Simple profiling system for suif. In Proceedings of the First SUIF Compiler Workshop, January 1996."},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"M. C. Carlisle and A. Rogers. Software caching and computation migration in olden. In Proceedings of ACM SIGPLAN Conference on Principles and Practice of Parallel Programming, pages 29\u201339, July 1995.","DOI":"10.1145\/209936.209941"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Jong-Deok Choi, Michael Burke, and Paul Carini. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In Conference Record of the Twentieth Annual ACMSIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 232\u2013245, Charleston, South Carolina, January 1993.","DOI":"10.1145\/158511.158639"},{"key":"19_CR5","unstructured":"Intel Corporation. IA-64 Application Developer\u2019s Architecture Guide. 1999."},{"issue":"5","key":"19_CR6","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/358438.349309","volume":"35","author":"M. Das","year":"2000","unstructured":"Manuvir Das. Unification-based pointer analysis with directional assignments. SIGPLAN Notices, 35(5):35\u201346, May 2000. Proceedings of the ACM SIGPLAN\u2019 00 Conference on Programming Language Design and Implementation.","journal-title":"SIGPLAN Notices"},{"issue":"6","key":"19_CR7","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1145\/773473.178263","volume":"29","author":"A. Deutsch","year":"1994","unstructured":"Alain Deutsch. Interprocedural May-Alias analysis for pointers: Beyond k-limiting. SIGPLAN Notices, 29(6):230\u2013241, June 1994. Proceedings of the ACM SIGPLAN\u2019 94 Conference on Programming Language Design and Implementation.","journal-title":"SIGPLAN Notices"},{"issue":"6","key":"19_CR8","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/773473.178264","volume":"29","author":"M. Emami","year":"1994","unstructured":"Maryam Emami, Rakesh Ghiya, and Laurie J. Hendren. Context-sensitive interprocedural Points-to analysis in the presence of function pointers. SIGPLAN Notices, 29(6):242\u2013256, June 1994. Proceedings of the ACM SIGPLAN\u2019 94 Conference on Programming Language Design and Implementation.","journal-title":"SIGPLAN Notices"},{"key":"19_CR9","unstructured":"The Stanford SUIF Compiler Group. The suif library. Technical report, Stanford University, 1995."},{"key":"19_CR10","unstructured":"M.S. Hecht. Flow Analysis of Computer Programs. Elsevier North-Holland, 1977."},{"key":"19_CR11","unstructured":"R. D.C. Ju, J.-F. Collard, and K. Oukbir. Probabilistic memory disambiguation and its application to data speculation. In Proceedings of the 3rd Workshop on Interaction between Compilers and Computer Architecture, Oct 1998."},{"issue":"7","key":"19_CR12","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/143103.143137","volume":"27","author":"W. Landi","year":"1992","unstructured":"William Landi and Barbara G. Ryder. A safe approximate algorithm for interprocedural pointer aliasing. SIGPLAN Notices, 27(7):235\u2013248, July 1992. Proceedings of the ACM SIGPLAN\u2019 92 Conference on Programming Language Design and Implementation.","journal-title":"SIGPLAN Notices"},{"key":"19_CR13","unstructured":"Jenq Kuen Lee, Dan Ho, and Yue-Chee Chuang. Data distribution analysis and optimization for pointer-based distributed programs. In Proceedings of the 26th International Conference on Parallel Proces sing (ICPP), Bloomingdale, IL, August 1997."},{"key":"19_CR14","unstructured":"Steven S. Muchnick. Advanced Compiler Design & Implementation. Morgen Kaufmann, 1997."},{"issue":"5","key":"19_CR15","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1145\/249069.231433","volume":"31","author":"G. Ramalingam","year":"1996","unstructured":"G. Ramalingam. Data flow frequency analysis. SIGPLAN Notices, 31(5):267\u2013277, May 1996. Proceedings of the ACM SIGPLAN\u2019 96 Conference on Programming Language Design and Implementation.","journal-title":"SIGPLAN Notices"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Thomas Reps, Susan Horwitz, and Mooly Sagiv. Precise interprocedural dataflow analysis via graph reachability. In Conference Record of POPL\u2019 95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 49\u201361, San Francisco, California, January 1995.","DOI":"10.1145\/199448.199462"},{"issue":"6","key":"19_CR17","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/223428.207112","volume":"30","author":"E. Ruf","year":"1995","unstructured":"Erik Ruf. Context-insensitive alias analysis reconsidered. SIGPLAN Notices, 30(6):13\u201322, June 1995. Proceedings of the ACM SIGPLAN\u2019 95 Conference on Programming Language Design and Implementation.","journal-title":"SIGPLAN Notices"},{"issue":"5","key":"19_CR18","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/301631.301645","volume":"34","author":"R. Rugina","year":"1999","unstructured":"Radu Rugina and Martin Rinard. Pointer analysis for multithreaded programs. SIGPLAN Notices, 34(5):77\u201390, May 1999. Proceedings of the ACM SIGPLAN\u2019 99 Conference on Programming Language Design and Implementation.","journal-title":"SIGPLAN Notices"},{"issue":"3","key":"19_CR19","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1145\/27632.27649","volume":"18","author":"B. G. Ryder","year":"1986","unstructured":"B. G. Ryder and M. C. Paull. Elimination algorithms for data flow analysis. ACM Computing Surveys, 18(3):277\u2013316, September 1986.","journal-title":"ACM Computing Surveys"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Marc Shapiro and Susan Horwitz. Fast and accurate flow-insensitive points-to analysis. In Conference Record of POPL\u2019 97: 24nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 1\u201314, Paris, France, January 1997.","DOI":"10.1145\/263699.263703"},{"key":"19_CR21","unstructured":"Michael D. Smith. The suif machine library. Technical report, Division of of Engineering and Applied Science, Harvard University, March 1998."},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Bjarne Steensgaard. Points-to analysis in almost linear time. In Conference Record of POPL\u2019 96: 23nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 32\u201341, St. Petersburg Beach, Florida, January 1996.","DOI":"10.1145\/237721.237727"},{"issue":"6","key":"19_CR23","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/773473.178251","volume":"29","author":"T. A. Wagner","year":"1994","unstructured":"Tim A. Wagner, Vance Maverick, Susan L. Graham, and Michael A. Harrison. Accurate static estimators for program optimization. SIGPLAN Notices, 29(6):85\u201396, June 1994. Proceedings of the ACM SIGPLAN\u2019 94 Conference on Programming Language Design and Implementation.","journal-title":"SIGPLAN Notices"},{"issue":"6","key":"19_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/223428.207111","volume":"30","author":"R. P. Wilson","year":"1995","unstructured":"Robert P. Wilson and Monica S. Lam. Efficient context-sensitive pointer analysis for C programs. SIGPLAN Notices, 30(6):1\u201312, June 1995. Proceedings of the ACM SIGPLAN\u2019 95 Conference on Programming Language Design and Implementation.","journal-title":"SIGPLAN Notices"},{"issue":"5","key":"19_CR25","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/301631.301647","volume":"34","author":"S. H. Yong","year":"1999","unstructured":"Suan Hsi Yong, Susan Horwitz, and Thomas Reps. Pointer analysis for programs with structures and casting. SIGPLAN Notices, 34(5):91\u2013103, May 1999. Proceedings of the ACM SIGPLAN\u2019 99 Conference on Programming Language Design and Implementation.","journal-title":"SIGPLAN Notices"}],"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\/3-540-35767-X_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T17:13:17Z","timestamp":1550769197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-35767-X_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540040293","9783540357674"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-35767-x_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}