{"id":"https://openalex.org/W4362677137","doi":"https://doi.org/10.1145/3586055","title":"Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection","display_name":"Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection","publication_year":2023,"publication_date":"2023-04-06","ids":{"openalex":"https://openalex.org/W4362677137","doi":"https://doi.org/10.1145/3586055"},"language":"en","primary_location":{"id":"doi:10.1145/3586055","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3586055","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3586055","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://dl.acm.org/doi/pdf/10.1145/3586055","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":true,"raw_author_name":"Ruyi Ji","raw_affiliation_strings":["Peking University, China"],"raw_orcid":"https://orcid.org/0000-0002-0150-8629","affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067395122","display_name":"Chaozhe Kong","orcid":"https://orcid.org/0000-0001-8232-8680"},"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":"Chaozhe Kong","raw_affiliation_strings":["Peking University, China"],"raw_orcid":"https://orcid.org/0000-0001-8232-8680","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":"https://orcid.org/0000-0001-8991-747X","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":"https://orcid.org/0000-0002-9034-205X","affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5059555100"],"corresponding_institution_ids":["https://openalex.org/I20231570"],"apc_list":null,"apc_paid":null,"fwci":1.0361,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.83105895,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"7","issue":"OOPSLA1","first_page":"819","last_page":"847"},"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.9988999962806702,"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.9988999962806702,"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.9972000122070312,"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/T10142","display_name":"Formal Methods in Verification","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.773725688457489},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.7428624629974365},{"id":"https://openalex.org/keywords/notice","display_name":"Notice","score":0.6302927732467651},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.17432519793510437}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.773725688457489},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.7428624629974365},{"id":"https://openalex.org/C2779913896","wikidata":"https://www.wikidata.org/wiki/Q7063001","display_name":"Notice","level":2,"score":0.6302927732467651},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.17432519793510437},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3586055","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3586055","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3586055","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/3586055","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3586055","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3586055","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":[],"awards":[{"id":"https://openalex.org/G445110828","display_name":null,"funder_award_id":"Grant No. 62161146003","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7496154104","display_name":null,"funder_award_id":"2021ZD0110202","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G8821883043","display_name":null,"funder_award_id":"62161146003","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation 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":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4362677137.pdf","grobid_xml":"https://content.openalex.org/works/W4362677137.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W258469679","https://openalex.org/W979215280","https://openalex.org/W1480909796","https://openalex.org/W1549970146","https://openalex.org/W1791762382","https://openalex.org/W1982239607","https://openalex.org/W1983231745","https://openalex.org/W2030991369","https://openalex.org/W2060610732","https://openalex.org/W2064766209","https://openalex.org/W2070902649","https://openalex.org/W2092795460","https://openalex.org/W2112501366","https://openalex.org/W2115733813","https://openalex.org/W2134734244","https://openalex.org/W2149236697","https://openalex.org/W2603456259","https://openalex.org/W2612337100","https://openalex.org/W2768805914","https://openalex.org/W2798628553","https://openalex.org/W2898335306","https://openalex.org/W3033481405","https://openalex.org/W3110369458","https://openalex.org/W3125180378","https://openalex.org/W3147069655","https://openalex.org/W3151202736","https://openalex.org/W3152923764","https://openalex.org/W3205352458","https://openalex.org/W6950545615"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W3018282762","https://openalex.org/W2558055997","https://openalex.org/W2791183434","https://openalex.org/W2353369313","https://openalex.org/W2086339586","https://openalex.org/W4300782058","https://openalex.org/W2394387726","https://openalex.org/W2378724474","https://openalex.org/W1472269183"],"abstract_inverted_index":{"Oracle-guided":[0],"inductive":[1],"synthesis":[2,11],"(OGIS)":[3],"is":[4,57,94,115],"a":[5,30,38,99,107],"widely-used":[6],"framework":[7],"to":[8,96,181,195,224],"apply":[9],"program":[10],"techniques":[12],"in":[13,26,74,139,155],"practice.":[14],"The":[15],"question":[16,39,71,86,109],"selection":[17,87],"problem":[18,88],"aims":[19],"at":[20],"reducing":[21,62],"the":[22,44,76,85,129,136,146,167,215],"number":[23],"of":[24,46,78,145,149,169,218],"iterations":[25,63],"OGIS":[27,35,47,126],"by":[28,222],"selecting":[29],"proper":[31],"input":[32],"for":[33,61,125,128,166,177],"each":[34],"iteration.":[36],"Theoretically,":[37],"selector":[40],"can":[41,190,212],"generally":[42,213],"improve":[43],"performance":[45,193],"solvers":[48,127,221],"on":[49,208],"both":[50,116],"interactive":[51,187],"and":[52,118,120,172,202],"non-interactive":[53,209],"tasks":[54,138],"if":[55],"it":[56],"not":[58],"only":[59],"effective":[60,70,119],"but":[64],"also":[65],"efficient.":[66],"However,":[67],"all":[68],"existing":[69,196,219],"selectors":[72,197],"fail":[73],"satisfying":[75],"requirement":[77],"efficiency.":[79],"To":[80],"ensure":[81],"effectiveness,":[82],"they":[83],"convert":[84],"into":[89],"an":[90,174],"optimization":[91,137],"one,":[92],"which":[93],"difficult":[95,143],"solve":[97],"within":[98],"short":[100],"time.":[101,131],"In":[102],"this":[103,170],"paper,":[104],"we":[105,133,151,162],"propose":[106],"novel":[108],"selector,":[110],"named":[111],"LearnSy":[112,114,156,189,211],".":[113],"efficient":[117,175,201],"thus":[121],"achieves":[122],"general":[123],"improvement":[124],"first":[130],"Since":[132],"notice":[134],"that":[135],"previous":[140],"studies":[141],"are":[142],"because":[144],"complex":[147],"behavior":[148],"operators,":[150],"estimate":[152],"these":[153],"behaviors":[154],"as":[157],"simple":[158],"random":[159],"events.":[160],"Subsequently,":[161],"provide":[163],"theoretical":[164],"results":[165],"precision":[168],"estimation":[171],"design":[173],"algorithm":[176],"its":[178],"calculation.":[179],"According":[180],"our":[182],"evaluation,":[183],"when":[184,206],"dealing":[185],"with":[186],"tasks,":[188,210],"offer":[191],"competitive":[192],"compared":[194],"while":[198],"being":[199],"more":[200,203],"general.":[204],"Moreover,":[205],"working":[207],"reduce":[214],"time":[216],"cost":[217],"CEGIS":[220],"up":[223],"43.0%.":[225]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}