{"id":"https://openalex.org/W2762491430","doi":"https://doi.org/10.1145/3133925","title":"Automatically generating features for learning program analysis heuristics for C-like languages","display_name":"Automatically generating features for learning program analysis heuristics for C-like languages","publication_year":2017,"publication_date":"2017-10-12","ids":{"openalex":"https://openalex.org/W2762491430","doi":"https://doi.org/10.1145/3133925","mag":"2762491430"},"language":"en","primary_location":{"id":"doi:10.1145/3133925","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3133925","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3133925&type=pdf","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"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":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=3133925&type=pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053430081","display_name":"Kwonsoo Chae","orcid":null},"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":true,"raw_author_name":"Kwonsoo Chae","raw_affiliation_strings":["Korea University, South Korea"],"affiliations":[{"raw_affiliation_string":"Korea University, South Korea","institution_ids":["https://openalex.org/I197347611"]}]},{"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, South Korea"],"affiliations":[{"raw_affiliation_string":"Korea University, South Korea","institution_ids":["https://openalex.org/I197347611"]}]},{"author_position":"middle","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, South Korea"],"affiliations":[{"raw_affiliation_string":"Seoul National University, South Korea","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"last","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, UK"],"affiliations":[{"raw_affiliation_string":"University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5053430081"],"corresponding_institution_ids":["https://openalex.org/I197347611"],"apc_list":null,"apc_paid":null,"fwci":4.2286,"has_fulltext":true,"cited_by_count":23,"citation_normalized_percentile":{"value":0.94626866,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"1","issue":"OOPSLA","first_page":"1","last_page":"25"},"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.9991000294685364,"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.9991000294685364,"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/T10260","display_name":"Software Engineering Research","score":0.9926999807357788,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9894999861717224,"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.8763352036476135},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.7764483690261841},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6256018280982971},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.615087628364563},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6091309785842896},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5245847105979919},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.5198529362678528},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.46286922693252563},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.44047772884368896},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4195023477077484},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4152950048446655},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.35665562748908997},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3535633385181427},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.32797783613204956},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.14333119988441467}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8763352036476135},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.7764483690261841},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6256018280982971},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.615087628364563},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6091309785842896},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5245847105979919},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.5198529362678528},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.46286922693252563},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.44047772884368896},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4195023477077484},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4152950048446655},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.35665562748908997},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3535633385181427},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.32797783613204956},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.14333119988441467},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"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/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3133925","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3133925","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3133925&type=pdf","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"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":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3133925","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3133925","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3133925&type=pdf","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"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":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4093321433","display_name":null,"funder_award_id":"B0717-16-0098","funder_id":"https://openalex.org/F4320322030","funder_display_name":"Ministry of Science, ICT and Future Planning"},{"id":"https://openalex.org/G4391129568","display_name":null,"funder_award_id":"SRFC-IT1502-07","funder_id":"https://openalex.org/F4320332195","funder_display_name":"Samsung"}],"funders":[{"id":"https://openalex.org/F4320322030","display_name":"Ministry of Science, ICT and Future Planning","ror":"https://ror.org/032e49973"},{"id":"https://openalex.org/F4320332195","display_name":"Samsung","ror":"https://ror.org/04w3jy968"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2762491430.pdf","grobid_xml":"https://content.openalex.org/works/W2762491430.grobid-xml"},"referenced_works_count":64,"referenced_works":["https://openalex.org/W96134206","https://openalex.org/W145069693","https://openalex.org/W280881733","https://openalex.org/W1268528572","https://openalex.org/W1518247129","https://openalex.org/W1970357325","https://openalex.org/W1971859150","https://openalex.org/W1990708398","https://openalex.org/W2010608861","https://openalex.org/W2028284083","https://openalex.org/W2050680750","https://openalex.org/W2051527230","https://openalex.org/W2070041685","https://openalex.org/W2079877139","https://openalex.org/W2082000355","https://openalex.org/W2085682019","https://openalex.org/W2089805963","https://openalex.org/W2096199323","https://openalex.org/W2108776051","https://openalex.org/W2111996055","https://openalex.org/W2113709047","https://openalex.org/W2122745100","https://openalex.org/W2127574686","https://openalex.org/W2134770942","https://openalex.org/W2135384260","https://openalex.org/W2136535855","https://openalex.org/W2142403498","https://openalex.org/W2143861926","https://openalex.org/W2148177688","https://openalex.org/W2149237601","https://openalex.org/W2151463894","https://openalex.org/W2154021641","https://openalex.org/W2155877593","https://openalex.org/W2156981320","https://openalex.org/W2158765820","https://openalex.org/W2163922914","https://openalex.org/W2168496583","https://openalex.org/W2170240176","https://openalex.org/W2185676247","https://openalex.org/W2238673293","https://openalex.org/W2257123346","https://openalex.org/W2264244749","https://openalex.org/W2274071363","https://openalex.org/W2295367909","https://openalex.org/W2414616261","https://openalex.org/W2414803796","https://openalex.org/W2416392025","https://openalex.org/W2444132761","https://openalex.org/W2508075332","https://openalex.org/W2528156071","https://openalex.org/W2533284009","https://openalex.org/W2761799536","https://openalex.org/W2911964244","https://openalex.org/W2914584698","https://openalex.org/W2919115771","https://openalex.org/W3015644425","https://openalex.org/W3146720657","https://openalex.org/W3158747708","https://openalex.org/W4212792638","https://openalex.org/W4230086982","https://openalex.org/W4243742593","https://openalex.org/W4247950230","https://openalex.org/W4252015082","https://openalex.org/W4252599801"],"related_works":["https://openalex.org/W2867457158","https://openalex.org/W4297908618","https://openalex.org/W2765641823","https://openalex.org/W3111646971","https://openalex.org/W2895825088","https://openalex.org/W3186878187","https://openalex.org/W2985048382","https://openalex.org/W4387793661","https://openalex.org/W1843794072","https://openalex.org/W4376606823"],"abstract_inverted_index":{"We":[0,175],"present":[1],"a":[2,17,33,37,116,145,157,163,202],"technique":[3,75,97],"for":[4,8,15,31,36,128,148,156,180],"automatically":[5,28],"generating":[6],"features":[7,67,90,194],"data-driven":[9,13],"program":[10,18,111,142,170],"analyses.":[11,184],"Recently":[12],"approaches":[14,42],"building":[16],"analysis":[19,39,48,125],"have":[20,176],"been":[21],"developed,":[22],"which":[23],"mine":[24],"existing":[25],"codebases":[26],"and":[27,93,105,108,131,197],"learn":[29],"heuristics":[30],"finding":[32],"cost-effective":[34,196],"abstraction":[35],"given":[38,158],"task.":[40],"Such":[41],"reduce":[43],"the":[44,47,60,69,72,110,124,129,132,138,169,173],"burden":[45],"of":[46,63,71,119,172,205],"designers,":[49],"but":[50],"they":[51,57],"do":[52],"not":[53],"remove":[54],"it":[55,106,165],"completely;":[56],"still":[58],"leave":[59],"nontrivial":[61],"task":[62],"designing":[64],"so":[65],"called":[66],"to":[68,86,115,137,154],"hands":[70],"designers.":[73],"Our":[74,96],"aims":[76],"at":[77],"automating":[78],"this":[79],"feature":[80,147,152],"design":[81],"process.":[82],"The":[83,185],"idea":[84],"is":[85,166],"use":[87],"programs":[88,134],"as":[89,144],"after":[91],"reducing":[92],"abstracting":[94],"them.":[95],"goes":[98],"through":[99],"selected":[100],"program-query":[101,149,159],"pairs":[102],"in":[103,112,168],"codebases,":[104],"reduces":[107],"abstracts":[109],"each":[113],"pair":[114,160],"few":[117],"lines":[118],"code,":[120],"while":[121],"ensuring":[122],"that":[123,189],"behaves":[126],"similarly":[127],"original":[130],"new":[133],"with":[135,192],"respect":[136],"query.":[139],"Each":[140],"reduced":[141],"serves":[143],"boolean":[146],"pairs.":[150],"This":[151],"evaluates":[153],"true":[155],"when":[161],"(as":[162],"program)":[164],"included":[167],"part":[171],"pair.":[174],"implemented":[177],"our":[178],"approach":[179],"three":[181],"real-world":[182],"static":[183],"experimental":[186],"results":[187],"show":[188],"these":[190],"analyses":[191],"automatically-generated":[193],"are":[195],"consistently":[198],"perform":[199],"well":[200],"on":[201],"wide":[203],"range":[204],"programs.":[206]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":7}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}