{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T02:34:29Z","timestamp":1769654069162,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":23,"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.3786268","type":"proceedings-article","created":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T14:46:23Z","timestamp":1769611583000},"page":"194-204","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Type Deduction Analysis: Reconstructing Transparent Pointer Types in LLVM-IR"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-6147-7551","authenticated-orcid":false,"given":"Niccol\u00f2","family":"Nicolosi","sequence":"first","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9729-5826","authenticated-orcid":false,"given":"Gabriele","family":"Magnani","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-8797-3193","authenticated-orcid":false,"given":"Emilio","family":"Corigliano","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-3112-9869","authenticated-orcid":false,"given":"Davide","family":"Baroffio","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1888-9579","authenticated-orcid":false,"given":"Federico","family":"Reghenzani","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0255-4475","authenticated-orcid":false,"given":"Giovanni","family":"Agosta","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,1,28]]},"reference":[{"key":"e_1_3_2_1_1_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_2_1","doi-asserted-by":"publisher","unstructured":"Anonymous. 2025. Type Deduction Analysis Supplementary Material. https:\/\/doi.org\/10.5281\/zenodo.17570563 10.5281\/zenodo.17570563","DOI":"10.5281\/zenodo.17570563"},{"key":"e_1_3_2_1_3_1","volume-title":"Recovering LLVM-IR type information using static analysis. Master\u2019s thesis","author":"Argyros Anargyros A","unstructured":"Anargyros A Argyros. 2024. Recovering LLVM-IR type information using static analysis. Master\u2019s thesis. University of Athene."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2016.2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","unstructured":"George Balatsouras and Yannis Smaragdakis. 2016. Structure-Sensitive Points-To Analysis for C and C++. 84\u2013104. isbn:978-3-662-53412-0 https:\/\/doi.org\/10.1007\/978-3-662-53413-7_5 10.1007\/978-3-662-53413-7_5","DOI":"10.1007\/978-3-662-53413-7_5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3660524"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.softx.2022.101238"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586303"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.suscom.2020.100478"},{"key":"e_1_3_2_1_10_1","unstructured":"Emilio Corigliano Davide Baroffio and Federico Reghenzani. 2025. Hardening mixed-criticality systems: a low-overhead compiler-based approach. Master\u2019s thesis. Politecnico di Milano."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/277652.277670"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/239912.239913"},{"key":"e_1_3_2_1_13_1","first-page":"2023","volume":"14882","year":"2023","unstructured":"2023. ISO\/IEC 14882:2023 \u2014 Programming languages \u2014 C++.","journal-title":"ISO\/IEC"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/143103.143137"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2025.3586025"},{"key":"e_1_3_2_1_17_1","volume-title":"Moses and Valentin Churavy","author":"William","year":"2020","unstructured":"William S. Moses and Valentin Churavy. 2020. Instead of Rewriting Foreign Code for Machine Learning, Automatically Synthesize Fast Gradients. CoRR, abs\/2010.01709 (2020), arXiv:2010.01709. arxiv:2010.01709"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/24.994913"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000014"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2016.2630270"},{"key":"e_1_3_2_1_22_1","volume-title":"International workshop on polyhedral compilation techniques (IMPACT). 1\u20135.","author":"Yuki Tomofumi","year":"2014","unstructured":"Tomofumi Yuki. 2014. Understanding polybench\/c 3.2 kernels. In International workshop on polyhedral compilation techniques (IMPACT). 1\u20135."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3728974"}],"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.3786268","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T14:46:30Z","timestamp":1769611590000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3771775.3786268"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,28]]},"references-count":23,"alternative-id":["10.1145\/3771775.3786268","10.1145\/3771775"],"URL":"https:\/\/doi.org\/10.1145\/3771775.3786268","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"}}]}}