{"id":"https://openalex.org/W2901239170","doi":"https://doi.org/10.1145/3121135","title":"Adaptive Static Analysis via Learning with Bayesian Optimization","display_name":"Adaptive Static Analysis via Learning with Bayesian Optimization","publication_year":2018,"publication_date":"2018-11-16","ids":{"openalex":"https://openalex.org/W2901239170","doi":"https://doi.org/10.1145/3121135","mag":"2901239170"},"language":"en","primary_location":{"id":"doi:10.1145/3121135","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3121135","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","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/A5071661688","display_name":"Kihong Heo","orcid":"https://orcid.org/0000-0003-2671-0142"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Kihong Heo","raw_affiliation_strings":["Seoul National University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Seoul National University","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042036026","display_name":"Hakjoo Oh","orcid":"https://orcid.org/0000-0002-1900-7654"},"institutions":[{"id":"https://openalex.org/I197347611","display_name":"Korea University","ror":"https://ror.org/047dqcg40","country_code":"KR","type":"education","lineage":["https://openalex.org/I197347611"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Hakjoo Oh","raw_affiliation_strings":["Korea University, Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Korea University, Korea","institution_ids":["https://openalex.org/I197347611"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101612744","display_name":"Hongseok Yang","orcid":"https://orcid.org/0000-0003-1502-2942"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Hongseok Yang","raw_affiliation_strings":["University of Oxford"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101789148","display_name":"Kwangkeun Yi","orcid":"https://orcid.org/0009-0007-5027-2177"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Kwangkeun Yi","raw_affiliation_strings":["Seoul National University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Seoul National University","institution_ids":["https://openalex.org/I139264467"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.4679,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.92089886,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"40","issue":"4","first_page":"1","last_page":"37"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9976999759674072,"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.9976999759674072,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9976000189781189,"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/T12535","display_name":"Machine Learning and Data Classification","score":0.9961000084877014,"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.8897359371185303},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5734850168228149},{"id":"https://openalex.org/keywords/codebase","display_name":"Codebase","score":0.5383845567703247},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.506330132484436},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4581860601902008},{"id":"https://openalex.org/keywords/bayesian-optimization","display_name":"Bayesian optimization","score":0.4336589276790619},{"id":"https://openalex.org/keywords/sensitivity","display_name":"Sensitivity (control systems)","score":0.4328053891658783},{"id":"https://openalex.org/keywords/spectrum-analyzer","display_name":"Spectrum analyzer","score":0.4298703670501709},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.41735637187957764},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.34587562084198},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.1523178219795227},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1083579957485199}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8897359371185303},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5734850168228149},{"id":"https://openalex.org/C51929080","wikidata":"https://www.wikidata.org/wiki/Q2425187","display_name":"Codebase","level":3,"score":0.5383845567703247},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.506330132484436},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4581860601902008},{"id":"https://openalex.org/C2778049539","wikidata":"https://www.wikidata.org/wiki/Q17002908","display_name":"Bayesian optimization","level":2,"score":0.4336589276790619},{"id":"https://openalex.org/C21200559","wikidata":"https://www.wikidata.org/wiki/Q7451068","display_name":"Sensitivity (control systems)","level":2,"score":0.4328053891658783},{"id":"https://openalex.org/C158007255","wikidata":"https://www.wikidata.org/wiki/Q1055222","display_name":"Spectrum analyzer","level":2,"score":0.4298703670501709},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.41735637187957764},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34587562084198},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.1523178219795227},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1083579957485199},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3121135","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3121135","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},{"id":"pmh:oai:s-space.snu.ac.kr:10371/163633","is_oa":false,"landing_page_url":"https://hdl.handle.net/10371/163633","pdf_url":null,"source":{"id":"https://openalex.org/S4306401345","display_name":"Seoul National University Open Repository (Seoul National University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I139264467","host_organization_name":"Seoul National University","host_organization_lineage":["https://openalex.org/I139264467"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W60686164","https://openalex.org/W96134206","https://openalex.org/W164706946","https://openalex.org/W1595159159","https://openalex.org/W1596552075","https://openalex.org/W1825099611","https://openalex.org/W1968885510","https://openalex.org/W1969513389","https://openalex.org/W1970357325","https://openalex.org/W1971859150","https://openalex.org/W1986602910","https://openalex.org/W2028284083","https://openalex.org/W2043100293","https://openalex.org/W2050680750","https://openalex.org/W2070041685","https://openalex.org/W2082000355","https://openalex.org/W2085682019","https://openalex.org/W2099201756","https://openalex.org/W2107089133","https://openalex.org/W2107690445","https://openalex.org/W2108776051","https://openalex.org/W2111996055","https://openalex.org/W2112243500","https://openalex.org/W2113709047","https://openalex.org/W2113964673","https://openalex.org/W2121344286","https://openalex.org/W2122745100","https://openalex.org/W2134770942","https://openalex.org/W2136535855","https://openalex.org/W2143861926","https://openalex.org/W2148177688","https://openalex.org/W2151463894","https://openalex.org/W2154021641","https://openalex.org/W2156981320","https://openalex.org/W2158765820","https://openalex.org/W2168496583","https://openalex.org/W2280703106","https://openalex.org/W2950182411","https://openalex.org/W3105621768","https://openalex.org/W3159825379","https://openalex.org/W4212792638","https://openalex.org/W4230086982","https://openalex.org/W4252015082","https://openalex.org/W4252599801"],"related_works":["https://openalex.org/W4210714572","https://openalex.org/W236697550","https://openalex.org/W2966393348","https://openalex.org/W2603924900","https://openalex.org/W2125343911","https://openalex.org/W3154188833","https://openalex.org/W2243368861","https://openalex.org/W4285356836","https://openalex.org/W2132874107","https://openalex.org/W2392467951"],"abstract_inverted_index":{"Building":[0],"a":[1,40,66,77,91,101,107,117,121,126,156],"cost-effective":[2],"static":[3,83,159],"analyzer":[4,35],"for":[5,81,97,119,124,141,171],"real-world":[6],"programs":[7],"is":[8,20,60,138,169],"still":[9],"regarded":[10],"an":[11,31,129,174],"art.":[12],"One":[13],"key":[14],"contributor":[15],"to":[16,39,105,110],"this":[17,58,73],"grim":[18],"reputation":[19],"the":[21,25,28,88,202,209,221],"difficulty":[22],"in":[23],"balancing":[24],"cost":[26,204],"and":[27,44,52,63,152,193,212],"precision":[29,51],"of":[30,69,100,155,198,208,220],"analyzer.":[32,160],"An":[33],"ideal":[34,59],"should":[36],"be":[37],"adaptive":[38,82],"given":[41,102],"analysis":[42,54,89,195,203],"task":[43],"avoid":[45],"using":[46,166],"techniques":[47],"that":[48,95,111,165,180,185],"unnecessarily":[49],"improve":[50],"increase":[53],"cost.":[55],"However,":[56],"achieving":[57],"highly":[61],"nontrivial,":[62],"it":[64],"requires":[65],"large":[67],"amount":[68],"engineering":[70],"efforts.":[71],"In":[72,85],"article,":[74],"we":[75,148],"present":[76,116],"new":[78],"learning-based":[79],"approach":[80],"analysis.":[84],"our":[86,146,190],"approach,":[87,147],"includes":[90],"sophisticated":[92],"parameterized":[93],"strategy":[94,127,137],"decides,":[96],"each":[98],"part":[99,112],"program,":[103],"whether":[104],"apply":[106],"precision-improving":[108],"technique":[109],"or":[113,188,218],"not.":[114],"We":[115],"method":[118],"learning":[120,172],"good":[122],"parameter":[123],"such":[125],"from":[128,173],"existing":[130,175],"codebase":[131],"via":[132],"Bayesian":[133,167],"optimization.":[134],"The":[135,161],"learnt":[136],"then":[139],"used":[140],"new,":[142],"unseen":[143],"programs.":[144],"Using":[145],"developed":[149],"partially":[150,191],"flow-":[151,187,192,211],"context-sensitive":[153,194],"variants":[154],"realistic":[157],"C":[158],"experimental":[162],"results":[163],"demonstrate":[164],"optimization":[168],"crucial":[170],"codebase.":[176],"Also,":[177],"they":[178],"show":[179],"among":[181],"all":[182],"program":[183],"queries":[184],"require":[186],"context-sensitivity,":[189],"answers":[196],"75%":[197],"them,":[199],"while":[200],"increasing":[201],"only":[205],"by":[206],"3.3\u00d7":[207],"baseline":[210],"context-insensitive":[213],"analysis,":[214],"rather":[215],"than":[216],"40\u00d7":[217],"more":[219],"fully":[222],"sensitive":[223],"version.":[224]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2018-11-29T00:00:00"}