乐胖代购免代理版

{"id":"https://openalex.org/W2731197199","doi":"https://doi.org/10.1145/3133886","title":"Synthesis of data completion scripts using finite tree automata","display_name":"Synthesis of data completion scripts using finite tree automata","publication_year":2017,"publication_date":"2017-10-12","ids":{"openalex":"https://openalex.org/W2731197199","doi":"https://doi.org/10.1145/3133886","mag":"2731197199"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3133886","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3133886&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":true,"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},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=3133886&type=pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100352782","display_name":"Xinyu Wang","orcid":"https://orcid.org/0000-0002-1836-0202"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xinyu Wang","raw_affiliation_strings":["University of Texas at Austin, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Austin, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006424908","display_name":"I\u015f\u0131l Dillig","orcid":"https://orcid.org/0000-0001-8006-1230"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Isil Dillig","raw_affiliation_strings":["University of Texas at Austin, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Austin, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045091456","display_name":"Rishabh Singh","orcid":"https://orcid.org/0000-0003-1714-9656"},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rishabh Singh","raw_affiliation_strings":["Microsoft Research, USA"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, USA","institution_ids":["https://openalex.org/I1290206253"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":9.981,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":41,"citation_normalized_percentile":{"value":0.999977,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"1","issue":"OOPSLA","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9984,"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.9984,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9972,"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"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9971,"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/sketch","display_name":"Sketch","score":0.5546486}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.83563894},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.5880392},{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.5546486},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47160134},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.46242636},{"id":"https://openalex.org/C201374245","wikidata":"https://www.wikidata.org/wiki/Q104534","display_name":"Digital subscriber line","level":2,"score":0.46229786},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41306508},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33389425},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3160591},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20764711},{"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":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3133886","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3133886&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":true,"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},{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/1707.01469","pdf_url":"https://arxiv.org/pdf/1707.01469","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":["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":"https://doi.org/10.1145/3133886","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3133886&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":true,"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},"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation","award_id":"1453386"},{"funder":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory","award_id":"8750-14-2-0270"}],"datasets":[],"versions":[],"referenced_works_count":41,"referenced_works":["https://openalex.org/W1503669197","https://openalex.org/W1507894341","https://openalex.org/W1559990457","https://openalex.org/W1568320863","https://openalex.org/W172042406","https://openalex.org/W1792831685","https://openalex.org/W1856962451","https://openalex.org/W1858945639","https://openalex.org/W1905591175","https://openalex.org/W1966814918","https://openalex.org/W1997199152","https://openalex.org/W2009207944","https://openalex.org/W2013596093","https://openalex.org/W2035020702","https://openalex.org/W2060610732","https://openalex.org/W2093535699","https://openalex.org/W2132525863","https://openalex.org/W2142126234","https://openalex.org/W2149236697","https://openalex.org/W2161159055","https://openalex.org/W2276356546","https://openalex.org/W2294220179","https://openalex.org/W2294286398","https://openalex.org/W2294628582","https://openalex.org/W2409856616","https://openalex.org/W2416325154","https://openalex.org/W24577754","https://openalex.org/W2536870052","https://openalex.org/W2550471858","https://openalex.org/W2949895386","https://openalex.org/W2997049506","https://openalex.org/W2998195985","https://openalex.org/W3009002422","https://openalex.org/W3012572620","https://openalex.org/W3022427679","https://openalex.org/W3037855651","https://openalex.org/W4238194115","https://openalex.org/W4242239856","https://openalex.org/W4246873936","https://openalex.org/W4252043682","https://openalex.org/W4253977062"],"related_works":["https://openalex.org/W4230802329","https://openalex.org/W2385974820","https://openalex.org/W2378994405","https://openalex.org/W2378679551","https://openalex.org/W2373478030","https://openalex.org/W2151852566","https://openalex.org/W2087366038","https://openalex.org/W2056183469","https://openalex.org/W2055565857","https://openalex.org/W1622568043"],"abstract_inverted_index":{"In":[0],"application":[1],"domains":[2],"that":[3,65,130,144,149,170,192,198],"store":[4],"data":[5,30,42,46,56,62,78,118,138],"in":[6,24,34,41,48,182,210],"a":[7,10,73,85,91,102,112,126,140,164,188,211],"tabular":[8,137],"format,":[9],"common":[11],"task":[12],"is":[13,163,171],"to":[14,114,187],"fill":[15],"the":[16,35,116,153,183,202,207,229],"values":[17,22],"of":[18,37,160,180,231],"some":[19],"cells":[20],"using":[21,81],"stored":[23],"other":[25],"cells.":[26],"For":[27],"instance,":[28],"such":[29],"completion":[31,63,79,119],"tasks":[32,64,80],"arise":[33],"context":[36],"missing":[38],"value":[39],"imputation":[40],"science":[43],"and":[44,50,55,84,101,133,139,215,244],"derived":[45],"computation":[47],"spreadsheets":[49],"relational":[51,134],"databases.":[52],"Unfortunately,":[53],"end-users":[54],"scientists":[57],"typically":[58],"struggle":[59],"with":[60,152,201],"many":[61],"require":[66],"non-trivial":[67],"programming":[68],"expertise.":[69],"This":[70],"paper":[71],"presents":[72],"synthesis":[74,142],"technique":[75,110,237],"for":[76,106],"automating":[77],"programming-by-example":[82],"(PBE)":[83],"very":[86],"lightweight":[87],"sketching":[88],"approach.":[89],"Given":[90],"formula":[92],"sketch":[93],"(e.g.,":[94],"AVG(?":[95],"1":[96],",":[97],"?":[98],"2":[99],"))":[100],"few":[103],"input-output":[104,154],"examples":[105],"each":[107],"hole,":[108],"our":[109,161,232,236],"synthesizes":[111],"program":[113],"automate":[115],"desired":[117],"task.":[120],"Towards":[121],"this":[122],"goal,":[123],"we":[124],"propose":[125],"domain-specific":[127],"language":[128],"(DSL)":[129],"combines":[131],"spatial":[132],"reasoning":[135],"over":[136],"novel":[141],"algorithm":[143,169,185],"can":[145],"generate":[146],"DSL":[147],"programs":[148,197],"are":[150,199],"consistent":[151,200],"examples.":[155,203],"The":[156,178],"key":[157],"technical":[158],"novelty":[159],"approach":[162,209,233],"new":[165],"version":[166],"space":[167],"learning":[168,184],"based":[172],"on":[173,218],"finite":[174],"tree":[175],"automata":[176],"(FTA).":[177],"use":[179],"FTAs":[181],"leads":[186],"more":[189,194],"compact":[190],"representation":[191],"allows":[193],"sharing":[195],"between":[196],"We":[204,226],"have":[205],"implemented":[206],"proposed":[208],"tool":[212],"called":[213],"DACE":[214],"evaluate":[216],"it":[217],"84":[219],"benchmarks":[220],"taken":[221],"from":[222],"online":[223],"help":[224],"forums.":[225],"also":[227],"illustrate":[228],"advantages":[230],"by":[234],"comparing":[235],"against":[238],"two":[239],"existing":[240],"synthesizers,":[241],"namely":[242],"Prose":[243],"Sketch.":[245]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2731197199","counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":2}],"updated_date":"2025-01-06T23:59:43.684097","created_date":"2017-07-14"}