{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:01:43Z","timestamp":1750309303811,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,27]],"date-time":"2024-04-27T00:00:00Z","timestamp":1714176000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100005651","name":"Computing Research Association","doi-asserted-by":"publisher","award":["CNS-2127309"],"award-info":[{"award-number":["CNS-2127309"]}],"id":[{"id":"10.13039\/100005651","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,27]]},"DOI":"10.1145\/3620666.3651340","type":"proceedings-article","created":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T12:08:21Z","timestamp":1713960501000},"page":"561-576","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Kaleidoscope: Precise Invariant-Guided Pointer Analysis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-4602-7171","authenticated-orcid":false,"given":"Tapti","family":"Palit","sequence":"first","affiliation":[{"name":"Purdue University, West Lafayatte, United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2480-4487","authenticated-orcid":false,"given":"Pedro","family":"Fonseca","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayatte, United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,4,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ab - apache http server benchmarking tool. https:\/\/httpd.apache.org\/docs\/2.4\/programs\/ab.html."},{"key":"e_1_3_2_1_2_1","unstructured":"Arbitrary pointer arithmetic in musl. https:\/\/github.com\/bminor\/musl\/blob\/master\/src\/thread\/pthread_create.c#L127."},{"key":"e_1_3_2_1_3_1","unstructured":"Arbitrary pointer arithmetic in the linux kernel. https:\/\/elixir.bootlin.com\/linux\/latest\/source\/drivers\/net\/ethernet\/intel\/e100.c#L650."},{"key":"e_1_3_2_1_4_1","unstructured":"Clang: a c language family frontend for llvm. https:\/\/clang.llvm.org\/."},{"key":"e_1_3_2_1_5_1","unstructured":"Libevent: An event notification library. https:\/\/libevent.org\/."},{"key":"e_1_3_2_1_6_1","unstructured":"libmemcached: open source c\/c++ client library and tools for the mem-cached server. https:\/\/libmemcached.org\/libMemcached.html."},{"key":"e_1_3_2_1_7_1","unstructured":"Libpng: Png reference library. http:\/\/www.libpng.org\/pub\/png\/libpng.html."},{"key":"e_1_3_2_1_8_1","unstructured":"The llvm compiler infrastructure. https:\/\/llvm.org\/."},{"key":"e_1_3_2_1_9_1","unstructured":"Mbedtls: An open source portable easy to use readable and flexible ssl library. https:\/\/github.com\/Mbed-TLS\/mbedtls."},{"key":"e_1_3_2_1_10_1","unstructured":"Svf: Static value-flow analysis framework for source code. https:\/\/github.com\/SVF-tools\/SVF."},{"key":"e_1_3_2_1_11_1","volume-title":"Control-flow integrity principles, implementations, and applications. ACM Transactions on Information and System Security (TISSEC), 13(1):1--40","author":"Abadi Mart\u00edn","year":"2009","unstructured":"Mart\u00edn Abadi, Mihai Budiu, Ulfar Erlingsson, and Jay Ligatti. Control-flow integrity principles, implementations, and applications. ACM Transactions on Information and System Security (TISSEC), 13(1):1--40, 2009."},{"key":"e_1_3_2_1_12_1","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"Abubakar Muhammad","year":"2021","unstructured":"Muhammad Abubakar, Adil Ahmad, Pedro Fonseca, and Dongyan Xu. Shard: Fine-grained kernel specialization with context-aware hardening. In 30th USENIX Security Symposium (USENIX Security 21), 2021."},{"key":"e_1_3_2_1_13_1","first-page":"1","volume-title":"Proceedings of the 29th Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'24)","author":"Ahmad Adil","year":"2024","unstructured":"Adil Ahmad, Botong Ou, Congyu Liu, Xiaokuan Zhang, and Pedro Fonseca. Veil: A protected services framework for confidential virtual machines. In Proceedings of the 29th Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'24), pages 1-16, April 2024."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Ahmad Adil","year":"2023","unstructured":"Adil Ahmad, Alex Schultz, Byoungyoung Lee, and Pedro Fonseca. An extensible orchestration and protection framework for confidential cloud computing. In Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Jul 2023."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53413-7_5"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00043"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134020"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3052973.3052983"},{"key":"e_1_3_2_1_20_1","first-page":"23252342","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Chen Hongxu","year":"2020","unstructured":"Hongxu Chen, Shengjian Guo, Yinxing Xue, Yulei Sui, Cen Zhang, Yuekang Li, Haijun Wang, and Yang Liu. Muzz: Thread-aware grey-box fuzzing for effective bug hunting in multithreaded programs. In 29th USENIX Security Symposium (USENIX Security 20), pages 23252342, 2020."},{"key":"e_1_3_2_1_21_1","first-page":"1","volume-title":"International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment","author":"Das Dipanjan","year":"2022","unstructured":"Dipanjan Das, Priyanka Bose, Aravind Machiry, Sebastiano Mariani, Yan Shoshitaishvili, Giovanni Vigna, and Christopher Kruegel. Hybrid pruning: Towards precise pointer and taint analysis. In International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, pages 1--22. Springer, 2022."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/358438.349309"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3177153"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/773473.178264"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277667"},{"key":"e_1_3_2_1_26_1","volume-title":"14th USENIX Workshop on Offensive Technologies (WOOT 20)","author":"Fioraldi Andrea","year":"2020","unstructured":"Andrea Fioraldi, Dominik Maier, Heiko Ei\u00dffeldt, and Marc Heuse. AFL++: Combining incremental steps of fuzzing research. In 14th USENIX Workshop on Offensive Technologies (WOOT 20), 2020."},{"key":"e_1_3_2_1_27_1","first-page":"1749","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Ghavamnia Seyedhamed","year":"2020","unstructured":"Seyedhamed Ghavamnia, Tapti Palit, Shachee Mishra, and Michalis Polychronakis. Temporal system call specialization for attack surface reduction. In 29th USENIX Security Symposium (USENIX Security 20), pages 1749-1766, 2020."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3559366"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483549"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3600006.3613148"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250767"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1594834.1480911"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3088515.3088519"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/277652.277668"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833650"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32304-2_3"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276511"},{"key":"e_1_3_2_1_38_1","volume-title":"Rethinking incremental and parallel pointer analysis. ACM Transactions on Programming Languages and Systems (TOPLAS), 41(1):1--31","author":"Liu Bozhen","year":"2019","unstructured":"Bozhen Liu, Jeff Huang, and Lawrence Rauchwerger. Rethinking incremental and parallel pointer analysis. ACM Transactions on Programming Languages and Systems (TOPLAS), 41(1):1--31, 2019."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3575731"},{"key":"e_1_3_2_1_40_1","volume-title":"International Conference on Software Engineering (ICSE'22)","author":"Liu Peiming","year":"2022","unstructured":"Peiming Liu, Yanze Li, Brad Swain, and Jeff Huang. Pus: A fast and highly efficient solver for inclusion-based pointer analysis. In International Conference on Software Engineering (ICSE'22), 2022."},{"key":"e_1_3_2_1_41_1","first-page":"385","volume-title":"10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13)","author":"Nishtala Rajesh","year":"2013","unstructured":"Rajesh Nishtala, Hans Fugal, Steven Grimm, Marc Kwiatkowski, Herman Lee, Harry C Li, Ryan McElroy, Mike Paleczny, Daniel Peek, Paul Saab, et al. Scaling memcache at facebook. In 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13), pages 385-398, 2013."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00082"},{"key":"e_1_3_2_1_43_1","volume-title":"Paul HJ Kelly, and Chris Hankin. Efficient field-sensitive pointer analysis of c. ACM Transactions on Programming Languages and Systems (TOPLAS), 30(1):4-es","author":"Pearce David J","year":"2007","unstructured":"David J Pearce, Paul HJ Kelly, and Chris Hankin. Efficient field-sensitive pointer analysis of c. ACM Transactions on Programming Languages and Systems (TOPLAS), 30(1):4-es, 2007."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00056"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.9"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000014"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594320"},{"key":"e_1_3_2_1_48_1","volume-title":"30th European Conference on Object-Oriented Programming (ECOOP 2016","author":"Sp\u00e4th Johannes","year":"2016","unstructured":"Johannes Sp\u00e4th, Lisa Nguyen Quang Do, Karim Ali, and Eric Bodden. Boomerang: Demand-driven flow-and context-sensitive pointer analysis for java. In 30th European Conference on Object-Oriented Programming (ECOOP 2016). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2016."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237727"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409698"},{"key":"e_1_3_2_1_51_1","first-page":"1221","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Vahldiek-Oberwagner Anjo","year":"2019","unstructured":"Anjo Vahldiek-Oberwagner, Eslam Elnikety, Nuno O Duarte, Michael Sammler, Peter Druschel, and Deepak Garg. Erim: Secure, efficient in-process isolation with protection keys (mpk). In 28th USENIX Security Symposium (USENIX Security 19), pages 1221-1238, 2019."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/223428.207111"}],"event":{"name":"ASPLOS '24: 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture","SIGOPS ACM Special Interest Group on Operating Systems","SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"La Jolla CA USA","acronym":"ASPLOS '24"},"container-title":["Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3620666.3651340","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:42Z","timestamp":1750291422000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3620666.3651340"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,27]]},"references-count":52,"alternative-id":["10.1145\/3620666.3651340","10.1145\/3620666"],"URL":"https:\/\/doi.org\/10.1145\/3620666.3651340","relation":{},"subject":[],"published":{"date-parts":[[2024,4,27]]},"assertion":[{"value":"2024-04-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}