{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:43:41Z","timestamp":1725486221467},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540423140"},{"type":"electronic","value":"9783540477648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-47764-0_15","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T00:55:55Z","timestamp":1181609755000},"page":"260-278","source":"Crossref","is-referenced-by-count":20,"title":["Estimating the Impact of Scalable Pointer Analysis on Optimization"],"prefix":"10.1007","author":[{"given":"Manuvir","family":"Das","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ben","family":"Liblit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"F\u00e4hndrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jakob","family":"Rehof","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,4]]},"reference":[{"key":"15_CR1","unstructured":"L. Andersen. Program analysis and specialization for the C programming language. PhD thesis, DIKU, University of Copenhagen, May 1994. DIKU report 94\/19."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"B. Cheng and W. Hwu. Modular interprocedural pointer analysis using access paths: Design, implementation, and evaluation. In Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, 2000.","DOI":"10.1145\/349299.349311"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"R. Chatterjee, B. Ryder, and W. Landi. Relevant context inference. In 26th ACM SIGPLAN Symposium on Principles of Programming Languages, 1999.","DOI":"10.1145\/292540.292554"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"M. Das. Unification-based pointer analysis with directional assignments. In Proceedings of the SIGPLAN 2000 Conference on Programming Language Design and Implementation, 2000.","DOI":"10.1145\/349299.349309"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"A. Diwan, S. McKinley, and J. Eliot Moss. Type-based alias analysis. In Proceedings of the ACM SIGPLAN 98 Conference on Programming Language Design and Implementation, 1998.","DOI":"10.1145\/277650.277670"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"M. Emami, R. Ghiya, and L. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In Proceedings of the ACM SIGPLAN 94 Conference on Programming Language Design and Implementation, 1994.","DOI":"10.1145\/178243.178264"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"J. S. Foster, M. F\u00e4hndrich, and A. Aiken. Polymorphic versus monomorphic flow-insensitive points-to analysis for C. In Proceedings of the 7\u2019th International Static Analysis Symposium, 2000.","DOI":"10.1007\/978-3-540-45099-3_10"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"M. F\u00e4hndrich, J. Rehof, and M. Das. Scalable context-sensitive flow analysis using instantiation constraints. In Proceedings of the ACM Conference on Programming Language Design and Implementation, 2000.","DOI":"10.1145\/349299.349332"},{"issue":"2","key":"15_CR9","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/169701.169692","volume":"15","author":"F. Henglein","year":"1993","unstructured":"F. Henglein. Type inference with polymorphic recursion. ACM Trans. Program. Lang. Syst., 15(2):253\u2013289, 1993.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"15_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/3-540-49727-7_4","volume-title":"Fifth International Static Analysis Symposium, Pisa, Italy","author":"M. Hind","year":"1998","unstructured":"M. Hind and A. Pioli. Assessing the effects of flow-sensitivity on pointer alias analyses. In Fifth International Static Analysis Symposium, Pisa, Italy, number 1503 in LNCS, pages 57\u201381. Springer-Verlag, 1998."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"S. Horwitz, T. Reps, and M. Sagiv. Demand interprocedural dataflow analysis. In ACM SIGSOFT Symposium on the Foundations of Software Engineering, SIGSOFT Software Engineering Notes 20, 4, 1995.","DOI":"10.1145\/222132.222146"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"D. Liang and M. Harrold. Efficient points-to analysis for whole program analysis. In Proceedings of the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 1999.","DOI":"10.1145\/318774.318943"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"D. Liang and M. Harrold. Light-weight context recovery for efficient and accurate program analyses. In Proceedings of the 22nd International Conference on Software Engineering, June 2000.","DOI":"10.1145\/337180.337222"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"W. Landi and B. Ryder. A safe approximate algorithm for interprocedural pointer aliasing. In Proceedings of the ACM SIGPLAN 92 Conference on Programming Language Design and Implementation, 1992.","DOI":"10.1145\/143095.143137"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"M. Mock, C. Chambers, and S. J. Eggers. Calpa: A tool for automating selective dynamic compilation. In In 33rd Annual International Symposium on Microarchitecture, December 2000, (Micro-33), Monterrey, California, December 2000.","DOI":"10.1145\/360128.360158"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"J. Rehof and M. F\u00e4hndrich. Type-based flow analysis: From polymorphic subtyping to CFL-Reachability. In Proceedings of the 28th Annual ACM Symposium on Principles of Programming Languages, January 2001.","DOI":"10.1145\/360204.360208"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"T. Reps, S. Horwitz, and M. Sagiv. Precise interprocedural dataflow analysis via graph reachability. In Symposium on Principles of Programming Languages (POPL), San Francisco, California, 1995.","DOI":"10.1145\/199448.199462"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"A. Rountev, B. Ryder, and W. Landi. Data-flow analysis of program fragments. In Proceedings of the 7th European Software Engineering Conference and 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 1999.","DOI":"10.1007\/3-540-48166-4_15"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"E. Ruf. Context-sensitive alias analysis reconsidered. Proceedings of the ACM SIGPLAN 95 Conference on Programming Language Design and Implementation, 1995.","DOI":"10.1145\/207110.207112"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"E. Ruf. Effective synchronization removal for Java. In Proceedings of the SIGPLAN 2000 Conference on Programming Language Design and Implementation, 2000.","DOI":"10.1145\/349299.349327"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"M. Shapiro and S. Horwitz. The effects of the precision of pointer analysis. In LNCS 1302, 4th International Symposium on Static Analysis. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0032731"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"B. Steensgaard. Points-to analysis in almost linear time. In Conference Record of the 23rd ACM Symposium on Principles of Programming Languages, 1996.","DOI":"10.1145\/237721.237727"},{"issue":"3","key":"15_CR23","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121\u2013189, 1995.","journal-title":"Journal of Programming Languages"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"R. Wilson and M. Lam. Efficient context-sensitive pointer analysis for C programs. In Proceedings of the SIGPLAN 95 Conference on Programming Language Design and Implementation, 1995.","DOI":"10.1145\/207110.207111"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47764-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T21:56:44Z","timestamp":1587592604000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47764-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540423140","9783540477648"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-47764-0_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}