{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:04:15Z","timestamp":1750309455022,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":63,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Czech Science Foundation","award":["23-06506S"],"award-info":[{"award-number":["23-06506S"]}]},{"name":"Faculty of Information Technology, Brno University of Technology","award":["FIT-S-23-8151"],"award-info":[{"award-number":["FIT-S-23-8151"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,3]]},"DOI":"10.1145\/3696443.3708932","type":"proceedings-article","created":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T11:50:26Z","timestamp":1740225026000},"page":"347-361","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8846-922X","authenticated-orcid":false,"given":"David","family":"Kozak","sequence":"first","affiliation":[{"name":"Oracle Labs, Brno, Czech Republic"},{"name":"Brno University of Technology, Brno, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-3646-3663","authenticated-orcid":false,"given":"Codrut","family":"Stancu","sequence":"additional","affiliation":[{"name":"Oracle Labs, Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2746-8792","authenticated-orcid":false,"given":"Tom\u00e1\u0161","family":"Vojnar","sequence":"additional","affiliation":[{"name":"Masaryk University, Brno, Czech Republic"},{"name":"Brno University of Technology, Brno, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-3213-9306","authenticated-orcid":false,"given":"Christian","family":"Wimmer","sequence":"additional","affiliation":[{"name":"Work done while being a member of Oracle Labs, Redwood Shores, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_30"},{"volume-title":"Program Analysis and Specialization for the C Programming Language. Ph. D. Dissertation","author":"Andersen Lars Ole","key":"e_1_3_2_1_2_1","unstructured":"Lars Ole Andersen. 1994. Program Analysis and Specialization for the C Programming Language. Ph. D. Dissertation. University of Copenhagen."},{"key":"e_1_3_2_1_3_1","volume-title":"Gomard","author":"Andersen Lars Ole","year":"1992","unstructured":"Lars Ole Andersen and Carsten K. Gomard. 1992. Speedup Analysis in Partial Evaluation: Preliminary results. In Partial Evaluation and Semantics-Based Program Manipulation (PEPM\u201992)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594299"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/236338.236371"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485547"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985827"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454099"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250789"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/201059.201061"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"volume-title":"Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis. ECOOP \u201995","author":"Dean Jeffrey","key":"e_1_3_2_1_14_1","unstructured":"Jeffrey Dean, David Grove, and Craig Chambers. 1995. Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis. ECOOP \u201995. Springer-Verlag, Berlin, Heidelberg. 77\u2013101. isbn:3540601600"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081742"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(98)10058-4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.005"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2022.30"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/325478.325519"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1251535.1251537"},{"key":"e_1_3_2_1_21_1","volume-title":"WALA: T.J. Watson Libraries for Analysis","author":"IBM.","year":"2020","unstructured":"IBM. 2020. WALA: T.J. Watson Libraries for Analysis. http:\/\/wala.sourceforge.net\/"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462191"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","unstructured":"David Kozak Stancu Codrut Christian Wimmer and Tomas Vojnar. 2024. SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges - Artifact. https:\/\/doi.org\/10.5281\/zenodo.10900903 10.5281\/zenodo.10900903","DOI":"10.5281\/zenodo.10900903"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","unstructured":"David Kozak Codrut Stancu Tom\u00e1\u0161 Vojnar and Christian Wimmer. 2025. SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges. https:\/\/doi.org\/10.48550\/arXiv.2501.19150 10.48550\/arXiv.2501.19150","DOI":"10.48550\/arXiv.2501.19150"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.53"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36579-6_12"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391984.1391987"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025160"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276511"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2016.15"},{"key":"e_1_3_2_1_32_1","unstructured":"Tim Lindholm Frank Yellin Gilad Bracha Alex Buckley and Daniel Smith. 2023. The Java Virtual Machine Specification Java SE 21 Edition. https:\/\/docs.oracle.com\/javase\/specs\/jvms\/se21\/html\/index.html"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192390"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2644805"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940114"},{"volume-title":"Proceedings of the USENIX Security Symposium. USENIX.","author":"Benjamin Livshits V.","key":"e_1_3_2_1_36_1","unstructured":"V. Benjamin Livshits and Monica S. Lam. 2005. Finding Security Vulnerabilities in Java Applications with Static Analysis. In Proceedings of the USENIX Security Symposium. USENIX."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360574"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.04.012"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566174"},{"key":"e_1_3_2_1_40_1","unstructured":"Oracle. 2023. Micronaut MuShop. https:\/\/github.com\/oracle-quickstart\/oci-micronaut\/"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93578"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314637"},{"key":"e_1_3_2_1_43_1","unstructured":"Quarkus. 2023. Extension Registry Application. https:\/\/github.com\/quarkusio\/registry.quarkus.io"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950312"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77220-0_25"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(96)00072-2"},{"volume-title":"Two approaches to interprocedural data flow analysis","author":"Sharir Micha","key":"e_1_3_2_1_48_1","unstructured":"Micha Sharir and Amir Pnueli. 1978. Two approaches to interprocedural data flow analysis. New York University. Courant Institute of Mathematical Sciences."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192418"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454086"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926390"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2754169.2754185"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237727"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/353171.353189"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377555.3377902"},{"key":"e_1_3_2_1_57_1","unstructured":"The Spring PetClinic Community. 2023. Open Source sample applications based on the Spring stack. https:\/\/spring-petclinic.github.io\/"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103136"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_1"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360610"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3656417"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544137.2544154"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178372.3179517"}],"event":{"name":"CGO '25: 23rd ACM\/IEEE International Symposium on Code Generation and Optimization","sponsor":["SIGPLAN SIGPLAN Programming Languages","SIGMICRO SIGMICRO Microarchitecture","IEEE Computer Society IEEE Computer Society"],"location":"Las Vegas NV USA","acronym":"CGO '25"},"container-title":["Proceedings of the 23rd ACM\/IEEE International Symposium on Code Generation and Optimization"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696443.3708932","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:10:13Z","timestamp":1750295413000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696443.3708932"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3]]},"references-count":63,"alternative-id":["10.1145\/3696443.3708932","10.1145\/3696443"],"URL":"https:\/\/doi.org\/10.1145\/3696443.3708932","relation":{},"subject":[],"published":{"date-parts":[[2025,3]]},"assertion":[{"value":"2025-03-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}