乐胖代购免代理版

{"id":"https://openalex.org/W2962809971","doi":"https://doi.org/10.1109/icse.2017.44","title":"Learning Syntactic Program Transformations from Examples","display_name":"Learning Syntactic Program Transformations from Examples","publication_year":2017,"publication_date":"2017-05-01","ids":{"openalex":"https://openalex.org/W2962809971","doi":"https://doi.org/10.1109/icse.2017.44","mag":"2962809971"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse.2017.44","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://dspace.sti.ufcg.edu.br:8080/jspui/bitstream/riufcg/1712/3/REUDISMAM%20ROLIM%20DE%20SOUSA%20%e2%80%93%20TESE%20%28PPGCC%29%202018.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052829449","display_name":"Reudismam Rolim de Sousa","orcid":"https://orcid.org/0000-0001-9728-0130"},"institutions":[],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Reudismam Rolim","raw_affiliation_strings":["UFCG, Brazil"],"affiliations":[{"raw_affiliation_string":"UFCG, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025062647","display_name":"Gustavo Soares","orcid":"https://orcid.org/0000-0002-8061-9000"},"institutions":[{"id":"https://openalex.org/I134446601","display_name":"Berkeley College","ror":"https://ror.org/02xewxa75","country_code":"US","type":"education","lineage":["https://openalex.org/I134446601"]},{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"funder","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gustavo Soares","raw_affiliation_strings":["UC Berkeley, USA","UFCG, Brazil"],"affiliations":[{"raw_affiliation_string":"UC Berkeley, USA","institution_ids":["https://openalex.org/I134446601","https://openalex.org/I95457486"]},{"raw_affiliation_string":"UFCG, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089920000","display_name":"Loris D\u2019Antoni","orcid":"https://orcid.org/0000-0001-9625-4037"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"funder","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Loris D'Antoni","raw_affiliation_strings":["University of Wisconsin-Madison, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066539391","display_name":"Oleksandr Polozov","orcid":"https://orcid.org/0000-0003-3669-4262"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"funder","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Oleksandr Polozov","raw_affiliation_strings":["University of Washington, USA"],"affiliations":[{"raw_affiliation_string":"University of Washington, USA","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011543162","display_name":"Sumit Gulwani","orcid":"https://orcid.org/0000-0002-9226-9634"},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"funder","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sumit Gulwani","raw_affiliation_strings":["Microsoft, USA"],"affiliations":[{"raw_affiliation_string":"Microsoft, USA","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075988425","display_name":"Rohit Gheyi","orcid":"https://orcid.org/0000-0002-5562-4449"},"institutions":[],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Rohit Gheyi","raw_affiliation_strings":["UFCG, Brazil"],"affiliations":[{"raw_affiliation_string":"UFCG, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103097262","display_name":"Ryo Suzuki","orcid":"https://orcid.org/0000-0003-3294-9555"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"funder","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ryo Suzuki","raw_affiliation_strings":["University of Colorado Boulder, USA"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder, USA","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084965768","display_name":"Bj\u00f6rn Hartmann","orcid":null},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"funder","lineage":["https://openalex.org/I95457486"]},{"id":"https://openalex.org/I134446601","display_name":"Berkeley College","ror":"https://ror.org/02xewxa75","country_code":"US","type":"education","lineage":["https://openalex.org/I134446601"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bjorn Hartmann","raw_affiliation_strings":["UC Berkeley, USA"],"affiliations":[{"raw_affiliation_string":"UC Berkeley, USA","institution_ids":["https://openalex.org/I95457486","https://openalex.org/I134446601"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":19.158,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":197,"citation_normalized_percentile":{"value":0.945604,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"404","last_page":"415"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9996,"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.9996,"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.9967,"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.9744,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/code-refactoring","display_name":"Code refactoring","score":0.8498904},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.7453701},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.658979},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6190488},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"Program synthesis","score":0.57298994},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4849551},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model Transformation","score":0.41868228}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.89397275},{"id":"https://openalex.org/C152752567","wikidata":"https://www.wikidata.org/wiki/Q116877","display_name":"Code refactoring","level":3,"score":0.8498904},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7617587},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.7453701},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.658979},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6190488},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.59956896},{"id":"https://openalex.org/C201374245","wikidata":"https://www.wikidata.org/wiki/Q104534","display_name":"Digital subscriber line","level":2,"score":0.5805318},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.57298994},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.54758596},{"id":"https://openalex.org/C189430467","wikidata":"https://www.wikidata.org/wiki/Q7293293","display_name":"Ranking (information retrieval)","level":2,"score":0.52396154},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4849551},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.43982607},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.41868228},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3632919},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.30379978},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.25072983},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.14337069},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","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/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse.2017.44","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1712","pdf_url":"http://dspace.sti.ufcg.edu.br:8080/jspui/bitstream/riufcg/1712/3/REUDISMAM%20ROLIM%20DE%20SOUSA%20%e2%80%93%20TESE%20%28PPGCC%29%202018.pdf","source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":["LA Referencia"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/1608.09000","pdf_url":"https://arxiv.org/pdf/1608.09000","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1712","pdf_url":"http://dspace.sti.ufcg.edu.br:8080/jspui/bitstream/riufcg/1712/3/REUDISMAM%20ROLIM%20DE%20SOUSA%20%e2%80%93%20TESE%20%28PPGCC%29%202018.pdf","source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":["LA Referencia"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"display_name":"Quality education","id":"https://metadata.un.org/sdg/4","score":0.56}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":51,"referenced_works":["https://openalex.org/W1498075971","https://openalex.org/W1502767928","https://openalex.org/W1526922602","https://openalex.org/W1673310716","https://openalex.org/W1791762382","https://openalex.org/W1966439887","https://openalex.org/W1976373002","https://openalex.org/W1979866694","https://openalex.org/W1981285419","https://openalex.org/W1982227016","https://openalex.org/W1982239607","https://openalex.org/W1988281920","https://openalex.org/W1999298208","https://openalex.org/W2003889154","https://openalex.org/W2012312630","https://openalex.org/W2045765932","https://openalex.org/W2060610732","https://openalex.org/W2073398506","https://openalex.org/W2090111344","https://openalex.org/W2093535699","https://openalex.org/W2094878426","https://openalex.org/W2101723202","https://openalex.org/W2102546154","https://openalex.org/W2104172960","https://openalex.org/W2132525863","https://openalex.org/W2141682682","https://openalex.org/W2142403498","https://openalex.org/W2143861926","https://openalex.org/W2144951274","https://openalex.org/W2145124323","https://openalex.org/W2159682099","https://openalex.org/W2160580192","https://openalex.org/W2161052636","https://openalex.org/W2166478491","https://openalex.org/W2246775628","https://openalex.org/W2274071363","https://openalex.org/W2299643279","https://openalex.org/W2486590439","https://openalex.org/W2548627465","https://openalex.org/W2562836854","https://openalex.org/W2605403059","https://openalex.org/W3005855585","https://openalex.org/W3012572620","https://openalex.org/W3146720657","https://openalex.org/W3147782219","https://openalex.org/W3148057751","https://openalex.org/W4230190751","https://openalex.org/W4231241365","https://openalex.org/W4237412827","https://openalex.org/W4255750776","https://openalex.org/W4256028358"],"related_works":["https://openalex.org/W3006129753","https://openalex.org/W2962809971","https://openalex.org/W2888997865","https://openalex.org/W2525463489","https://openalex.org/W2501553274","https://openalex.org/W2122686335","https://openalex.org/W2112914024","https://openalex.org/W2014419036","https://openalex.org/W1994068812","https://openalex.org/W1608803044"],"abstract_inverted_index":{"Automatic":[0],"program":[1,53,74,123,169,223,256],"transformation":[2,95,224,257],"tools":[3],"can":[4,66,172],"be":[5,67,91],"valuable":[6],"for":[7,16,50,72,121,129,139,199],"programmers":[8],"to":[9,29,161,195,216,220,229],"help":[10],"them":[11],"with":[12,177],"refactoring":[13],"tasks,":[14],"and":[15,40,87,136,146],"Computer":[17],"Science":[18],"students":[19,160],"in":[20,93,133,149,232,258],"the":[21,58,80,97,111,134,141,202,205,217,233,254,261],"form":[22],"of":[23,36,100,155,201,242,260],"tutoring":[24],"systems":[25],"that":[26,60,171,225],"suggest":[27],"repairs":[28],"programming":[30,164,186],"assignments.":[31],"However,":[32],"manually":[33],"creating":[34],"catalogs":[35],"transformations":[37,132,170],"is":[38],"complex":[39],"time-consuming.":[41],"In":[42,180,204,235],"this":[43],"paper,":[44],"we":[45,167,208],"present":[46],"REFAZER,":[47],"a":[48,94,116,222],"technique":[49,193],"automatically":[51],"learning":[52,73],"transformations.":[54,75,143],"REFAZER":[55,105,148,252],"builds":[56],"on":[57,184,239,267],"observation":[59],"code":[61,156,211],"edits":[62,77,157,212,228,244],"performed":[63,188],"by":[64,159,189,214],"developers":[65,215],"used":[68,158],"as":[69],"input-output":[70],"examples":[71,154,266],"Example":[76],"may":[78],"share":[79],"same":[81,218],"structure":[82],"but":[83],"involve":[84],"different":[85],"variables":[86],"subexpressions,":[88],"which":[89],"must":[90],"generalized":[92],"at":[96],"right":[98],"level":[99],"abstraction.":[101],"To":[102],"learn":[103,168],"transformations,":[104,124],"leverages":[106],"state-of-the-art":[107],"programming-by-example":[108],"methodology":[109],"using":[110,263],"following":[112],"key":[113],"components:":[114],"(a)":[115],"novel":[117],"domain-specific":[118,126],"language":[119],"(DSL)":[120],"describing":[122],"(b)":[125],"deductive":[127],"algorithms":[128],"efficiently":[130],"synthesizing":[131],"DSL,":[135],"(c)":[137],"functions":[138],"ranking":[140],"synthesized":[142],"We":[144],"instantiate":[145],"evaluate":[147],"two":[150],"domains.":[151],"First,":[152],"given":[153],"fix":[162,173,196],"incorrect":[163,197],"assignment":[165],"submissions,":[166],"other":[174,230],"students'":[175],"submissions":[176,198],"similar":[178],"faults.":[179],"our":[181,192,236],"evaluation":[182,237],"conducted":[183,238],"4":[185],"tasks":[187],"720":[190],"students,":[191],"helped":[194],"87%":[200],"students.":[203],"second":[206],"domain,":[207],"use":[209],"repetitive":[210,243],"applied":[213],"project":[219],"synthesize":[221],"applies":[226],"these":[227],"locations":[231],"code.":[234],"56":[240],"scenarios":[241],"taken":[245],"from":[246],"three":[247],"large":[248],"C#":[249],"open-source":[250],"projects,":[251],"learns":[253],"intended":[255],"84%":[259],"cases":[262],"only":[264],"2.9":[265],"average.":[268]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2962809971","counts_by_year":[{"year":2024,"cited_by_count":17},{"year":2023,"cited_by_count":17},{"year":2022,"cited_by_count":24},{"year":2021,"cited_by_count":30},{"year":2020,"cited_by_count":30},{"year":2019,"cited_by_count":34},{"year":2018,"cited_by_count":26},{"year":2017,"cited_by_count":18},{"year":2016,"cited_by_count":1}],"updated_date":"2025-03-16T08:44:44.547711","created_date":"2019-07-30"}