{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T02:34:34Z","timestamp":1769654074838,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":65,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,1,28]]},"DOI":"10.1145\/3771775.3786270","type":"proceedings-article","created":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T14:46:23Z","timestamp":1769611583000},"page":"180-193","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["HORIZON: Estimating Alias Analysis Precision Bounds and Their Impact on Performance"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6950-1055","authenticated-orcid":false,"given":"Khushboo","family":"Chitre","sequence":"first","affiliation":[{"name":"IIIT, New Delhi, India"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9569-4089","authenticated-orcid":false,"given":"Piyus","family":"Kedia","sequence":"additional","affiliation":[{"name":"IIIT, New Delhi, India"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8677-0601","authenticated-orcid":false,"given":"Rahul","family":"Purandare","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, Lincoln, USA"}]}],"member":"320","published-online":{"date-parts":[[2026,1,28]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2007 (accessed Sep 6 2025). Splash 2 benchmark suite. http:\/\/web.archive.org\/web\/20070704172333\/http:\/\/www-flash.stanford.edu\/apps\/SPLASH\/splash2.tar.gz"},{"key":"e_1_3_2_1_2_1","unstructured":"2011. A Memo on Exploration of SPLASH-2 Input Sets."},{"key":"e_1_3_2_1_3_1","unstructured":"2017 (accessed Sep 6 2025). Intel 64 and IA32 Architectures Performance Monitoring Events. https:\/\/software.intel.com\/content\/www\/us\/en\/develop\/download\/intel-64-and-ia32-architectures-performance-monitoring-events.html"},{"key":"e_1_3_2_1_4_1","unstructured":"2021 (accessed Feb 26 2021). LLVM Alias analysis Infrastructure. https:\/\/llvm.org\/docs\/AliasAnalysis.html"},{"key":"e_1_3_2_1_5_1","unstructured":"2025 (accessed Apr 12 2025). Runtime Checks of Pointers. https:\/\/llvm.org\/docs\/Vectorizers.html##runtime-checks-of-pointers"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","unstructured":"2025 (accessed Dec 20 2025). Horizon Artifact DOI. https:\/\/doi.org\/10.5281\/zenodo.17999887 10.5281\/zenodo.17999887","DOI":"10.5281\/zenodo.17999887"},{"key":"e_1_3_2_1_7_1","unstructured":"2025 (accessed Dec 20 2025). Horizon Artifact Github Repository. https:\/\/github.com\/khushboochitre\/artifact_horizon.git"},{"key":"e_1_3_2_1_8_1","unstructured":"2025 (accessed Sep 6 2025). Polybench benchmark suite. https:\/\/sourceforge.net\/projects\/polybench\/"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451136"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814285"},{"key":"e_1_3_2_1_11_1","unstructured":"Lars Ole Andersen and Peter Lee. 2005. Program Analysis and Specialization for the C Programming Language. https:\/\/api.semanticscholar.org\/CorpusID:20876553"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/645672.665558"},{"key":"e_1_3_2_1_13_1","volume-title":"International Conference on Compiler Construction. 57\u201372","author":"Chen Tong","year":"2004","unstructured":"Tong Chen, Jin Lin, Xiaoru Dai, Wei-Chung Hsu, and Pen-Chung Yew. 2004. Data dependence profiling for speculative optimizations. In International Conference on Compiler Construction. 57\u201372. https:\/\/api.semanticscholar.org\/CorpusID:29714270"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563316"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563316"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158639"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"R. Chowdhury Peter Djeu B. Cahoon J. Burrill and K. McKinley. 2004. The Limits of Alias Analysis for Scalar Optimizations. In CC.","DOI":"10.1007\/978-3-540-24723-4_3"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75282"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168908"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349309"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277670"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178264"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2002.1106020"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/800230.806987"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250767"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/2391451.2391470"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480911"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2011.5764696"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378855"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379665"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/325478.325519"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/192007.192012"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3605573.3605644"},{"key":"e_1_3_2_1_34_1","volume-title":"Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision. ArXiv, abs\/1802.00932","author":"Jaiswal S.","year":"2018","unstructured":"S. Jaiswal, Uday P. Khedker, and Supratik Chakraborty. 2018. Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision. ArXiv, abs\/1802.00932 (2018), arxiv:1802.00932"},{"key":"e_1_3_2_1_35_1","volume-title":"Open Source Performance Analysis Environment for Linux. In In Proc. of the Linux Cluster Conference, Chapel.","author":"Kufrin Rick","year":"2005","unstructured":"Rick Kufrin. 2005. Perfsuite: An Accessible, Open Source Performance Analysis Environment for Linux. In In Proc. of the Linux Cluster Conference, Chapel."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/143095.143137"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250766"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781164"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/258915.258943"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379671"},{"key":"e_1_3_2_1_41_1","volume-title":"Proceedings of the 2004 GCC Developers Summit. 105\u2013118","author":"Naishlos Dorit","year":"2004","unstructured":"Dorit Naishlos. 2004. Autovectorization in GCC. In Proceedings of the 2004 GCC Developers Summit. 105\u2013118."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","unstructured":"Rupesh Nasre Kaushik Rajan R. Govindarajan and Uday Khedker. 2009. Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters. 47\u201362. isbn:978-3-642-10671-2 https:\/\/doi.org\/10.1007\/978-3-642-10672-9_6 10.1007\/978-3-642-10672-9_6","DOI":"10.1007\/978-3-642-10672-9_6"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","unstructured":"Erik Nystrom Hong-Seok Kim and Wen-mei Hwu. 2004. Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis. 165\u2013180. isbn:978-3-540-22791-5 https:\/\/doi.org\/10.1007\/978-3-540-27864-1_14 10.1007\/978-3-540-27864-1_14","DOI":"10.1007\/978-3-540-27864-1_14"},{"key":"e_1_3_2_1_44_1","unstructured":"ERIK MATTHEW NYSTROM. 2012. FULCRA Pointer Analysis Framework. http:\/\/impact.crhc.illinois.edu\/paper_details.aspx?paper_id=34"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3620666.3651340"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1290520.1290524"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:SQJO.0000039791.93071.a2"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.9"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385962"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73562"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263703"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892225"},{"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\/2854038.2854043"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2214"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/11688839_3"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3725214"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3729254"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207111"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/223982.223990"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491439"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328464"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065798"}],"event":{"name":"CC '26: 35th ACM SIGPLAN International Conference on Compiler Construction","location":"Sydney NSW Australia","acronym":"CC '26","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3771775.3786270","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T14:47:22Z","timestamp":1769611642000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3771775.3786270"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,28]]},"references-count":65,"alternative-id":["10.1145\/3771775.3786270","10.1145\/3771775"],"URL":"https:\/\/doi.org\/10.1145\/3771775.3786270","relation":{},"subject":[],"published":{"date-parts":[[2026,1,28]]},"assertion":[{"value":"2026-01-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}