{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T07:10:31Z","timestamp":1750749031065},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,9,11]],"date-time":"2023-09-11T00:00:00Z","timestamp":1694390400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,9,11]],"date-time":"2023-09-11T00:00:00Z","timestamp":1694390400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9,11]]},"DOI":"10.1109\/ase56229.2023.00039","type":"proceedings-article","created":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T18:49:44Z","timestamp":1699469384000},"page":"736-747","source":"Crossref","is-referenced-by-count":1,"title":["Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis"],"prefix":"10.1109","author":[{"given":"Jingbo","family":"Lu","sequence":"first","affiliation":[{"name":"School of Computer Science and Engineering, UNSW,Sydney,Australia"}]},{"given":"Dongjie","family":"He","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, UNSW,Sydney,Australia"}]},{"given":"Wei","family":"Li","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, UNSW,Sydney,Australia"}]},{"given":"Yaoqing","family":"Gao","sequence":"additional","affiliation":[{"name":"Huawei Toronto Research Center,Toronto,Canada"}]},{"given":"Jingling","family":"Xue","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, UNSW,Sydney,Australia"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678880"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53413-7_24"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"journal-title":"Some directed graph algorithms and their application to pointer analysis","year":"2005","author":"pearce","key":"ref14"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509524"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36946-9_8"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1925805.1925818"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510046"},{"key":"ref1","first-page":"378","article-title":"Averroes: Whole-program analysis without the whole program","author":"ali","year":"0","journal-title":"European Conference on Object-Oriented Programming"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3140587.3062359"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3498720"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54434-1_33"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26529-2_25"},{"key":"ref24","first-page":"9","article-title":"Interprocedural side-effect analysis and optimisation in the presence of dynamic class loading","author":"nguyen","year":"2005","journal-title":"Proceedings of the Twenty-Eighth Australasian Conference on Computer Science - Volume 38 ser ACSC '05"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45306-7_3"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36579-6_12"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_30"},{"key":"ref20","first-page":"83","article-title":"Summary-based context-sensitive data-dependence analysis in presence of call-backs","author":"tang","year":"0","journal-title":"Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/11688839_2"},{"key":"ref21","first-page":"221","article-title":"Generating precise and con-cise procedure summaries","author":"yorsh","year":"0","journal-title":"Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2214"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27864-1_14"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250766"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1044834.1044835"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3276510"},{"key":"ref9","first-page":"598","article-title":"Tricorder: building a program analysis ecosystem","author":"sadowski","year":"2015","journal-title":"Proceedings of the International Conference on Software Engineering ICSE'94"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3276511"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926390"},{"key":"ref6","article-title":"Accelerating object-sensitive pointer analysis by exploiting object containment and reachability","author":"he","year":"0","journal-title":"35th European Conference on Object-Oriented Programming (ECOOP 2021)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3360574"}],"event":{"name":"2023 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2023,9,11]]},"location":"Luxembourg, Luxembourg","end":{"date-parts":[[2023,9,15]]}},"container-title":["2023 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10298258\/10298286\/10298468.pdf?arnumber=10298468","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,11]],"date-time":"2023-12-11T19:10:23Z","timestamp":1702321823000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10298468\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,11]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/ase56229.2023.00039","relation":{},"subject":[],"published":{"date-parts":[[2023,9,11]]}}}