{"id":"https://openalex.org/W4407729143","doi":"https://doi.org/10.1093/comjnl/bxaf004","title":"CATI++: empirical study and evaluation for adjacent instruction enhanced type inference","display_name":"CATI++: empirical study and evaluation for adjacent instruction enhanced type inference","publication_year":2025,"publication_date":"2025-02-17","ids":{"openalex":"https://openalex.org/W4407729143","doi":"https://doi.org/10.1093/comjnl/bxaf004"},"language":"en","primary_location":{"id":"doi:10.1093/comjnl/bxaf004","is_oa":false,"landing_page_url":"https://doi.org/10.1093/comjnl/bxaf004","pdf_url":null,"source":{"id":"https://openalex.org/S44643521","display_name":"The Computer Journal","issn_l":"0010-4620","issn":["0010-4620","1460-2067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Computer Journal","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036356449","display_name":"Ligeng Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]},{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Ligeng Chen","raw_affiliation_strings":["Department of Computer Science and Technology , Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province,","State Key Laboratory for Novel Software Technology , Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province,","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province, China","Department of Computer Science and Technology, Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology , Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province,","institution_ids":["https://openalex.org/I36399199"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology , Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province,","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province, China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province, China","institution_ids":["https://openalex.org/I36399199"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029014432","display_name":"Zhongling He","orcid":null},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]},{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhongling He","raw_affiliation_strings":["Department of Computer Science and Technology , Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province,","State Key Laboratory for Novel Software Technology , Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province,","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province, China","Department of Computer Science and Technology, Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology , Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province,","institution_ids":["https://openalex.org/I36399199"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology , Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province,","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province, China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province, China","institution_ids":["https://openalex.org/I36399199"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008867452","display_name":"Yi Qian","orcid":"https://orcid.org/0000-0001-6452-3300"},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]},{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yi Qian","raw_affiliation_strings":["Department of Computer Science and Technology , Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province,","State Key Laboratory for Novel Software Technology , Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province,","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province, China","Department of Computer Science and Technology, Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology , Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province,","institution_ids":["https://openalex.org/I36399199"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology , Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province,","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province, China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province, China","institution_ids":["https://openalex.org/I36399199"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032564674","display_name":"Bing Mao","orcid":null},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]},{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bing Mao","raw_affiliation_strings":["Department of Computer Science and Technology , Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province,","State Key Laboratory for Novel Software Technology , Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province,","Department of Computer Science and Technology, Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province, China","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology , Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province,","institution_ids":["https://openalex.org/I36399199"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology , Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province,","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province, China","institution_ids":["https://openalex.org/I36399199"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, Xianlin Road 163, Jiangsu Province, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5036356449"],"corresponding_institution_ids":["https://openalex.org/I36399199","https://openalex.org/I881766915"],"apc_list":{"value":2635,"currency":"GBP","value_usd":3232},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.03873929,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"68","issue":"7","first_page":"788","last_page":"803"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"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.9998000264167786,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9929999709129333,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.8462409973144531},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.6691358089447021},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6538563966751099},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.6086324453353882},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.6024259328842163},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5009918212890625},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4745270311832428},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.4464704394340515},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4426393210887909},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.4352883994579315},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4285031259059906},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.425453245639801},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4200616776943207},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.37119850516319275},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2613477110862732}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8462409973144531},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.6691358089447021},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6538563966751099},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.6086324453353882},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.6024259328842163},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5009918212890625},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4745270311832428},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.4464704394340515},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4426393210887909},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.4352883994579315},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4285031259059906},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.425453245639801},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4200616776943207},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.37119850516319275},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2613477110862732},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/comjnl/bxaf004","is_oa":false,"landing_page_url":"https://doi.org/10.1093/comjnl/bxaf004","pdf_url":null,"source":{"id":"https://openalex.org/S44643521","display_name":"The Computer Journal","issn_l":"0010-4620","issn":["0010-4620","1460-2067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Computer Journal","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.7099999785423279}],"awards":[{"id":"https://openalex.org/G2631618737","display_name":null,"funder_award_id":"61272078","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3624991874","display_name":null,"funder_award_id":"62172201","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6786717514","display_name":null,"funder_award_id":"62032010","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W17195072","https://openalex.org/W1482612322","https://openalex.org/W1583425800","https://openalex.org/W1832693441","https://openalex.org/W1985085387","https://openalex.org/W2006790656","https://openalex.org/W2012604743","https://openalex.org/W2033029512","https://openalex.org/W2099053789","https://openalex.org/W2138517425","https://openalex.org/W2147880316","https://openalex.org/W2250539671","https://openalex.org/W2284289336","https://openalex.org/W2516933175","https://openalex.org/W2577142429","https://openalex.org/W2612138144","https://openalex.org/W2752929869","https://openalex.org/W2761271546","https://openalex.org/W2887364112","https://openalex.org/W2888320512","https://openalex.org/W2889593990","https://openalex.org/W2926178846","https://openalex.org/W2948763287","https://openalex.org/W2950327322","https://openalex.org/W3046379090","https://openalex.org/W3137108338","https://openalex.org/W3154707155","https://openalex.org/W3194813479","https://openalex.org/W4224095285","https://openalex.org/W4241115820","https://openalex.org/W4286531994","https://openalex.org/W4315746341","https://openalex.org/W4328028771","https://openalex.org/W6607853461","https://openalex.org/W6621201870","https://openalex.org/W6628233427","https://openalex.org/W6638559843","https://openalex.org/W6681122466","https://openalex.org/W6695662000","https://openalex.org/W6712751967","https://openalex.org/W6713486597","https://openalex.org/W6743691393","https://openalex.org/W6745033356","https://openalex.org/W6746142235","https://openalex.org/W6754601402","https://openalex.org/W6761130784","https://openalex.org/W6800271133"],"related_works":["https://openalex.org/W2112150205","https://openalex.org/W1550049051","https://openalex.org/W1575986870","https://openalex.org/W4405880030","https://openalex.org/W1557199137","https://openalex.org/W4287025197","https://openalex.org/W2111320546","https://openalex.org/W3196270186","https://openalex.org/W3102965473","https://openalex.org/W2001507716"],"abstract_inverted_index":{"Abstract":[0],"Variable-type":[1],"information":[2,103],"is":[3,180],"fundamental,":[4],"and":[5,18,79,129,154],"it":[6],"greatly":[7],"helps":[8],"in":[9],"understanding":[10],"the":[11,33,47,69,75,91,94,112,131,192],"program":[12],"semantics.":[13],"Previous":[14],"work":[15],"applies":[16],"rule-based":[17],"machine":[19,122],"learning-based":[20,123],"methods":[21],"to":[22,41,74,110,125,183],"recover":[23],"variable":[24,127],"types":[25,128,157],"from":[26,63,151],"commercial":[27],"off-the-shelf":[28],"binaries,":[29],"heavily":[30],"relying":[31],"on":[32,85,98,163],"data":[34,54,135,197],"flow":[35],"or":[36,50],"control":[37],"flow.":[38],"However,":[39],"according":[40],"our":[42,178,187],"study,":[43],"about":[44],"half":[45],"of":[46,71,133,158,168],"variables":[48,99,150],"lacked":[49],"even":[51],"had":[52],"no":[53],"flow;":[55],"this":[56,72,116],"problem":[57,73],"has":[58],"not":[59,181],"received":[60],"much":[61],"attention":[62],"previous":[64],"work.":[65],"We":[66,160],"empirically":[67],"explore":[68],"severity":[70],"type":[76],"inference":[77],"task":[78],"analyze":[80],"its":[81],"root":[82],"causes.":[83],"Based":[84],"compilation":[86,165,184],"properties,":[87],"we":[88,118,142],"find":[89],"that":[90,96,104,177],"instructions":[92,95,139],"surrounding":[93],"operate":[97],"provide":[100],"good":[101],"contextual":[102],"can":[105],"be":[106],"used":[107],"for":[108],"co-encoding":[109],"overcome":[111,130],"above":[113],"problem.":[114],"In":[115],"paper,":[117],"present":[119],"an":[120],"effective":[121],"method":[124,189],"infer":[126],"challenge":[132],"limited":[134],"dependency":[136],"via":[137],"adjacent":[138],"co-encoding.":[140],"Therefore,":[141],"implement":[143],"a":[144],"system":[145],"called":[146],"CATI++,":[147],"which":[148,169],"locates":[149],"stripped":[152],"binaries":[153],"infers":[155],"19":[156],"variables.":[159],"evaluate":[161],"CATI++":[162],"different":[164],"options,":[166],"all":[167],"outperforms":[170],"state-of-the-art":[171],"methods.":[172],"The":[173],"ablation":[174],"experiments":[175],"verify":[176],"scheme":[179],"sensitive":[182],"conditions,":[185],"while":[186],"designed":[188],"effectively":[190],"alleviates":[191],"problems":[193],"caused":[194],"by":[195],"missing":[196],"dependency.":[198]},"counts_by_year":[],"updated_date":"2025-12-28T23:10:05.387466","created_date":"2025-10-10T00:00:00"}