{"id":"https://openalex.org/W2534815697","doi":"https://doi.org/10.1145/2983990.2984017","title":"Type inference for static compilation of JavaScript","display_name":"Type inference for static compilation of JavaScript","publication_year":2016,"publication_date":"2016-10-19","ids":{"openalex":"https://openalex.org/W2534815697","doi":"https://doi.org/10.1145/2983990.2984017","mag":"2534815697"},"language":"en","primary_location":{"id":"doi:10.1145/2983990.2984017","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2983990.2984017","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","raw_type":"proceedings-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/A5104084134","display_name":"Satish Chandra","orcid":"https://orcid.org/0000-0001-7625-4726"},"institutions":[{"id":"https://openalex.org/I4210101778","display_name":"Samsung (United States)","ror":"https://ror.org/01bfbvm65","country_code":"US","type":"company","lineage":["https://openalex.org/I2250650973","https://openalex.org/I4210101778"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Satish Chandra","raw_affiliation_strings":["Samsung Research, USA"],"affiliations":[{"raw_affiliation_string":"Samsung Research, USA","institution_ids":["https://openalex.org/I4210101778"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072587371","display_name":"Colin S. Gordon","orcid":"https://orcid.org/0000-0002-9012-4490"},"institutions":[{"id":"https://openalex.org/I72816309","display_name":"Drexel University","ror":"https://ror.org/04bdffz58","country_code":"US","type":"education","lineage":["https://openalex.org/I72816309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Colin S. Gordon","raw_affiliation_strings":["Drexel University, USA"],"affiliations":[{"raw_affiliation_string":"Drexel University, USA","institution_ids":["https://openalex.org/I72816309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002069299","display_name":"Jean-Baptiste Jeannin","orcid":"https://orcid.org/0000-0001-6378-1447"},"institutions":[{"id":"https://openalex.org/I4210101778","display_name":"Samsung (United States)","ror":"https://ror.org/01bfbvm65","country_code":"US","type":"company","lineage":["https://openalex.org/I2250650973","https://openalex.org/I4210101778"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jean-Baptiste Jeannin","raw_affiliation_strings":["Samsung Research, USA"],"affiliations":[{"raw_affiliation_string":"Samsung Research, USA","institution_ids":["https://openalex.org/I4210101778"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012489417","display_name":"Cole Schlesinger","orcid":"https://orcid.org/0009-0004-9350-3041"},"institutions":[{"id":"https://openalex.org/I4210101778","display_name":"Samsung (United States)","ror":"https://ror.org/01bfbvm65","country_code":"US","type":"company","lineage":["https://openalex.org/I2250650973","https://openalex.org/I4210101778"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cole Schlesinger","raw_affiliation_strings":["Samsung Research, USA"],"affiliations":[{"raw_affiliation_string":"Samsung Research, USA","institution_ids":["https://openalex.org/I4210101778"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038828346","display_name":"Manu Sridharan","orcid":"https://orcid.org/0000-0001-7993-302X"},"institutions":[{"id":"https://openalex.org/I4210101778","display_name":"Samsung (United States)","ror":"https://ror.org/01bfbvm65","country_code":"US","type":"company","lineage":["https://openalex.org/I2250650973","https://openalex.org/I4210101778"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Manu Sridharan","raw_affiliation_strings":["Samsung Research, USA"],"affiliations":[{"raw_affiliation_string":"Samsung Research, USA","institution_ids":["https://openalex.org/I4210101778"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087594876","display_name":"Frank Tip","orcid":"https://orcid.org/0000-0002-1862-3498"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Frank Tip","raw_affiliation_strings":["Northeastern University, USA"],"affiliations":[{"raw_affiliation_string":"Northeastern University, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101052411","display_name":"Youngil Choi","orcid":null},"institutions":[{"id":"https://openalex.org/I2250650973","display_name":"Samsung (South Korea)","ror":"https://ror.org/04w3jy968","country_code":"KR","type":"company","lineage":["https://openalex.org/I2250650973"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Youngil Choi","raw_affiliation_strings":["Samsung Electronics, South Korea"],"affiliations":[{"raw_affiliation_string":"Samsung Electronics, South Korea","institution_ids":["https://openalex.org/I2250650973"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5104084134"],"corresponding_institution_ids":["https://openalex.org/I4210101778"],"apc_list":null,"apc_paid":null,"fwci":3.9991,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":{"value":0.94607608,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"410","last_page":"429"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10260","display_name":"Software Engineering Research","score":0.9933000206947327,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.9048675894737244},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8484801054000854},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.7816784381866455},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.748974621295929},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6378052830696106},{"id":"https://openalex.org/keywords/javascript","display_name":"JavaScript","score":0.5609301328659058},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5457571744918823},{"id":"https://openalex.org/keywords/inheritance","display_name":"Inheritance (genetic algorithm)","score":0.46160000562667847},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.4349077343940735},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41963982582092285},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18612366914749146}],"concepts":[{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.9048675894737244},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8484801054000854},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7816784381866455},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.748974621295929},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6378052830696106},{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.5609301328659058},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5457571744918823},{"id":"https://openalex.org/C2780902518","wikidata":"https://www.wikidata.org/wiki/Q6033780","display_name":"Inheritance (genetic algorithm)","level":3,"score":0.46160000562667847},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.4349077343940735},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41963982582092285},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18612366914749146},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2983990.2984017","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2983990.2984017","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W202191487","https://openalex.org/W753900477","https://openalex.org/W1495342505","https://openalex.org/W1503606081","https://openalex.org/W1506833497","https://openalex.org/W1507723317","https://openalex.org/W1529805101","https://openalex.org/W1549804464","https://openalex.org/W1563971619","https://openalex.org/W1581913118","https://openalex.org/W1793434178","https://openalex.org/W1839269954","https://openalex.org/W1879619902","https://openalex.org/W1999753800","https://openalex.org/W2036378583","https://openalex.org/W2040152339","https://openalex.org/W2067872353","https://openalex.org/W2077116540","https://openalex.org/W2081992169","https://openalex.org/W2091335641","https://openalex.org/W2093036100","https://openalex.org/W2102473657","https://openalex.org/W2113556560","https://openalex.org/W2129345992","https://openalex.org/W2152419799","https://openalex.org/W2156249516","https://openalex.org/W2163976959","https://openalex.org/W2164487084","https://openalex.org/W2165928807","https://openalex.org/W2179972501","https://openalex.org/W2252374344","https://openalex.org/W2489406325","https://openalex.org/W2498316819","https://openalex.org/W2510854903","https://openalex.org/W2537680118","https://openalex.org/W3105116128","https://openalex.org/W3183766709","https://openalex.org/W4229717394","https://openalex.org/W4244807040","https://openalex.org/W6629914706","https://openalex.org/W6728609655"],"related_works":["https://openalex.org/W1511249877","https://openalex.org/W2466303427","https://openalex.org/W1578828174","https://openalex.org/W2000943029","https://openalex.org/W2950376466","https://openalex.org/W2621980927","https://openalex.org/W4302559785","https://openalex.org/W4226437312","https://openalex.org/W2081551198","https://openalex.org/W2294370068"],"abstract_inverted_index":{"We":[0,116],"present":[1],"a":[2,9,79,105],"type":[3,25,92,122,143],"system":[4,26,123],"and":[5,21,29,32,83,90,124,145],"inference":[6,71,101,125,133],"algorithm":[7,77],"for":[8,66,73,119],"rich":[10],"subset":[11],"of":[12,63,81],"JavaScript":[13],"equipped":[14],"with":[15,41,140],"objects,":[16,31],"structural":[17],"subtyping,":[18],"prototype":[19,74],"inheritance,":[20,75],"first-class":[22],"methods.":[23],"The":[24,45,100],"supports":[27],"abstract":[28],"recursive":[30],"is":[33,102,134],"expressive":[34],"enough":[35],"to":[36,55,87,110],"accommodate":[37],"several":[38],"standard":[39],"benchmarks":[40,139],"only":[42],"minor":[43],"workarounds.":[44],"invariants":[46],"enforced":[47],"by":[48],"the":[49,61,121,132,137,147],"types":[50,89,149],"enable":[51,150],"an":[52],"ahead-of-time":[53],"compiler":[54],"carry":[56],"out":[57],"optimizations":[58],"typically":[59],"beyond":[60],"reach":[62],"static":[64,152],"compilers":[65],"dynamic":[67],"languages.":[68],"Unlike":[69],"previous":[70],"techniques":[72],"our":[76],"uses":[78],"combination":[80],"lower":[82],"upper":[84],"bound":[85],"propagation":[86],"infer":[88],"discover":[91],"errors":[93],"in":[94,104],"all":[95],"code,":[96],"including":[97],"uninvoked":[98],"functions.":[99],"expressed":[103],"simple":[106],"constraint":[107],"language,":[108],"designed":[109],"leverage":[111],"off-the-shelf":[112],"fixed":[113],"point":[114],"solvers.":[115],"prove":[117],"soundness":[118],"both":[120],"algorithm.":[126],"An":[127],"experimental":[128],"evaluation":[129],"showed":[130],"that":[131,146],"powerful,":[135],"handling":[136],"aforementioned":[138],"no":[141],"manual":[142],"annotation,":[144],"inferred":[148],"effective":[151],"compilation.":[153]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":4},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2}],"updated_date":"2026-03-25T14:56:36.534964","created_date":"2025-10-10T00:00:00"}