{"id":"https://openalex.org/W2993555399","doi":"https://doi.org/10.1145/3368089.3409715","title":"TypeWriter: neural type prediction with search-based validation","display_name":"TypeWriter: neural type prediction with search-based validation","publication_year":2020,"publication_date":"2020-11-08","ids":{"openalex":"https://openalex.org/W2993555399","doi":"https://doi.org/10.1145/3368089.3409715","mag":"2993555399"},"language":"en","primary_location":{"id":"doi:10.1145/3368089.3409715","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3368089.3409715","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1912.03768","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013438083","display_name":"Michael Pradel","orcid":"https://orcid.org/0000-0003-1623-498X"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Michael Pradel","raw_affiliation_strings":["University of Stuttgart, Germany","Univ. of Stuttgart (Germany)"],"affiliations":[{"raw_affiliation_string":"University of Stuttgart, Germany","institution_ids":["https://openalex.org/I100066346"]},{"raw_affiliation_string":"Univ. of Stuttgart (Germany)","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043864604","display_name":"Georgios Gousios","orcid":"https://orcid.org/0000-0002-8495-7939"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Georgios Gousios","raw_affiliation_strings":["Delft University of Technology, Netherlands","(Delft University of Technology)"],"affiliations":[{"raw_affiliation_string":"Delft University of Technology, Netherlands","institution_ids":["https://openalex.org/I98358874"]},{"raw_affiliation_string":"(Delft University of Technology)","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083193232","display_name":"Jason Liu","orcid":"https://orcid.org/0000-0001-8222-4013"},"institutions":[{"id":"https://openalex.org/I2252078561","display_name":"Meta (Israel)","ror":"https://ror.org/02388em19","country_code":"IL","type":"company","lineage":["https://openalex.org/I2252078561","https://openalex.org/I4210114444"]},{"id":"https://openalex.org/I4210114444","display_name":"Meta (United States)","ror":"https://ror.org/01zbnvs85","country_code":"US","type":"company","lineage":["https://openalex.org/I4210114444"]}],"countries":["IL","US"],"is_corresponding":false,"raw_author_name":"Jason Liu","raw_affiliation_strings":["Facebook, USA","Facebook"],"affiliations":[{"raw_affiliation_string":"Facebook, USA","institution_ids":["https://openalex.org/I4210114444"]},{"raw_affiliation_string":"Facebook","institution_ids":["https://openalex.org/I2252078561"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101965118","display_name":"Satish Chandra","orcid":"https://orcid.org/0000-0003-2546-9000"},"institutions":[{"id":"https://openalex.org/I4210114444","display_name":"Meta (United States)","ror":"https://ror.org/01zbnvs85","country_code":"US","type":"company","lineage":["https://openalex.org/I4210114444"]},{"id":"https://openalex.org/I1321014770","display_name":"Association for Computing Machinery","ror":"https://ror.org/03wsadn68","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1321014770"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Satish Chandra","raw_affiliation_strings":["Facebook, USA","Association for Computing Machinery"],"affiliations":[{"raw_affiliation_string":"Facebook, USA","institution_ids":["https://openalex.org/I4210114444"]},{"raw_affiliation_string":"Association for Computing Machinery","institution_ids":["https://openalex.org/I1321014770"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5013438083"],"corresponding_institution_ids":["https://openalex.org/I100066346"],"apc_list":null,"apc_paid":null,"fwci":2.26458913,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.89910597,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"209","last_page":"220"},"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.9649999737739563,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9034000039100647,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8336111307144165},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.7950836420059204},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.6432017087936401},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6006640195846558},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5702170133590698},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.5687374472618103},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.539315402507782},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5364822149276733},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5162087082862854},{"id":"https://openalex.org/keywords/javascript","display_name":"JavaScript","score":0.4983947277069092},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.41462868452072144},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3549014925956726}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8336111307144165},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.7950836420059204},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.6432017087936401},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6006640195846558},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5702170133590698},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5687374472618103},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.539315402507782},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5364822149276733},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5162087082862854},{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.4983947277069092},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.41462868452072144},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3549014925956726}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/3368089.3409715","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3368089.3409715","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1912.03768","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1912.03768","pdf_url":"https://arxiv.org/pdf/1912.03768","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:tudelft.nl:uuid:d40089d8-a1bb-46f4-a704-1c90a96cefff","is_oa":true,"landing_page_url":"http://resolver.tudelft.nl/uuid:d40089d8-a1bb-46f4-a704-1c90a96cefff","pdf_url":"http://resolver.tudelft.nl/uuid:d40089d8-a1bb-46f4-a704-1c90a96cefff","source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"conference paper"},{"id":"mag:2993555399","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1912.03768.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1912.03768","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1912.03768","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1912.03768","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1912.03768","pdf_url":"https://arxiv.org/pdf/1912.03768","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W202191487","https://openalex.org/W2010608861","https://openalex.org/W2092382400","https://openalex.org/W2102473657","https://openalex.org/W2106558531","https://openalex.org/W2113888205","https://openalex.org/W2129345992","https://openalex.org/W2135536553","https://openalex.org/W2140021378","https://openalex.org/W2153579005","https://openalex.org/W2156351739","https://openalex.org/W2156981320","https://openalex.org/W2511803001","https://openalex.org/W2534815697","https://openalex.org/W2548165777","https://openalex.org/W2605202003","https://openalex.org/W2617588282","https://openalex.org/W2740130862","https://openalex.org/W2740220421","https://openalex.org/W2794601162","https://openalex.org/W2804040235","https://openalex.org/W2805788202","https://openalex.org/W2806718802","https://openalex.org/W2883903648","https://openalex.org/W2888268504","https://openalex.org/W2898951026","https://openalex.org/W2899171197","https://openalex.org/W2899384793","https://openalex.org/W2906163065","https://openalex.org/W2912248945","https://openalex.org/W2921792613","https://openalex.org/W2927177344","https://openalex.org/W2943748428","https://openalex.org/W2954823997","https://openalex.org/W2954950681","https://openalex.org/W2955426500","https://openalex.org/W2955767826","https://openalex.org/W2962914467","https://openalex.org/W2963371736","https://openalex.org/W2963935794","https://openalex.org/W2979679630","https://openalex.org/W3005628256","https://openalex.org/W3006491415","https://openalex.org/W3011564318","https://openalex.org/W3105398568","https://openalex.org/W3105903381","https://openalex.org/W4241122238","https://openalex.org/W6759266148"],"related_works":["https://openalex.org/W3100869085","https://openalex.org/W2728974883","https://openalex.org/W3033638351","https://openalex.org/W2921565836","https://openalex.org/W3088337517","https://openalex.org/W3086007799","https://openalex.org/W3187169349","https://openalex.org/W3171557316","https://openalex.org/W3040955294","https://openalex.org/W1505207814","https://openalex.org/W2900670268","https://openalex.org/W3172879225","https://openalex.org/W2891746262","https://openalex.org/W3125488228","https://openalex.org/W2951861246","https://openalex.org/W2955426500","https://openalex.org/W2605201475","https://openalex.org/W2960015367","https://openalex.org/W3087685042","https://openalex.org/W3132276364"],"abstract_inverted_index":{"Maintaining":[0],"large":[1],"code":[2,103,112,158,163],"bases":[3,104],"written":[4],"in":[5,142,188,226],"dynamically":[6],"typed":[7],"languages,":[8],"such":[9],"as":[10],"JavaScript":[11],"or":[12,51],"Python,":[13],"can":[14,216],"be":[15],"challenging":[16],"due":[17],"to":[18,37,42,91,221,255],"the":[19,75,93,107,131,136,148,189,224],"absence":[20],"of":[21,78,85,111,130,138,170,185,223,262],"type":[22,49,53,57,80,125,140,179,206,233,240],"annotations:":[23],"simple":[24],"data":[25],"compatibility":[26],"errors":[27],"proliferate,":[28],"IDE":[29],"support":[30],"is":[31,62],"limited,":[32,64],"and":[33,95,153,167,196,259],"APIs":[34],"are":[35],"hard":[36],"comprehend.":[38],"Recent":[39],"work":[40],"attempts":[41],"address":[43],"those":[44],"issues":[45],"through":[46],"either":[47],"static":[48,56,239],"inference":[50,58,241],"probabilistic":[52,66,79],"prediction.":[54],"Unfortunately,":[55],"for":[59,98,151,193,199],"dynamic":[60],"languages":[61],"inherently":[63],"while":[65,134,231],"approaches":[67],"suffer":[68],"from":[69,100],"imprecision.":[70],"This":[71],"paper":[72],"presents":[73],"TypeWriter,":[74],"first":[76],"combination":[77],"prediction":[81,207],"with":[82,113,127,212,237,268],"search-based":[83,213],"refinement":[84],"predicted":[86,119,132],"types.":[87,250],"TypeWriter's":[88,178],"predictor":[89,180],"learns":[90],"infer":[92],"return":[94,194],"argument":[96,200],"types":[97,254,263],"functions":[99],"partially":[101],"annotated":[102],"by":[105],"combining":[106,210],"natural":[108],"language":[109],"properties":[110],"programming":[114],"language-level":[115],"information.":[116],"To":[117],"validate":[118],"types,":[120,133,195,201],"TypeWriter":[121,149,215,245,251],"invokes":[122],"a":[123,143,160,168,227,238],"gradual":[124],"checker":[126],"different":[128],"combinations":[129,141],"navigating":[135],"space":[137],"possible":[139],"feedback-directed":[144],"manner.":[145],"We":[146,175],"implement":[147],"approach":[150],"Python":[152],"evaluate":[154],"it":[155],"on":[156],"two":[157],"corpora:":[159],"multi-million":[161],"line":[162],"base":[164],"at":[165,257],"Facebook":[166,258],"collection":[169],"1,137":[171],"popular":[172],"open-source":[173],"projects.":[174],"show":[176],"that":[177,244],"achieves":[181],"an":[182],"F1":[183],"score":[184],"0.64":[186],"(0.79)":[187],"top-1":[190],"(top-5)":[191],"predictions":[192,211],"0.57":[197],"(0.80)":[198],"which":[202],"clearly":[203],"outperforms":[204],"prior":[205],"models.":[208],"By":[209],"validation,":[214],"fully":[217],"annotate":[218],"between":[219],"14%":[220],"44%":[222],"files":[225],"randomly":[228],"selected":[229],"corpus,":[230],"ensuring":[232],"correctness.":[234],"A":[235],"comparison":[236],"tool":[242],"shows":[243],"adds":[246],"many":[247],"more":[248],"non-trivial":[249],"currently":[252],"suggests":[253],"developers":[256],"several":[260],"thousands":[261],"have":[264],"already":[265],"been":[266],"accepted":[267],"minimal":[269],"changes.":[270]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2}],"updated_date":"2026-02-09T09:26:11.010843","created_date":"2025-10-10T00:00:00"}