{"id":"https://openalex.org/W4313563756","doi":"https://doi.org/10.1145/3551349.3556912","title":"Prompt-tuned Code Language Model as a Neural Knowledge Base for Type Inference in Statically-Typed Partial Code","display_name":"Prompt-tuned Code Language Model as a Neural Knowledge Base for Type Inference in Statically-Typed Partial Code","publication_year":2022,"publication_date":"2022-10-10","ids":{"openalex":"https://openalex.org/W4313563756","doi":"https://doi.org/10.1145/3551349.3556912"},"language":"en","primary_location":{"id":"doi:10.1145/3551349.3556912","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551349.3556912","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3556912","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3556912","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087875790","display_name":"Qing Huang","orcid":"https://orcid.org/0000-0002-8877-4267"},"institutions":[{"id":"https://openalex.org/I53592917","display_name":"Jiangxi Normal University","ror":"https://ror.org/05nkgk822","country_code":"CN","type":"education","lineage":["https://openalex.org/I53592917"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Qing Huang","raw_affiliation_strings":["School of Computer Information Engineering, Jiangxi Normal University, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Information Engineering, Jiangxi Normal University, China","institution_ids":["https://openalex.org/I53592917"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101811003","display_name":"Zhiqiang Yuan","orcid":"https://orcid.org/0000-0002-6497-9380"},"institutions":[{"id":"https://openalex.org/I53592917","display_name":"Jiangxi Normal University","ror":"https://ror.org/05nkgk822","country_code":"CN","type":"education","lineage":["https://openalex.org/I53592917"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiqiang Yuan","raw_affiliation_strings":["School of Computer Information Engineering, Jiangxi Normal University, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Information Engineering, Jiangxi Normal University, China","institution_ids":["https://openalex.org/I53592917"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028641941","display_name":"Zhenchang Xing","orcid":"https://orcid.org/0000-0001-7663-1421"},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]},{"id":"https://openalex.org/I1292875679","display_name":"Commonwealth Scientific and Industrial Research Organisation","ror":"https://ror.org/03qn8fb07","country_code":"AU","type":"government","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I4387156119"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Zhenchang Xing","raw_affiliation_strings":["CSIRO's Data61 & Australian National University, Australia"],"affiliations":[{"raw_affiliation_string":"CSIRO's Data61 & Australian National University, Australia","institution_ids":["https://openalex.org/I1292875679","https://openalex.org/I42894916","https://openalex.org/I118347636"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100619104","display_name":"Xiwei Xu","orcid":"https://orcid.org/0000-0002-2540-973X"},"institutions":[{"id":"https://openalex.org/I1292875679","display_name":"Commonwealth Scientific and Industrial Research Organisation","ror":"https://ror.org/03qn8fb07","country_code":"AU","type":"government","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I4387156119"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Xiwei Xu","raw_affiliation_strings":["CSIRO's Data61, Australia"],"affiliations":[{"raw_affiliation_string":"CSIRO's Data61, Australia","institution_ids":["https://openalex.org/I42894916","https://openalex.org/I1292875679"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064683660","display_name":"Liming Zhu","orcid":"https://orcid.org/0000-0001-5839-3765"},"institutions":[{"id":"https://openalex.org/I1292875679","display_name":"Commonwealth Scientific and Industrial Research Organisation","ror":"https://ror.org/03qn8fb07","country_code":"AU","type":"government","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I4387156119"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Liming Zhu","raw_affiliation_strings":["CSIRO's Data61 & School of CSE, UNSW, Australia"],"affiliations":[{"raw_affiliation_string":"CSIRO's Data61 & School of CSE, UNSW, Australia","institution_ids":["https://openalex.org/I1292875679","https://openalex.org/I42894916"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100652461","display_name":"Qinghua Lu","orcid":"https://orcid.org/0000-0002-9466-1672"},"institutions":[{"id":"https://openalex.org/I1292875679","display_name":"Commonwealth Scientific and Industrial Research Organisation","ror":"https://ror.org/03qn8fb07","country_code":"AU","type":"government","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I4387156119"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Qinghua Lu","raw_affiliation_strings":["CSIRO's Data61, Australia"],"affiliations":[{"raw_affiliation_string":"CSIRO's Data61, Australia","institution_ids":["https://openalex.org/I42894916","https://openalex.org/I1292875679"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5087875790"],"corresponding_institution_ids":["https://openalex.org/I53592917"],"apc_list":null,"apc_paid":null,"fwci":12.0844,"has_fulltext":false,"cited_by_count":40,"citation_normalized_percentile":{"value":0.98627091,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8360163569450378},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.655967116355896},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6361367702484131},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6209231019020081},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.5699987411499023},{"id":"https://openalex.org/keywords/abstract-syntax-tree","display_name":"Abstract syntax tree","score":0.5253086686134338},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5148407816886902},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5145984888076782},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4891410171985626},{"id":"https://openalex.org/keywords/code-reuse","display_name":"Code reuse","score":0.4365934133529663},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.3973897099494934},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3944282829761505},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.1593818962574005},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.13654100894927979},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1345362663269043},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1079719066619873}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8360163569450378},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.655967116355896},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6361367702484131},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6209231019020081},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5699987411499023},{"id":"https://openalex.org/C58646249","wikidata":"https://www.wikidata.org/wiki/Q127380","display_name":"Abstract syntax tree","level":3,"score":0.5253086686134338},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5148407816886902},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5145984888076782},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4891410171985626},{"id":"https://openalex.org/C2778583558","wikidata":"https://www.wikidata.org/wiki/Q771245","display_name":"Code reuse","level":3,"score":0.4365934133529663},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3973897099494934},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3944282829761505},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.1593818962574005},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.13654100894927979},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1345362663269043},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1079719066619873},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3551349.3556912","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551349.3556912","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3556912","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3551349.3556912","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551349.3556912","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3556912","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4313563756.pdf","grobid_xml":"https://content.openalex.org/works/W4313563756.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W1962482270","https://openalex.org/W1972141422","https://openalex.org/W1997646511","https://openalex.org/W2011458734","https://openalex.org/W2094728533","https://openalex.org/W2106259924","https://openalex.org/W2122401044","https://openalex.org/W2129658791","https://openalex.org/W2164961799","https://openalex.org/W2346411278","https://openalex.org/W2794992746","https://openalex.org/W2795013376","https://openalex.org/W2901934569","https://openalex.org/W2921611887","https://openalex.org/W2932789158","https://openalex.org/W2955685982","https://openalex.org/W2963037989","https://openalex.org/W2963541700","https://openalex.org/W2963935794","https://openalex.org/W2967937885","https://openalex.org/W2968388969","https://openalex.org/W2970476646","https://openalex.org/W2972082064","https://openalex.org/W2994316338","https://openalex.org/W2999648948","https://openalex.org/W3014877975","https://openalex.org/W3034689979","https://openalex.org/W3095493018","https://openalex.org/W3098605233","https://openalex.org/W3102659883","https://openalex.org/W3125402553","https://openalex.org/W3138429261","https://openalex.org/W3146844750","https://openalex.org/W3153427360","https://openalex.org/W3172642864","https://openalex.org/W3174770825","https://openalex.org/W3195893957","https://openalex.org/W3198685994","https://openalex.org/W3212893438","https://openalex.org/W4205991051","https://openalex.org/W4238623774","https://openalex.org/W4250691433","https://openalex.org/W4284710241","https://openalex.org/W4285247752","https://openalex.org/W4385572925"],"related_works":["https://openalex.org/W4389751695","https://openalex.org/W4310447811","https://openalex.org/W3122369893","https://openalex.org/W2165004968","https://openalex.org/W4282813445","https://openalex.org/W2320787857","https://openalex.org/W3086207785","https://openalex.org/W4389438938","https://openalex.org/W2914174448","https://openalex.org/W2969229669"],"abstract_inverted_index":{"Partial":[0],"code":[1,52,67,86,92,103,126,140,167,187],"usually":[2],"involves":[3],"non-fully-qualified":[4],"type":[5,26,75,136,154,188,198],"names":[6,50,65],"(non-FQNs)":[7],"and":[8,19,34,51,59,66,110,121,132,145,150,170,182],"undeclared":[9,20],"receiving":[10,21],"objects.":[11],"Resolving":[12],"the":[13,29,176,183,191,202],"FQNs":[14],"of":[15,36,48,102,165,178,193,208],"these":[16],"non-FQN":[17],"types":[18],"objects":[22],"(referred":[23],"to":[24,31,62,204],"as":[25,77,97],"inference)":[27],"is":[28,119],"prerequisite":[30],"effective":[32],"search":[33],"reuse":[35],"partial":[37,186,210],"code.":[38,116,211],"Existing":[39],"dictionary-lookup":[40],"based":[41],"methods":[42],"build":[43],"a":[44,78,91,98,106,162],"symbolic":[45,130],"knowledge":[46,100],"base":[47,101],"API":[49,64],"contexts,":[53],"which":[54],"involve":[55],"significant":[56],"compilation":[57],"overhead":[58],"are":[60],"sensitive":[61],"unseen":[63],"context":[68,133],"variations.":[69],"In":[70],"this":[71],"paper,":[72],"we":[73],"formulate":[74],"inference":[76,199],"cloze-style":[79],"fill-in-blank":[80],"language":[81,94],"task.":[82],"Built":[83],"on":[84,125,161],"source":[85,115,166],"naturalness,":[87],"our":[88,138,159,179,196],"approach":[89,118,160,180],"fine-tunes":[90],"masked":[93],"model":[95],"(MLM)":[96],"neural":[99,153,197],"elements":[104],"with":[105],"novel":[107],"\u201cpre-train,":[108],"prompt":[109],"predict\u201d":[111],"paradigm":[112],"from":[113,168],"raw":[114],"Our":[117,173],"lightweight":[120],"has":[122],"minimum":[123],"requirements":[124],"compilation.":[127],"Unlike":[128],"existing":[129],"name":[131],"matching":[134],"for":[135,185],"inference,":[137],"prompt-tuned":[139],"MLM":[141],"packs":[142],"FQN":[143],"syntax":[144],"usage":[146],"in":[147],"its":[148,194],"parameters":[149],"supports":[151],"fuzzy":[152],"inference.":[155,189],"We":[156],"systematically":[157],"evaluate":[158],"large":[163],"amount":[164],"GitHub":[169],"Stack":[171],"Overflow.":[172],"results":[174],"confirm":[175],"effectiveness":[177],"design":[181],"practicality":[184],"As":[190],"first":[192],"kind,":[195],"method":[200],"opens":[201],"door":[203],"many":[205],"innovative":[206],"ways":[207],"using":[209]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":18},{"year":2023,"cited_by_count":11},{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}