{"id":"https://openalex.org/W3000410628","doi":"https://doi.org/10.1109/ase.2019.00033","title":"Inferring Program Transformations From Singular Examples via Big Code","display_name":"Inferring Program Transformations From Singular Examples via Big Code","publication_year":2019,"publication_date":"2019-11-01","ids":{"openalex":"https://openalex.org/W3000410628","doi":"https://doi.org/10.1109/ase.2019.00033","mag":"3000410628"},"language":"en","primary_location":{"id":"doi:10.1109/ase.2019.00033","doi":"https://doi.org/10.1109/ase.2019.00033","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2019.00033","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"IEEE/ACM International Conference on Automated Software Engineering (ASE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5044689090","display_name":"Jiajun Jiang","orcid":"https://orcid.org/0000-0003-1983-6572","observed_orcids":["https://orcid.org/0000-0003-1983-6572","https://orcid.org/0000-0002-4619-1899"]},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiajun Jiang","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies, Ministry of Education (PKU), Peking University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, Ministry of Education (PKU), Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103047914","display_name":"Luyao Ren","orcid":"https://orcid.org/0009-0007-5291-7880","observed_orcids":["https://orcid.org/0009-0007-5291-7880"]},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Luyao Ren","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies, Ministry of Education (PKU), Peking University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, Ministry of Education (PKU), Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100712724","display_name":"Yingfei Xiong","orcid":"https://orcid.org/0000-0001-8991-747X","observed_orcids":["https://orcid.org/0000-0001-8991-747X"]},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yingfei Xiong","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies, Ministry of Education (PKU), Peking University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, Ministry of Education (PKU), Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043546718","display_name":"Lingming Zhang","orcid":"https://orcid.org/0000-0001-5175-2702","observed_orcids":["https://orcid.org/0000-0001-5175-2702"]},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lingming Zhang","raw_affiliation_strings":["University of Texas at Dallas, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, USA","institution_ids":["https://openalex.org/I162577319"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":7.2353,"has_fulltext":false,"cited_by_count":77,"citation_normalized_percentile":{"value":0.98171514,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"255","last_page":"266"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9976000189781189,"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.9976000189781189,"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.0020000000949949026,"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/T10126","display_name":"Logic, programming, and type systems","score":9.999999747378752e-05,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/hypergraph-representation","display_name":"hypergraph representation","score":0.7860000133514404},{"id":"https://openalex.org/keywords/automated-program-repair","display_name":"automated program repair","score":0.8379999995231628},{"id":"https://openalex.org/keywords/refactoring","display_name":"refactoring","score":0.6740000247955322},{"id":"https://openalex.org/keywords/defects4j","display_name":"Defects4J","score":0.7519999742507935}],"concepts":[{"id":"https://openalex.org/C152752567","wikidata":"https://www.wikidata.org/wiki/Q116877","display_name":"Code refactoring","level":3,"score":0.9214732646942139},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8171898126602173},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.7306824922561646},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.7151468396186829},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6362127065658569},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6226316690444946},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5808009505271912},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.5535467863082886},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5462328195571899},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5439456105232239},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5047334432601929},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5041993856430054},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5027711391448975},{"id":"https://openalex.org/C2988963302","wikidata":"https://www.wikidata.org/wiki/Q629206","display_name":"Program code","level":2,"score":0.4313289523124695},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32485759258270264},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32130882143974304},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.22441476583480835},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ase.2019.00033","doi":"https://doi.org/10.1109/ase.2019.00033","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2019.00033","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"IEEE/ACM International Conference on Automated Software Engineering (ASE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":69,"referenced_works":["https://openalex.org/W1481474677","https://openalex.org/W1771830246","https://openalex.org/W1993418924","https://openalex.org/W2029853454","https://openalex.org/W2039168567","https://openalex.org/W2063703022","https://openalex.org/W2064459023","https://openalex.org/W2065489029","https://openalex.org/W2076719273","https://openalex.org/W2078030161","https://openalex.org/W2090111344","https://openalex.org/W2101723202","https://openalex.org/W2103326816","https://openalex.org/W2108395261","https://openalex.org/W2112862673","https://openalex.org/W2122947685","https://openalex.org/W2124085410","https://openalex.org/W2128049346","https://openalex.org/W2128466029","https://openalex.org/W2135742552","https://openalex.org/W2143051121","https://openalex.org/W2153150125","https://openalex.org/W2153887189","https://openalex.org/W2156723666","https://openalex.org/W2158389966","https://openalex.org/W2162422574","https://openalex.org/W2168156367","https://openalex.org/W2246822044","https://openalex.org/W2274071363","https://openalex.org/W2295857493","https://openalex.org/W2344973853","https://openalex.org/W2400994325","https://openalex.org/W2405324591","https://openalex.org/W2518136680","https://openalex.org/W2522470548","https://openalex.org/W2522805094","https://openalex.org/W2537787699","https://openalex.org/W2548997977","https://openalex.org/W2577451492","https://openalex.org/W2601450892","https://openalex.org/W2620081107","https://openalex.org/W2725305298","https://openalex.org/W2736091366","https://openalex.org/W2740130372","https://openalex.org/W2767431443","https://openalex.org/W2767766265","https://openalex.org/W2767951593","https://openalex.org/W2787379525","https://openalex.org/W2794443436","https://openalex.org/W2795030435","https://openalex.org/W2795866244","https://openalex.org/W2851896161","https://openalex.org/W2867448323","https://openalex.org/W2888328667","https://openalex.org/W2952920225","https://openalex.org/W2955767826","https://openalex.org/W2958722695","https://openalex.org/W2958754741","https://openalex.org/W2962715466","https://openalex.org/W2962809971","https://openalex.org/W2968109196","https://openalex.org/W2968370566","https://openalex.org/W2973153063","https://openalex.org/W4230190751","https://openalex.org/W4244452712","https://openalex.org/W4255632703","https://openalex.org/W6727065167","https://openalex.org/W6728702617","https://openalex.org/W6731730555"],"related_works":["https://openalex.org/W2078030161","https://openalex.org/W2508303746","https://openalex.org/W7100589221","https://openalex.org/W1690778037","https://openalex.org/W2922561674","https://openalex.org/W1498075971","https://openalex.org/W92343624","https://openalex.org/W2740130372","https://openalex.org/W3042748063","https://openalex.org/W7097679674"],"abstract_inverted_index":{"Inferring":[0],"program":[1,5,15,20,26,67,93,141,166,192,205],"transformations":[2,27,220],"from":[3,69,149,222],"concrete":[4,89],"changes":[6],"has":[7,197],"many":[8,43,100,254],"potential":[9,199],"uses,":[10],"such":[11,50],"as":[12,122],"applying":[13,219],"systematic":[14,163,171],"edits,":[16],"refactoring,":[17],"and":[18,104,147,165,248],"automated":[19],"repair.":[21,167],"Existing":[22],"work":[23],"for":[24,84,115,245,253],"inferring":[25,65],"usually":[28],"rely":[29],"on":[30,144,170,191],"statistical":[31],"information":[32],"over":[33],"a":[34,51,66,88,92,113,133,140,150,178],"potentially":[35,250],"large":[36,52],"set":[37,53],"of":[38,54,64,87,128],"program-change":[39,55],"examples.":[40,56],"However,":[41],"in":[42,99,203,213],"practical":[44],"scenarios":[45],"we":[46,60],"do":[47],"not":[48,106],"have":[49,155,228],"In":[57],"this":[58],"paper,":[59],"address":[61],"the":[62,85,198,214,237],"challenge":[63],"transformation":[68,116,134,142,246],"one":[70],"single":[71],"example.":[72],"Our":[73],"core":[74],"insight":[75],"is":[76,243],"that":[77,138,174,195,241],"\"big":[78],"code\"":[79],"can":[80,249],"provide":[81],"effective":[82,244],"guide":[83],"generalization":[86,127],"change":[90],"into":[91],"transformation,":[94],"i.e.,":[95],"code":[96,145,152],"elements":[97],"appearing":[98],"files":[101],"are":[102,120],"general":[103],"should":[105],"be":[107,201,251],"abstracted":[108],"away.":[109],"We":[110,130,154],"first":[111],"propose":[112],"framework":[114],"inference,":[117],"where":[118,225],"programs":[119],"represented":[121],"hypergraphs":[123],"to":[124,184,200],"enable":[125],"fine-grained":[126],"transformations.":[129],"then":[131],"design":[132],"inference":[135,247],"approach,":[136,180],"GENPAT,":[137],"infers":[139],"based":[143],"context":[146],"statistics":[148],"big":[151],"corpus.":[153],"evaluated":[156],"GENPAT":[157,175,196,242],"under":[158],"two":[159],"distinct":[160],"application":[161],"scenarios,":[162],"editing":[164,172],"The":[168,189],"evaluation":[169,190,238],"shows":[173],"significantly":[176],"outperforms":[177],"state-of-the-art":[179],"SYDIT,":[181],"with":[182],"up":[183],"5.5x":[185],"correctly":[186],"transformed":[187],"cases.":[188],"repair":[193,206],"suggests":[194],"integrated":[202],"advanced":[204],"tools-GENPAT":[207],"successfully":[208],"repaired":[209,231],"19":[210],"real-world":[211],"bugs":[212,227],"Defects4J":[215],"benchmark":[216],"by":[217,232],"simply":[218],"inferred":[221],"existing":[223,234],"patches,":[224],"4":[226],"never":[229],"been":[230],"any":[233],"technique.":[235],"Overall,":[236],"results":[239],"suggest":[240],"adopted":[252],"different":[255],"applications.":[256]},"counts_by_year":[{"year":2026,"cited_by_count":5},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":12},{"year":2023,"cited_by_count":12},{"year":2022,"cited_by_count":18},{"year":2021,"cited_by_count":18},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":1}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2020-01-23T00:00:00"}