{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T05:55:21Z","timestamp":1770270921827,"version":"3.49.0"},"reference-count":39,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T00:00:00Z","timestamp":1709337600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T00:00:00Z","timestamp":1709337600000},"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":[[2024,3,2]]},"DOI":"10.1109\/cgo57630.2024.10444884","type":"proceedings-article","created":{"date-parts":[[2024,2,28]],"date-time":"2024-02-28T18:47:35Z","timestamp":1709146055000},"page":"296-307","source":"Crossref","is-referenced-by-count":4,"title":["Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-Sensitivity Optimizations"],"prefix":"10.1109","author":[{"given":"Haofeng","family":"Li","sequence":"first","affiliation":[{"name":"SKLP, Institute of Computing Technology, CAS,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie","family":"Lu","sequence":"additional","affiliation":[{"name":"SKLP, Institute of Computing Technology, CAS,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haining","family":"Meng","sequence":"additional","affiliation":[{"name":"SKLP, Institute of Computing Technology, CAS,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liqing","family":"Cao","sequence":"additional","affiliation":[{"name":"SKLP, Institute of Computing Technology, CAS,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lian","family":"Li","sequence":"additional","affiliation":[{"name":"SKLP, Institute of Computing Technology, CAS,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lin","family":"Gao","sequence":"additional","affiliation":[{"name":"TianqiSoft Inc,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594299"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ase.2019.00034"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660357"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542486"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029907"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512539"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368112"},{"key":"ref9","first-page":"167","article-title":"Understanding and detecting evolution-induced compatibility issues in android apps","volume-title":"Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, ser. ASE 2018","author":"He","year":"2018"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3133923"},{"key":"ref11","article-title":"Boomerang: Demand-driven flow-and context-sensitive pointer analysis for java","volume-title":"30th European Conference on Object-Oriented Programming (ECOOP 2016)","author":"Sp\u00e4th","year":"2016"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_16"},{"issue":"1","key":"ref13","first-page":"8:1","article-title":"Program Tailoring: Slicing by Sequential Criteria (Artifact)","volume":"2","author":"Tan","year":"2016","journal-title":"Dagstuhl Artifacts Series"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11970-5_8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635878"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.61"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CGO51591.2021.9370311"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/icse43902.2021.00102"},{"issue":"C","key":"ref19","article-title":"Bidirectionality in flow-sensitive demand-driven analysis","volume":"190","author":"Jaiswal","year":"2020","journal-title":"Sci. Comput. Program."},{"key":"ref20","volume-title":"F-droid","year":"2019"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2259051.2259052"},{"key":"ref22","volume-title":"Flowdroid-github","year":"2019"},{"key":"ref23","volume-title":"Droidbench 2.0","year":"2017"},{"issue":"1","key":"ref24","first-page":"12:1","article-title":"Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact)","volume":"2","author":"Spath","year":"2016","journal-title":"Dagstuhl Artifacts Series"},{"issue":"1","key":"ref25","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/0304-3975(96)00072-2","article-title":"Precise interprocedural dataflow analysis with applications to constant propagation","volume":"167","author":"Sagiv","year":"1996","journal-title":"Theoretical Computer Science"},{"key":"ref26","volume-title":"Wala: T.j. watson libraries","year":"2020"},{"key":"ref27","article-title":"The Soot framework for Java program analysis: a retrospective","volume-title":"Cetus Users and Compiler Infrastructure Workshop (CETUS 2011)","author":"Lam","year":"2011"},{"key":"ref28","volume-title":"Llvm framework","year":"2020"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2259051.2259052"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17465-1_22"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884816"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/773473.178263"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1290520.1290521"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1109\/ASE.2015.9","article-title":"Access-path abstraction: Scaling field-sensitive data-flow analysis with unbounded access paths","volume-title":"IEEE\/ACM International Conference on Automated Software Engineering (ASE 2015)","author":"Lerch","year":"2015"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23089"},{"key":"ref36","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1145\/3196398.3196433","article-title":"Leveraging historical versions of android apps for efficient and precise taint analysis","volume-title":"Proceedings of the 15th International Conference on Mining Software Repositories","author":"Cai","year":"2018"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.48"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2614628.2614633"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236029"}],"event":{"name":"2024 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","location":"Edinburgh, United Kingdom","start":{"date-parts":[[2024,3,2]]},"end":{"date-parts":[[2024,3,6]]}},"container-title":["2024 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10444766\/10444770\/10444884.pdf?arnumber=10444884","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T05:48:53Z","timestamp":1709272133000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10444884\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,2]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/cgo57630.2024.10444884","relation":{},"subject":[],"published":{"date-parts":[[2024,3,2]]}}}