{"id":"https://openalex.org/W3110369458","doi":"https://doi.org/10.1145/3428292","title":"Guiding dynamic programing via structural probability for accelerating programming by example","display_name":"Guiding dynamic programing via structural probability for accelerating programming by example","publication_year":2020,"publication_date":"2020-11-13","ids":{"openalex":"https://openalex.org/W3110369458","doi":"https://doi.org/10.1145/3428292","mag":"3110369458"},"language":"en","primary_location":{"id":"doi:10.1145/3428292","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3428292","pdf_url":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":"diamond","oa_url":"https://doi.org/10.1145/3428292","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059555100","display_name":"Ruyi Ji","orcid":"https://orcid.org/0000-0002-0150-8629"},"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":"Ruyi Ji","raw_affiliation_strings":["Peking University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005639930","display_name":"Yican Sun","orcid":"https://orcid.org/0000-0002-0370-1676"},"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":"Yican Sun","raw_affiliation_strings":["Peking University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University, 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"},"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":["Peking University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102717988","display_name":"Zhenjiang Hu","orcid":"https://orcid.org/0000-0002-9034-205X"},"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":"Zhenjiang Hu","raw_affiliation_strings":["Peking University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I20231570"],"apc_list":null,"apc_paid":null,"fwci":2.8034,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.92783456,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"4","issue":"OOPSLA","first_page":"1","last_page":"29"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"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.9998000264167786,"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.9993000030517578,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.996999979019165,"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/computer-science","display_name":"Computer science","score":0.7293671369552612},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.675340473651886},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.609771728515625},{"id":"https://openalex.org/keywords/dynamic-programming","display_name":"Dynamic programming","score":0.580833911895752},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5206903219223022},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.34111979603767395},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24536409974098206},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2403317093849182},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09150129556655884}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7293671369552612},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.675340473651886},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.609771728515625},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.580833911895752},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5206903219223022},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.34111979603767395},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24536409974098206},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2403317093849182},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09150129556655884},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3428292","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3428292","pdf_url":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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/3428292","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3428292","pdf_url":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":[{"id":"https://metadata.un.org/sdg/9","score":0.44999998807907104,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G1512238080","display_name":null,"funder_award_id":"61922003","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2865606360","display_name":null,"funder_award_id":"61672045","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G315253157","display_name":null,"funder_award_id":"61620106007","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G808238081","display_name":null,"funder_award_id":"Nos. 61922003, 61672045, 61620106007","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8203602791","display_name":null,"funder_award_id":"No. SQ2019YFE010068","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W1912569824","https://openalex.org/W2038123353","https://openalex.org/W2049311030","https://openalex.org/W2060610732","https://openalex.org/W2112660220","https://openalex.org/W2144951274","https://openalex.org/W2146753709","https://openalex.org/W2149236697","https://openalex.org/W2150470619","https://openalex.org/W2288434693","https://openalex.org/W2416325154","https://openalex.org/W2550471858","https://openalex.org/W2554492429","https://openalex.org/W2560674852","https://openalex.org/W2589084440","https://openalex.org/W2600077159","https://openalex.org/W2601273560","https://openalex.org/W2603456259","https://openalex.org/W2626990892","https://openalex.org/W2765742677","https://openalex.org/W2768805914","https://openalex.org/W2798628553","https://openalex.org/W2898335306","https://openalex.org/W2899212285","https://openalex.org/W2956992268","https://openalex.org/W2962858219","https://openalex.org/W2963049621","https://openalex.org/W2964150020","https://openalex.org/W2968700020","https://openalex.org/W3033889389","https://openalex.org/W3121841058","https://openalex.org/W3139850658","https://openalex.org/W3147069655","https://openalex.org/W4237412827","https://openalex.org/W4247950230","https://openalex.org/W4299828299"],"related_works":["https://openalex.org/W2389214306","https://openalex.org/W4235240664","https://openalex.org/W2965083567","https://openalex.org/W1838576100","https://openalex.org/W2095886385","https://openalex.org/W2089704382","https://openalex.org/W1983399550","https://openalex.org/W97075385","https://openalex.org/W2357523926","https://openalex.org/W814774360"],"abstract_inverted_index":{"Programming":[0],"by":[1],"example":[2],"(PBE)":[3],"is":[4,39],"an":[5],"important":[6],"subproblem":[7],"of":[8,34,46],"program":[9],"synthesis,":[10],"and":[11,49,102],"PBE":[12,25,58,67],"techniques":[13,22],"have":[14,27],"been":[15,28],"applied":[16],"to":[17,82],"many":[18,21],"domains.":[19],"Though":[20],"for":[23],"accelerating":[24],"systems":[26],"explored,":[29],"the":[30,35,44,50,92],"scalability":[31],"remains":[32],"one":[33],"main":[36],"challenges:":[37],"There":[38],"still":[40],"a":[41,65,72,84],"gap":[42],"between":[43],"performances":[45],"state-of-the-art":[47,118],"synthesizers":[48],"industrial":[51],"requirement.":[52],"To":[53],"further":[54],"speed":[55],"up":[56],"solving":[57],"tasks,":[59],"in":[60],"this":[61],"paper,":[62],"we":[63],"propose":[64],"novel":[66],"framework":[68],"MaxFlash.":[69],"MaxFlash":[70,110],"uses":[71],"model":[73],"based":[74,86],"on":[75,87,96,120],"structural":[76],"probability,":[77],"named":[78],"topdown":[79],"prediction":[80],"models,":[81],"guide":[83],"search":[85,93],"dynamic":[88],"programming,":[89],"such":[90],"that":[91,98,109],"will":[94],"focus":[95],"subproblems":[97],"form":[99],"probable":[100],"programs,":[101],"avoid":[103],"improbable":[104],"programs.":[105],"Our":[106],"evaluation":[107],"shows":[108],"achieves":[111],"\u00d7":[112,114],"4.107\u2212":[113],"2080":[115],"speed-ups":[116],"against":[117],"solvers":[119],"244":[121],"real-world":[122],"tasks.":[123]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3}],"updated_date":"2026-08-18T07:49:30.821534","created_date":"2025-10-10T00:00:00"}