{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T10:07:52Z","timestamp":1770286072172,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":59,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,10]],"date-time":"2022-10-10T00:00:00Z","timestamp":1665360000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,10]]},"DOI":"10.1145\/3551349.3561150","type":"proceedings-article","created":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T20:43:54Z","timestamp":1672951434000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Static Type Recommendation for Python"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2966-9889","authenticated-orcid":false,"given":"Ke","family":"Sun","sequence":"first","affiliation":[{"name":"Peking University, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2035-0791","authenticated-orcid":false,"given":"Yifan","family":"Zhao","sequence":"additional","affiliation":[{"name":"Peking University, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8295-303X","authenticated-orcid":false,"given":"Dan","family":"Hao","sequence":"additional","affiliation":[{"name":"Peking University, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8304-7055","authenticated-orcid":false,"given":"Lu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Peking University, China"}]}],"member":"320","published-online":{"date-parts":[[2023,1,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"TensorFlow: A System for Large-Scale Machine Learning. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)","author":"Abadi Mart\u00edn","year":"2016","unstructured":"Mart\u00edn Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek\u00a0G. Murray, Benoit Steiner, Paul Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng. 2016. TensorFlow: A System for Large-Scale Machine Learning. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). USENIX Association, Savannah, GA, 265\u2013283. https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/abadi"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49538-X_2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/217838.217847"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/191080.191135"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385997"},{"key":"e_1_3_2_1_6_1","volume-title":"HTSeq\u2014a Python framework to work with high-throughput sequencing data. bioinformatics 31, 2","author":"Anders Simon","year":"2015","unstructured":"Simon Anders, Paul\u00a0Theodor Pyl, and Wolfgang Huber. 2015. HTSeq\u2014a Python framework to work with high-throughput sequencing data. bioinformatics 31, 2 (2015), 166\u2013169."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/236338.236343"},{"key":"e_1_3_2_1_8_1","unstructured":"J. Conrod. 2022. imp. https:\/\/github.com\/jayconrod\/imp-interpreter Last accessed on 2022-04-05."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_10_1","volume-title":"Compiler Construction, R.\u00a0Nigel Horspool (Ed.)","author":"Cousot Patrick","unstructured":"Patrick Cousot and Radhia Cousot. 2002. Modular Static Program Analysis. In Compiler Construction, R.\u00a0Nigel Horspool (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 159\u2013179."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_12_1","volume-title":"Introduction to lattices and order","author":"Davey A","unstructured":"Brian\u00a0A Davey and Hilary\u00a0A Priestley. 2002. Introduction to lattices and order. Cambridge university press."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884859"},{"key":"e_1_3_2_1_14_1","unstructured":"V. Dupras. 2022. icemu. https:\/\/github.com\/hsoft\/icemu Last accessed on 2022-04-05."},{"key":"e_1_3_2_1_15_1","unstructured":"S\u00e9bastien Eustace. 2022. pendulum. https:\/\/github.com\/sdispater\/pendulum Last accessed on 2022-04-05."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606621"},{"key":"e_1_3_2_1_17_1","unstructured":"Allen\u00a0Institute for AI. 2022. relex. https:\/\/github.com\/allenai\/comb_dist_direct_relex Last accessed on 2022-04-05."},{"key":"e_1_3_2_1_18_1","unstructured":"Django\u00a0Software Foundation. 2022. Django Home Page. https:\/\/www.djangoproject.com\/ Last accessed on 2022-04-05."},{"key":"e_1_3_2_1_19_1","unstructured":"The Python\u00a0Software Foundation. 2022. Mypy Home Page. https:\/\/mypy.readthedocs.io\/en\/stable\/ Last accessed on 2022-04-05."},{"key":"e_1_3_2_1_20_1","unstructured":"The Python\u00a0Software Foundation. 2022. Mypy Wiki Page. https:\/\/github.com\/python\/mypy\/wiki\/Type-Checker Last accessed on 2022-04-05."},{"key":"e_1_3_2_1_21_1","unstructured":"The Python\u00a0Software Foundation. 2022. Python Lexical Analysis. https:\/\/docs.python.org\/3\/reference\/lexical_analysis.html Last accessed on 2022-04-05."},{"key":"e_1_3_2_1_22_1","unstructured":"The Python\u00a0Software Foundation. 2022. Python Typeshed. https:\/\/github.com\/python\/typeshed Last accessed on 2022-04-05."},{"key":"e_1_3_2_1_23_1","unstructured":"\u0141ukasz\u00a0Langa Guido\u00a0van Rossum Jukka\u00a0Lehtosalo. 2014. PEP 484 \u2013 Type Hints. Technical Report."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-020-2649-2"},{"key":"e_1_3_2_1_25_1","volume-title":"MaxSMT-Based Type Inference for Python 3","author":"Hassan Mostafa","unstructured":"Mostafa Hassan, Caterina Urban, Marco Eilers, and Peter M\u00fcller. 2018. MaxSMT-Based Type Inference for Python 3. In Computer Aided Verification, Hana Chockler and Georg Weissenbacher (Eds.). Springer International Publishing, Cham, 12\u201319."},{"key":"e_1_3_2_1_26_1","volume-title":"PyART: Python API Recommendation in Real-Time. In 2021 IEEE\/ACM 43rd International Conference on Software Engineering (ICSE). IEEE, 1634\u20131645","author":"He Xincheng","year":"2021","unstructured":"Xincheng He, Lei Xu, Xiangyu Zhang, Rui Hao, Yang Feng, and Baowen Xu. 2021. PyART: Python API Recommendation in Real-Time. In 2021 IEEE\/ACM 43rd International Conference on Software Engineering (ICSE). IEEE, 1634\u20131645."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236051"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/963770.963772"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/130697.130698"},{"key":"e_1_3_2_1_30_1","unstructured":"Meta\u00a0Platforms Inc.2022. Pyre Home Page. https:\/\/pyre-check.org\/ Last accessed on 2022-04-05."},{"key":"e_1_3_2_1_31_1","unstructured":"\u0141ukasz\u00a0Langa Ivan\u00a0Levkivskyi Jukka\u00a0Lehtosalo. 2017. PEP 544 \u2013 Protocols: Structural subtyping (static duck typing). Technical Report."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2012.02.021"},{"key":"e_1_3_2_1_33_1","unstructured":"Maximilian\u00a0A K\u00f6hl. 2021. An executable structural operational formal semantics for python. arXiv preprint arXiv:2109.03139(2021)."},{"key":"e_1_3_2_1_34_1","unstructured":"Xavier Leroy Damien Doligez Alain Frisch Jacques Garrigue Didier R\u00e9my and J\u00e9r\u00f4me Vouillon. 2021. The OCaml system release 4.13: Documentation and user\u2019s manual. Ph.\u00a0D. Dissertation. Inria."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-019-2830-8"},{"key":"e_1_3_2_1_36_1","unstructured":"Google LLC. 2022. Pytype Home Page. https:\/\/google.github.io\/pytype\/ Last accessed on 2022-04-05."},{"key":"e_1_3_2_1_37_1","volume-title":"Pynguin: Automated Unit Test Generation for Python. CoRR abs\/2202.05218(2022). arXiv:2202.05218","author":"Lukasczyk Stephan","year":"2022","unstructured":"Stephan Lukasczyk and Gordon Fraser. 2022. Pynguin: Automated Unit Test Generation for Python. CoRR abs\/2202.05218(2022). arXiv:2202.05218"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00045"},{"key":"e_1_3_2_1_39_1","unstructured":"Jukka\u00a0Lehtosalo Michael\u00a0Lee Ivan\u00a0Levkivskyi. 2019. PEP 586 \u2013 Literal Types. Technical Report."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Amir\u00a0M Mir Evaldas Latoskinas Sebastian Proksch and Georgios Gousios. 2021. Type4py: Deep similarity learning-based type inference for python. arXiv preprint arXiv:2101.04470(2021).","DOI":"10.1145\/3510003.3510124"},{"key":"e_1_3_2_1_42_1","unstructured":"Lj Miranda. 2022. seagull. https:\/\/github.com\/ljvmiranda921\/seagull Last accessed on 2022-04-05."},{"key":"e_1_3_2_1_43_1","volume-title":"34th European Conference on Object-Oriented Programming (ECOOP","author":"Monat Rapha\u00ebl","year":"2020","unstructured":"Rapha\u00ebl Monat, Abdelraouf Ouadjaout, and Antoine Min\u00e9. 2020. Static type analysis by abstract interpretation of Python programs. In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik."},{"key":"e_1_3_2_1_44_1","unstructured":"James O\u2019Beirne. 2022. tinychain. https:\/\/github.com\/jamesob\/tinychain Last accessed on 2022-04-05."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3439775"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238173"},{"key":"e_1_3_2_1_47_1","volume-title":"European Conference on Object-Oriented Programming, Ole\u00a0Lehrmann Madsen (Ed.). Springer Berlin Heidelberg","author":"Oxh\u00f8j Nicholas","year":"1992","unstructured":"Nicholas Oxh\u00f8j, Jens Palsberg, and Michael\u00a0I. Schwartzbach. 1992. Making type inference practical. In ECOOP \u201992 European Conference on Object-Oriented Programming, Ole\u00a0Lehrmann Madsen (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 329\u2013349."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/117954.117965"},{"key":"e_1_3_2_1_49_1","volume-title":"Types and programming languages","author":"Pierce C","unstructured":"Benjamin\u00a0C Pierce. 2002. Types and programming languages. MIT press."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/191080.191130"},{"key":"e_1_3_2_1_51_1","unstructured":"David Powell. 2022. htmlark. https:\/\/github.com\/BitLooter\/htmlark Last accessed on 2022-04-05."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409715"},{"key":"e_1_3_2_1_53_1","volume-title":"Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages. 57\u201370","author":"Ingkarat","year":"2020","unstructured":"Ingkarat Rak-amnouykit, Daniel McCrevan, Ana Milanova, Martin Hirzel, and Julian Dolby. 2020. Python 3 types in the wild: a tale of two type systems. In Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages. 57\u201370."},{"key":"e_1_3_2_1_54_1","unstructured":"B. Rhodes. 2022. adventure. https:\/\/github.com\/brandon-rhodes\/python-adventure Last accessed on 2022-04-05."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_2"},{"key":"e_1_3_2_1_56_1","volume-title":"TIOBE Index for","author":"The","year":"2022","unstructured":"The software\u00a0quality company. 2022. TIOBE Index for April 2022. https:\/\/www.tiobe.com\/tiobe-index\/, Last accessed on 2022-04-05."},{"key":"e_1_3_2_1_57_1","unstructured":"Home Assistant\u00a0Core Team and Community. 2022. Home-assistant Home Page. https:\/\/www.home-assistant.io\/ Last accessed on 2022-04-05."},{"key":"e_1_3_2_1_58_1","unstructured":"Guido van Rossum. 2022. The Python Language Reference. Technical Report."},{"key":"e_1_3_2_1_59_1","unstructured":"ETH Zurich. 2022. scion. https:\/\/github.com\/scionproto\/scion Last accessed on 2022-04-05."}],"event":{"name":"ASE '22: 37th IEEE\/ACM International Conference on Automated Software Engineering","location":"Rochester MI USA","acronym":"ASE '22"},"container-title":["Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3561150","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551349.3561150","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T08:26:06Z","timestamp":1755851166000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3561150"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,10]]},"references-count":59,"alternative-id":["10.1145\/3551349.3561150","10.1145\/3551349"],"URL":"https:\/\/doi.org\/10.1145\/3551349.3561150","relation":{},"subject":[],"published":{"date-parts":[[2022,10,10]]},"assertion":[{"value":"2023-01-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}