{"id":"https://openalex.org/W3165028596","doi":"https://doi.org/10.1145/3468264.3468556","title":"Accelerating JavaScript static analysis via dynamic shortcuts","display_name":"Accelerating JavaScript static analysis via dynamic shortcuts","publication_year":2021,"publication_date":"2021-08-18","ids":{"openalex":"https://openalex.org/W3165028596","doi":"https://doi.org/10.1145/3468264.3468556","mag":"3165028596"},"language":"en","primary_location":{"id":"doi:10.1145/3468264.3468556","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3468264.3468556","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th 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"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2105.13699","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101598978","display_name":"Joonyoung Park","orcid":"https://orcid.org/0000-0001-9368-7347"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Joonyoung Park","raw_affiliation_strings":["KAIST, South Korea"],"raw_orcid":"https://orcid.org/0000-0001-9368-7347","affiliations":[{"raw_affiliation_string":"KAIST, South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086668734","display_name":"Jihyeok Park","orcid":"https://orcid.org/0000-0001-8387-1984"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jihyeok Park","raw_affiliation_strings":["KAIST, South Korea"],"raw_orcid":"https://orcid.org/0000-0001-8387-1984","affiliations":[{"raw_affiliation_string":"KAIST, South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007040243","display_name":"Dongjun Youn","orcid":"https://orcid.org/0000-0002-5766-2035"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Dongjun Youn","raw_affiliation_strings":["KAIST, South Korea"],"raw_orcid":"https://orcid.org/0000-0002-5766-2035","affiliations":[{"raw_affiliation_string":"KAIST, South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087492388","display_name":"Sukyoung Ryu","orcid":"https://orcid.org/0000-0002-0019-9772"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Sukyoung Ryu","raw_affiliation_strings":["KAIST, South Korea"],"raw_orcid":"https://orcid.org/0000-0002-0019-9772","affiliations":[{"raw_affiliation_string":"KAIST, South Korea","institution_ids":["https://openalex.org/I157485424"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.7975,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.92180962,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1129","last_page":"1140"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.9980000257492065,"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/javascript","display_name":"JavaScript","score":0.9070452451705933},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.8684777617454529},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8533788919448853},{"id":"https://openalex.org/keywords/unobtrusive-javascript","display_name":"Unobtrusive JavaScript","score":0.7076569199562073},{"id":"https://openalex.org/keywords/spectrum-analyzer","display_name":"Spectrum analyzer","score":0.6201924085617065},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.5908421277999878},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.5773969292640686},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44510412216186523},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.4414806365966797},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.34830066561698914},{"id":"https://openalex.org/keywords/rich-internet-application","display_name":"Rich Internet application","score":0.2286878228187561},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.17474406957626343},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.099175363779068}],"concepts":[{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.9070452451705933},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.8684777617454529},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8533788919448853},{"id":"https://openalex.org/C198240166","wikidata":"https://www.wikidata.org/wiki/Q2298909","display_name":"Unobtrusive JavaScript","level":4,"score":0.7076569199562073},{"id":"https://openalex.org/C158007255","wikidata":"https://www.wikidata.org/wiki/Q1055222","display_name":"Spectrum analyzer","level":2,"score":0.6201924085617065},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5908421277999878},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5773969292640686},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44510412216186523},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.4414806365966797},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.34830066561698914},{"id":"https://openalex.org/C103048170","wikidata":"https://www.wikidata.org/wiki/Q725485","display_name":"Rich Internet application","level":3,"score":0.2286878228187561},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.17474406957626343},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.099175363779068},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3468264.3468556","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3468264.3468556","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th 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:2105.13699","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2105.13699","pdf_url":"https://arxiv.org/pdf/2105.13699","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":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2105.13699","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2105.13699","pdf_url":"https://arxiv.org/pdf/2105.13699","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":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W146848279","https://openalex.org/W148369031","https://openalex.org/W202191487","https://openalex.org/W1710734607","https://openalex.org/W1966862293","https://openalex.org/W1969808647","https://openalex.org/W1987647365","https://openalex.org/W1992859750","https://openalex.org/W2027625187","https://openalex.org/W2036639103","https://openalex.org/W2040518484","https://openalex.org/W2042033151","https://openalex.org/W2043100293","https://openalex.org/W2061640969","https://openalex.org/W2084875723","https://openalex.org/W2096449544","https://openalex.org/W2101512909","https://openalex.org/W2110507526","https://openalex.org/W2290206096","https://openalex.org/W2405195981","https://openalex.org/W2537655783","https://openalex.org/W2600665173","https://openalex.org/W2621177934","https://openalex.org/W2622514874","https://openalex.org/W2766362161","https://openalex.org/W2768734329","https://openalex.org/W2795856118","https://openalex.org/W2886900155","https://openalex.org/W2900295456","https://openalex.org/W2910694811","https://openalex.org/W2931028669","https://openalex.org/W2937057045","https://openalex.org/W2980274877","https://openalex.org/W3004099993","https://openalex.org/W3109059530","https://openalex.org/W3165028596","https://openalex.org/W4237492309"],"related_works":["https://openalex.org/W1566603754","https://openalex.org/W2621181330","https://openalex.org/W2085515337","https://openalex.org/W2766362161","https://openalex.org/W2525971262","https://openalex.org/W2949337025","https://openalex.org/W2867457158","https://openalex.org/W2584011092","https://openalex.org/W2290206096","https://openalex.org/W2527850347"],"abstract_inverted_index":{"JavaScript":[0,66,108,128],"has":[1],"become":[2],"one":[3],"of":[4,33,39,49,78,86,147,166],"the":[5,29,37,75,84,119,132,140,179,186],"most":[6],"widely":[7],"used":[8],"programming":[9],"languages":[10],"for":[11,19,135,196],"web":[12],"development,":[13],"server-side":[14],"programming,":[15],"and":[16,25,31,42,81,104,122,130,149,154,183],"even":[17],"micro-controllers":[18],"IoT.":[20],"However,":[21,69],"its":[22],"extremely":[23],"functional":[24],"dynamic":[26,63,79,94,156],"features":[27],"degrade":[28],"performance":[30,77,121],"precision":[32,123,187],"static":[34,67,87,109,152,181],"analysis.":[35,68,88],"Moreover,":[36],"variety":[38],"built-in":[40],"functions":[41],"host":[43],"environments":[44],"requires":[45],"excessive":[46],"manual":[47],"modeling":[48,133],"their":[50],"behaviors.":[51],"To":[52],"alleviate":[53],"these":[54],"problems,":[55],"researchers":[56],"have":[57],"proposed":[58],"various":[59],"ways":[60],"to":[61,99,188],"leverage":[62],"analysis":[64,80,110,120],"during":[65,107],"they":[70],"do":[71],"not":[72],"fully":[73],"utilize":[74],"high":[76],"often":[82],"sacrifice":[83],"soundness":[85],"In":[89],"this":[90],"paper,":[91],"we":[92],"present":[93],"shortcuts,":[95],"a":[96,112,151,155],"new":[97],"technique":[98,141],"flexibly":[100],"switch":[101],"between":[102],"abstract":[103],"concrete":[105],"execution":[106],"in":[111],"sound":[113],"way.":[114],"It":[115],"can":[116],"significantly":[117],"improve":[118],"by":[124,192],"using":[125,162],"highly-optimized":[126],"commercial":[127],"engines":[129],"lessen":[131],"efforts":[134],"opaque":[136,198],"code.":[137],"We":[138,159],"actualize":[139],"via":[142],"SAFEDS,":[143],"an":[144],"extended":[145],"combination":[146],"SAFE":[148],"Jalangi,":[150],"analyzer":[153],"analyzer,":[157,182],"respectively.":[158],"evaluated":[160],"SAFEDS":[161,174],"269":[163],"official":[164],"tests":[165],"Lodash":[167],"4":[168],"library.":[169],"Our":[170],"experiment":[171],"shows":[172],"that":[173],"is":[175],"7.81x":[176],"faster":[177],"than":[178],"baseline":[180],"it":[184],"improves":[185],"reduce":[189],"failed":[190],"assertions":[191],"12.31%":[193],"on":[194],"average":[195],"22":[197],"functions.":[199]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2021-06-07T00:00:00"}