{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T16:00:27Z","timestamp":1785340827739,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["RGPIN-2022-05114"],"award-info":[{"award-number":["RGPIN-2022-05114"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3794763.3794825","type":"proceedings-article","created":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T15:18:58Z","timestamp":1785338338000},"page":"379-389","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-8328-2783","authenticated-orcid":false,"given":"Ali","family":"Aman","sequence":"first","affiliation":[{"name":"Computer Science, University of Windsor, Windsor, Ontario, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1420-105X","authenticated-orcid":false,"given":"Muhammad","family":"Asaduzzaman","sequence":"additional","affiliation":[{"name":"Computer Science, University of Windsor, Windsor, Ontario, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3823-1771","authenticated-orcid":false,"given":"Shaowei","family":"Wang","sequence":"additional","affiliation":[{"name":"Computer Science, University of Manitoba, Winnipeg, Manitoba, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,29]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"2026. Flow. https:\/\/flow.org\/. Retrieved Jan 29 2026."},{"key":"e_1_3_3_1_3_2","unstructured":"2026. Jedi. https:\/\/jedi.readthedocs.io\/. Retrieved Jan 29 2026."},{"key":"e_1_3_3_1_4_2","unstructured":"2026. Mypy. https:\/\/mypy-lang.org\/. Retrieved Jan 29 2026."},{"key":"e_1_3_3_1_5_2","unstructured":"2026. Pyre. https:\/\/pyre-check.org\/. Retrieved Jan 29 2026."},{"key":"e_1_3_3_1_6_2","unstructured":"2026. Pyright. https:\/\/microsoft.github.io\/pyright\/. Retrieved Jan 29 2026."},{"key":"e_1_3_3_1_7_2","unstructured":"2026. Pytype. https:\/\/google.github.io\/pytype\/. Retrieved Jan 29 2026."},{"key":"e_1_3_3_1_8_2","unstructured":"2026. TypeScript. https:\/\/www.typescriptlang.org\/. Retrieved Jan 29 2026."},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385997"},{"key":"e_1_3_3_1_10_2","volume-title":"Program analysis and specialization for the C programming language","author":"Andersen L.\u00a0O.","year":"1994","unstructured":"L.\u00a0O. Andersen. 1994. Program analysis and specialization for the C programming language. Technical Report 148. DIKU, University of Copenhagen."},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/236337.236371"},{"key":"e_1_3_3_1_12_2","volume-title":"Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering (ASE) Workshops","author":"Cui S.","year":"2020","unstructured":"S. Cui, L. Zhao, X. Li, and J. Huang. 2020. PYInfer: deep learning semantic type inference for Python variables. In Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering (ASE) Workshops."},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49538-X_5"},{"key":"e_1_3_3_1_14_2","unstructured":"Y.\u00a0Zhang et al.2024. Generating Python type annotations from type inference. Commun. ACM (2024)."},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549114"},{"key":"e_1_3_3_1_16_2","unstructured":"L. Hastings. 2017. PEP 563: postponed evaluation of annotations. https:\/\/peps.python.org\/pep-0563\/. Retrieved Jan 29 2026."},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236051"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3473135"},{"key":"e_1_3_3_1_19_2","unstructured":"J. Lehtosalo. 2016. PEP 526: syntax for variable annotations. https:\/\/peps.python.org\/pep-0526\/. Retrieved Jan 29 2026."},{"key":"e_1_3_3_1_20_2","unstructured":"J. Lehtosalo and G. van Rossum. 2017. PEP 561: distributing and packaging type information. https:\/\/peps.python.org\/pep-0561\/. Retrieved Jan 29 2026."},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/MSR52588.2021.00079"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510124"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510038"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"crossref","unstructured":"Y. Peng C. Gao Z. Li D. Lo and M. Lyu. 2023. Generative type inference for Python. arXiv (2023).","DOI":"10.1109\/ASE56229.2023.00031"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"crossref","unstructured":"B.\u00a0C. Pierce and D.\u00a0N. Turner. 2000. Local type inference. ACM Transactions on Programming Languages and Systems 22 1 (2000) 1\u201344.","DOI":"10.1145\/345099.345100"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409715"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00146"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237727"},{"key":"e_1_3_3_1_29_2","first-page":"78","volume-title":"Proceedings of the ACM International Conference on Functional Programming (ICFP)","author":"Tobin-Hochstadt S.","year":"2008","unstructured":"S. Tobin-Hochstadt and M. Felleisen. 2008. Typed Racket: a practical gradual type system. In Proceedings of the ACM International Conference on Functional Programming (ICFP). 78\u201389."},{"key":"e_1_3_3_1_30_2","unstructured":"E. Traut and J. Zijlstra. 2023. PEP 695: type parameter syntax. https:\/\/peps.python.org\/pep-0695\/. Retrieved Jan 29 2026."},{"key":"e_1_3_3_1_31_2","unstructured":"G. van Rossum J. Lehtosalo and \u0141. Langa. 2014. PEP 484: type hints. https:\/\/peps.python.org\/pep-0484\/. Retrieved Jan 29 2026."},{"key":"e_1_3_3_1_32_2","unstructured":"A.\u00a0P.\u00a0S. Venkatesh R. L\u00e4mmel and E. Bodden. 2023. TypeEvalPy: a micro-benchmarking framework for Python type inference and checking. arXiv (2023)."},{"key":"e_1_3_3_1_33_2","unstructured":"Y. Wang. 2026. PySonar2. https:\/\/github.com\/yinwang0\/pysonar2. Retrieved Jan 29 2026."},{"key":"e_1_3_3_1_34_2","volume-title":"International Conference on Learning Representations (ICLR)","author":"Wei J.","year":"2020","unstructured":"J. Wei, M. Goyal, R. Jain, B. Nieuwenhuis, H. Madhyastha, P. Anderson, and I. Dillig. 2020. LambdaNet: probabilistic type inference using graph neural networks. In International Conference on Learning Representations (ICLR)."},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950343"}],"event":{"name":"ICPC '26: 34th IEEE\/ACM International Conference on Program Comprehension","location":"Rio de Janeiro , Brazil","acronym":"ICPC '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2026 34th IEEE\/ACM International Conference on Program Comprehension"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3794763.3794825","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T15:19:38Z","timestamp":1785338378000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3794763.3794825"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":34,"alternative-id":["10.1145\/3794763.3794825","10.1145\/3794763"],"URL":"https:\/\/doi.org\/10.1145\/3794763.3794825","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}