{"id":"https://openalex.org/W3033481405","doi":"https://doi.org/10.1145/3385412.3386025","title":"Question selection for interactive program synthesis","display_name":"Question selection for interactive program synthesis","publication_year":2020,"publication_date":"2020-06-07","ids":{"openalex":"https://openalex.org/W3033481405","doi":"https://doi.org/10.1145/3385412.3386025","mag":"3033481405"},"language":"en","primary_location":{"id":"doi:10.1145/3385412.3386025","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3385412.3386025","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"article","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/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"],"affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050080938","display_name":"Jingjing Liang","orcid":"https://orcid.org/0000-0001-9439-9320"},"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":"Jingjing Liang","raw_affiliation_strings":["Peking University, China"],"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"],"affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100388581","display_name":"Lu Zhang","orcid":"https://orcid.org/0000-0001-8567-508X"},"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":"Lu Zhang","raw_affiliation_strings":["Peking University, China"],"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"],"affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5059555100"],"corresponding_institution_ids":["https://openalex.org/I20231570"],"apc_list":null,"apc_paid":null,"fwci":5.0712,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":{"value":0.9575715,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1143","last_page":"1158"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"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.9998999834060669,"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.9998999834060669,"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.9979000091552734,"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.819652795791626},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6658200025558472},{"id":"https://openalex.org/keywords/ambiguity","display_name":"Ambiguity","score":0.6482223868370056},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.5766192674636841},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5451672077178955},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5411772727966309},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5065337419509888},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"Program synthesis","score":0.5029210448265076},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3711152672767639},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3451042175292969},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3286929428577423},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32451027631759644},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10910278558731079}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.819652795791626},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6658200025558472},{"id":"https://openalex.org/C2780522230","wikidata":"https://www.wikidata.org/wiki/Q1140419","display_name":"Ambiguity","level":2,"score":0.6482223868370056},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.5766192674636841},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5451672077178955},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5411772727966309},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5065337419509888},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.5029210448265076},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3711152672767639},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3451042175292969},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3286929428577423},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32451027631759644},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10910278558731079},{"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},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3385412.3386025","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3385412.3386025","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5400000214576721,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":59,"referenced_works":["https://openalex.org/W258469679","https://openalex.org/W602497127","https://openalex.org/W1022177737","https://openalex.org/W1480909796","https://openalex.org/W1544041853","https://openalex.org/W1549970146","https://openalex.org/W1565530450","https://openalex.org/W1569885273","https://openalex.org/W1791762382","https://openalex.org/W1811083715","https://openalex.org/W1969880832","https://openalex.org/W1970074386","https://openalex.org/W1982239607","https://openalex.org/W1997199152","https://openalex.org/W2030991369","https://openalex.org/W2060610732","https://openalex.org/W2064766209","https://openalex.org/W2069652878","https://openalex.org/W2112501366","https://openalex.org/W2115733813","https://openalex.org/W2132525863","https://openalex.org/W2134734244","https://openalex.org/W2144951274","https://openalex.org/W2151596305","https://openalex.org/W2153881107","https://openalex.org/W2154838933","https://openalex.org/W2157056800","https://openalex.org/W2162960800","https://openalex.org/W2274071363","https://openalex.org/W2276356546","https://openalex.org/W2293962294","https://openalex.org/W2295061292","https://openalex.org/W2309755354","https://openalex.org/W2330908417","https://openalex.org/W2518136680","https://openalex.org/W2550471858","https://openalex.org/W2594014086","https://openalex.org/W2603456259","https://openalex.org/W2605195990","https://openalex.org/W2612337100","https://openalex.org/W2768510408","https://openalex.org/W2770411433","https://openalex.org/W2798628553","https://openalex.org/W2799563612","https://openalex.org/W2890639568","https://openalex.org/W2898869867","https://openalex.org/W2964240296","https://openalex.org/W2971324190","https://openalex.org/W2976890614","https://openalex.org/W3004035325","https://openalex.org/W3008793775","https://openalex.org/W3098194985","https://openalex.org/W4229675450","https://openalex.org/W4231288918","https://openalex.org/W4237412827","https://openalex.org/W4242364663","https://openalex.org/W4245234767","https://openalex.org/W4256244129","https://openalex.org/W4299975359"],"related_works":["https://openalex.org/W2353179089","https://openalex.org/W2923538289","https://openalex.org/W2353125546","https://openalex.org/W2470643824","https://openalex.org/W2349635380","https://openalex.org/W2353819554","https://openalex.org/W2359488321","https://openalex.org/W2389866386","https://openalex.org/W4353089801","https://openalex.org/W2131379912"],"abstract_inverted_index":{"Interactive":[0],"program":[1,28],"synthesis":[2],"aims":[3],"to":[4,15,23,59,88],"solve":[5],"the":[6,12,17,24,65,79,104],"ambiguity":[7],"in":[8],"specifications,":[9],"and":[10,39,53],"selecting":[11],"proper":[13],"question":[14,36],"minimize":[16],"rounds":[18,66],"of":[19,26,67,106],"interactions":[20,68],"is":[21],"critical":[22],"performance":[25],"interactive":[27],"synthesis.":[29],"In":[30],"this":[31,35],"paper":[32],"we":[33,82],"address":[34],"selection":[37],"problem":[38],"propose":[40,84],"two":[41,80],"algorithms.":[42,108],"SampleSy":[43,71],"approximates":[44],"a":[45,55,73,92],"state-of-the-art":[46],"strategy":[47],"proposed":[48],"for":[49],"optimal":[50],"decision":[51],"tree":[52],"has":[54],"short":[56],"response":[57],"time":[58],"enable":[60],"interaction.":[61],"EpsSy":[62],"further":[63,83],"reduces":[64],"by":[69],"approximating":[70],"with":[72],"bounded":[74],"error":[75],"rate.":[76],"To":[77],"implement":[78],"algorithms,":[81],"VSampler,":[85],"an":[86],"approach":[87],"sampling":[89],"programs":[90],"from":[91],"probabilistic":[93],"context-free":[94],"grammar":[95],"based":[96],"on":[97],"version":[98],"space":[99],"algebra.":[100],"The":[101],"evaluation":[102],"shows":[103],"effectiveness":[105],"both":[107]},"counts_by_year":[{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":10},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}