{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T16:55:55Z","timestamp":1778604955063,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T00:00:00Z","timestamp":1740441600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"NSF","award":["CNS-2107010"],"award-info":[{"award-number":["CNS-2107010"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,2,25]]},"DOI":"10.1145\/3708493.3712679","type":"proceedings-article","created":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T17:02:04Z","timestamp":1740502924000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Enhancing Program Analysis with Deterministic Distinguishable Calling Context"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0855-2443","authenticated-orcid":false,"given":"Sungkeun","family":"Kim","sequence":"first","affiliation":[{"name":"Samsung Research, Seoul, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0400-1070","authenticated-orcid":false,"given":"Khanh","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Texas A&M University, College Station, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0016-6487","authenticated-orcid":false,"given":"Chia-Che","family":"Tsai","sequence":"additional","affiliation":[{"name":"Texas A&M University, College Station, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-8801-3080","authenticated-orcid":false,"given":"Jaewoo","family":"Lee","sequence":"additional","affiliation":[{"name":"Texas A&M University, College Station, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8145-815X","authenticated-orcid":false,"given":"Abdullah","family":"Muzahid","sequence":"additional","affiliation":[{"name":"Texas A&M University, College Station, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2590-698X","authenticated-orcid":false,"given":"Eun Jung","family":"Kim","sequence":"additional","affiliation":[{"name":"Texas A&M University, College Station, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,2,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1553"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064186"},{"key":"e_1_3_2_1_3_1","volume-title":"Program analysis and specialization for the C programming language. Ph. D. Dissertation. DIKU","author":"Andersen Lars Ole","unstructured":"Lars Ole Andersen. 1994. Program analysis and specialization for the C programming language. Ph. D. Dissertation. DIKU, University of Copenhagen."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/586094.586104"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384679"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 29th Annual IEEE\/ACM International Symposium on Microarchitecture. MICRO 29","author":"Ball Thomas","unstructured":"Thomas Ball and James R. Larus. 1996. Efficient path profiling. In Proceedings of the 29th Annual IEEE\/ACM International Symposium on Microarchitecture. MICRO 29. 46\u201357."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1125"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806599"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297035"},{"key":"e_1_3_2_1_10_1","volume-title":"Davide Balzarotti, Leonardo Querzoni, and Cristiano Giuffrida.","author":"Borrello Pietro","year":"2024","unstructured":"Pietro Borrello, Andrea Fioraldi, Daniele Cono D\u2019Elia, Davide Balzarotti, Leonardo Querzoni, and Cristiano Giuffrida. 2024. Predictive Context-sensitive Fuzzing. In NDSS."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2688500.2688502"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544137.2544164"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259016.2259033"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/NAECON49338.2021.9696310"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00046"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133992"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2003.1199328"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the ACM on Programming Languages, 4, OOPSLA","author":"Fl\u00fcckiger Olivier","year":"2020","unstructured":"Olivier Fl\u00fcckiger, Guido Chari, Ming-Ho Yee, Jan Je\u010dmen, Jakob Hain, and Jan Vitek. 2020. Contextual dispatch for function specialization. Proceedings of the ACM on Programming Languages, 4, OOPSLA (2020), 1\u201324."},{"key":"e_1_3_2_1_19_1","volume-title":"2011 IEEE International Parallel & Distributed Processing Symposium. 640\u2013651","author":"Gamblin Todd","year":"2011","unstructured":"Todd Gamblin, Martin Schulz, Bronis R de Supinski, Felix Wolf, and Brian JN Wylie. 2011. Reconciling sampling and direct instrumentation for unintrusive call-path profiling of MPI programs. In 2011 IEEE International Parallel & Distributed Processing Symposium. 640\u2013651."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250747"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2003.1191550"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591971.2592008"},{"key":"e_1_3_2_1_23_1","article-title":"WHISTLE: CPU Abstractions for Hardware and Software Memory Safety Invariants","author":"Kim Sungkeun","year":"2022","unstructured":"Sungkeun Kim, Farabi Mahmud, Jiayi Huang, Pritam Majumder, Chia-Che Tsai, Abdullah Muzahid, and Eun Jung Kim. 2022. WHISTLE: CPU Abstractions for Hardware and Software Memory Safety Invariants. IEEE Trans. Comput..","journal-title":"IEEE Trans. Comput.."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of Annual IEEE\/ACM International Symposium on Code Generation and Optimization. 120\u2013131","author":"Li Jianjun","year":"2014","unstructured":"Jianjun Li, Zhenjiang Wang, Chenggang Wu, Wei-Chung Hsu, and Di Xu. 2014. Dynamic and adaptive calling context encoding. In Proceedings of Annual IEEE\/ACM International Symposium on Code Generation and Optimization. 120\u2013131."},{"key":"e_1_3_2_1_26_1","unstructured":"libunwind. 2022. https:\/\/www.nongnu.org\/libunwind"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3527332"},{"key":"e_1_3_2_1_28_1","volume-title":"International Symposium on Code Generation and Optimization (CGO","author":"Liu Xu","year":"2011","unstructured":"Xu Liu and John Mellor-Crummey. 2011. Pinpointing data locality problems using data-centric analysis. In International Symposium on Code Generation and Optimization (CGO 2011). 171\u2013180."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378525"},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the 8th International Conference on Compiler Construction (CC \u201999)","author":"Melski David","unstructured":"David Melski and Thomas W. Reps. 1999. Interprocedural Path Profiling. In Proceedings of the 8th International Conference on Compiler Construction (CC \u201999). Springer-Verlag, Berlin, Heidelberg. 47\u201362. isbn:3540657177"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP48549.2020.00010"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640102"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","unstructured":"Flemming Nielson Hanne Nielson and Chris Hankin. 1999. Principles of Program Analysis. springer. isbn:978-3-642-08474-4 https:\/\/doi.org\/10.1007\/978-3-662-03811-6 10.1007\/978-3-662-03811-6","DOI":"10.1007\/978-3-662-03811-6"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the ACM on Programming Languages, 4, OOPSLA","author":"Poesia Gabriel","year":"2020","unstructured":"Gabriel Poesia and Fernando Magno Quint\u00e3o Pereira. 2020. Dynamic dispatch of context-sensitive optimizations. Proceedings of the ACM on Programming Languages, 4, OOPSLA (2020), 1\u201328."},{"key":"e_1_3_2_1_36_1","volume-title":"2016 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS). 101\u2013111","author":"Sakalis Christos","year":"2016","unstructured":"Christos Sakalis, Carl Leonardsson, Stefanos Kaxiras, and Alberto Ros. 2016. Splash-3: A properly synchronized benchmark suite for contemporary research. In 2016 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS). 101\u2013111."},{"key":"e_1_3_2_1_37_1","volume-title":"2005 USENIX Annual Technical Conference (USENIX ATC 05)","author":"Seward Julian","year":"2005","unstructured":"Julian Seward and Nicholas Nethercote. 2005. Using Valgrind to Detect Undefined Value Errors with Bit-Precision. In 2005 USENIX Annual Technical Conference (USENIX ATC 05). USENIX Association, Anaheim, CA. https:\/\/www.usenix.org\/conference\/2005-usenix-annual-technical-conference\/using-valgrind-detect-undefined-value-errors-bit"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813654"},{"key":"e_1_3_2_1_39_1","unstructured":"SPEC2017. 2017. SPEC releases major new CPU benchmark suite. https:\/\/www.spec.org\/cpu2017\/press\/release.html"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.562"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2989225.2989236"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00103"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.70"},{"key":"e_1_3_2_1_45_1","unstructured":"SVFGit. 2022. Static Value-Flow Analysis Framework. https:\/\/github.com\/SVF-tools\/SVF"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190268"},{"key":"e_1_3_2_1_47_1","volume-title":"Know your place: Selectively executing statements based on context","author":"Weidermann Ben","unstructured":"Ben Weidermann. 2007. Know your place: Selectively executing statements based on context. University of Texas at Austin."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037729"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2015.29"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544137.2544150"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC41405.2020.00034"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3524059.3532388"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302516.3307351"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134012"}],"event":{"name":"CC '25: 34th ACM SIGPLAN International Conference on Compiler Construction","location":"Las Vegas NV USA","acronym":"CC '25","sponsor":["SIGPLAN SIGPLAN Programming Languages"]},"container-title":["Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3708493.3712679","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3708493.3712679","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:09:54Z","timestamp":1750295394000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3708493.3712679"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,25]]},"references-count":54,"alternative-id":["10.1145\/3708493.3712679","10.1145\/3708493"],"URL":"https:\/\/doi.org\/10.1145\/3708493.3712679","relation":{},"subject":[],"published":{"date-parts":[[2025,2,25]]},"assertion":[{"value":"2025-02-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}