{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T18:00:24Z","timestamp":1764784824778,"version":"3.37.3"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61772487"],"award-info":[{"award-number":["61772487"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1109\/issre52982.2021.00051","type":"proceedings-article","created":{"date-parts":[[2022,2,12]],"date-time":"2022-02-12T01:01:25Z","timestamp":1644627685000},"page":"423-433","source":"Crossref","is-referenced-by-count":7,"title":["Static Type Inference for Foreign Functions of Python"],"prefix":"10.1109","author":[{"given":"Mingzhe","family":"Hu","sequence":"first","affiliation":[{"name":"University of Science and Technology of China,Hefei,China"}]},{"given":"Yu","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China,Hefei,China"}]},{"given":"Wenchao","family":"Huang","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China,Hefei,China"}]},{"given":"Yan","family":"Xiong","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China,Hefei,China"}]}],"member":"263","reference":[{"key":"ref33","first-page":"365","article-title":"An empirical security study of the native code in the JDK","author":"tan","year":"0","journal-title":"17th USENIX Conference on Security Symposium (USENIX Security)"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286948"},{"journal-title":"PEP 3107 Function annotations","year":"2006","author":"winter","key":"ref31"},{"journal-title":"Pillow Python imaging library","year":"0","author":"clark","key":"ref30"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.68"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3018882.3018888"},{"journal-title":"Pytype Static type analyzer for Python code","year":"0","key":"ref11"},{"journal-title":"PySonar2 An advanced semantic indexer for Python","year":"0","author":"wang","key":"ref12"},{"journal-title":"Foreign function interface","year":"0","key":"ref13"},{"journal-title":"libffi A Portable Foreign Function Interface Library","year":"0","author":"green","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065019"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_21"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660202"},{"journal-title":"Typeshed Collection of library stubs for Python with static types","year":"0","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_4"},{"key":"ref28","first-page":"36","article-title":"Python programming language","volume":"41","author":"van rossum","year":"0","journal-title":"USENIX Annual Technical Conference"},{"journal-title":"Pyre Performant type checker for Python","year":"0","key":"ref4"},{"journal-title":"Pycparser Complete C99 parser in pure Python","year":"0","author":"bendersky","key":"ref27"},{"journal-title":"Pyright Static type checker for Python","year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385997"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-020-2649-2"},{"journal-title":"Pep 484-type hints","year":"2014","author":"van rossum","key":"ref5"},{"key":"ref8","article-title":"Static type analysis by abstract interpretation of Python programs","author":"monat","year":"0","journal-title":"European Conference on Object-Oriented Programming"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950343"},{"journal-title":"Mypy - optional static typing for python","year":"0","author":"lehtosalo","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96142-2_2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER48275.2020.9054835"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872389"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048095"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653716"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113468"},{"journal-title":"Python\/C API Reference Manual","year":"0","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00045"},{"journal-title":"PEP 353 - using ssize_t as the index type","year":"2005","author":"von l\u00f6wis","key":"ref25"}],"event":{"name":"2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE)","start":{"date-parts":[[2021,10,25]]},"location":"Wuhan, China","end":{"date-parts":[[2021,10,28]]}},"container-title":["2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9700160\/9700163\/09700268.pdf?arnumber=9700268","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,13]],"date-time":"2022-06-13T21:07:19Z","timestamp":1655154439000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9700268\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/issre52982.2021.00051","relation":{},"subject":[],"published":{"date-parts":[[2021,10]]}}}