{"id":"https://openalex.org/W3206530090","doi":"https://doi.org/10.1145/3485530","title":"LooPy: interactive program synthesis with control structures","display_name":"LooPy: interactive program synthesis with control structures","publication_year":2021,"publication_date":"2021-10-15","ids":{"openalex":"https://openalex.org/W3206530090","doi":"https://doi.org/10.1145/3485530","mag":"3206530090"},"language":"en","primary_location":{"id":"doi:10.1145/3485530","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485530","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485530","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/3485530","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040097037","display_name":"Kasra Ferdowsi","orcid":"https://orcid.org/0000-0003-3924-8137"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kasra Ferdowsifard","raw_affiliation_strings":["University of California at San Diego, USA"],"raw_orcid":"https://orcid.org/0000-0003-3924-8137","affiliations":[{"raw_affiliation_string":"University of California at San Diego, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034064916","display_name":"Shraddha Barke","orcid":null},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shraddha Barke","raw_affiliation_strings":["University of California at San Diego, USA"],"raw_orcid":"https://orcid.org/0000-0002-8663-5175","affiliations":[{"raw_affiliation_string":"University of California at San Diego, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079058381","display_name":"Hila Peleg","orcid":"https://orcid.org/0000-0002-0107-5659"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Hila Peleg","raw_affiliation_strings":["Technion, Israel"],"raw_orcid":"https://orcid.org/0000-0002-0107-5659","affiliations":[{"raw_affiliation_string":"Technion, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043665959","display_name":"Sorin Lerner","orcid":"https://orcid.org/0000-0003-3957-0628"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sorin Lerner","raw_affiliation_strings":["University of California at San Diego, USA"],"raw_orcid":"https://orcid.org/0000-0003-3957-0628","affiliations":[{"raw_affiliation_string":"University of California at San Diego, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090671359","display_name":"Nadia Polikarpova","orcid":"https://orcid.org/0000-0001-5571-173X"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nadia Polikarpova","raw_affiliation_strings":["University of California at San Diego, USA"],"raw_orcid":"https://orcid.org/0000-0001-5571-173X","affiliations":[{"raw_affiliation_string":"University of California at San Diego, USA","institution_ids":["https://openalex.org/I36258959"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5040097037"],"corresponding_institution_ids":["https://openalex.org/I36258959"],"apc_list":null,"apc_paid":null,"fwci":3.1285,"has_fulltext":true,"cited_by_count":17,"citation_normalized_percentile":{"value":0.92782791,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"5","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.9995999932289124,"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.9995999932289124,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9987000226974487,"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.8176920413970947},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.7854627370834351},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.7046205997467041},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"Program synthesis","score":0.6565266847610474},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5439297556877136},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.46807846426963806},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.4640086889266968},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3468266725540161},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.10535702109336853}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8176920413970947},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.7854627370834351},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.7046205997467041},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.6565266847610474},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5439297556877136},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.46807846426963806},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.4640086889266968},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3468266725540161},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.10535702109336853}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3485530","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485530","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485530","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/3485530","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485530","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485530","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.5299999713897705,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G2396288925","display_name":null,"funder_award_id":"2107397","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2625870048","display_name":"SHF: Medium: Generating Correctness Proofs with Neural Networks","funder_award_id":"1955457","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4474916316","display_name":null,"funder_award_id":"1911149,1943623,1955457,2107397","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6182133220","display_name":null,"funder_award_id":"1911149","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3206530090.pdf","grobid_xml":"https://content.openalex.org/works/W3206530090.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W1507894341","https://openalex.org/W1858945639","https://openalex.org/W1905591175","https://openalex.org/W2030991369","https://openalex.org/W2091385303","https://openalex.org/W2115733813","https://openalex.org/W2128953477","https://openalex.org/W2153943889","https://openalex.org/W2157976942","https://openalex.org/W2161159055","https://openalex.org/W2346345855","https://openalex.org/W2409856616","https://openalex.org/W2561055248","https://openalex.org/W2603456259","https://openalex.org/W2626584434","https://openalex.org/W2626990892","https://openalex.org/W2805457749","https://openalex.org/W2896298055","https://openalex.org/W2899590559","https://openalex.org/W2963218353","https://openalex.org/W2964240296","https://openalex.org/W2980180246","https://openalex.org/W2998195985","https://openalex.org/W3009002422","https://openalex.org/W3011590361","https://openalex.org/W3012792922","https://openalex.org/W3030160601","https://openalex.org/W3046985528","https://openalex.org/W3092881338","https://openalex.org/W3094268141","https://openalex.org/W3101627445","https://openalex.org/W3107341969","https://openalex.org/W3107416527","https://openalex.org/W3109017117","https://openalex.org/W3109609376","https://openalex.org/W3123182306","https://openalex.org/W4232188856","https://openalex.org/W4242239856","https://openalex.org/W4242364663","https://openalex.org/W4253977062","https://openalex.org/W4255584681"],"related_works":["https://openalex.org/W2379153735","https://openalex.org/W2046172023","https://openalex.org/W2972896947","https://openalex.org/W2083974823","https://openalex.org/W2355105570","https://openalex.org/W2170146914","https://openalex.org/W2072751097","https://openalex.org/W4237177615","https://openalex.org/W1590649805","https://openalex.org/W2791689149"],"abstract_inverted_index":{"One":[0],"vision":[1],"for":[2,7,27,56,104,227],"program":[3,24],"synthesis,":[4],"and":[5,48,91,182,193,196],"specifically":[6],"programming":[8,80,192],"by":[9],"example":[10],"(PBE),":[11],"is":[12,123],"an":[13,139],"interactive":[14,28,105,156,209],"programmer's":[15],"assistant,":[16],"integrated":[17,76],"into":[18,77],"the":[19,40,50,67,120,136,147],"development":[20],"environment.":[21],"To":[22,107,149],"make":[23],"synthesis":[25,43,151,206],"practical":[26],"use,":[29],"prior":[30],"work":[31,64,88],"on":[32],"Small-Step":[33,84],"Live":[34,85],"PBE":[35,86],"has":[36],"proposed":[37],"to":[38,44,52,87,95,110,141,229],"limit":[39],"scope":[41],"of":[42,69,128,146,152,174,178,205],"small":[45,215],"code":[46,98,175],"snippets,":[47,99],"enable":[49,150],"users":[51,109],"provide":[53,112],"local":[54],"specifications":[55,224],"those":[57],"snippets.":[58],"This":[59],"paradigm,":[60],"however,":[61],"does":[62],"not":[63],"well":[65],"in":[66],"presence":[68],"loops.":[70],"We":[71,184,211],"present":[72],"LooPy,":[73],"a":[74,78,132,164,171,202,214],"synthesizer":[75],"live":[79,129],"environment,":[81],"which":[82,168,219],"extends":[83],"inside":[89],"loops":[90],"scales":[92],"it":[93,199],"up":[94],"synthesize":[96],"larger":[97],"while":[100],"remaining":[101],"fast":[102],"enough":[103],"use.":[106],"allow":[108],"effectively":[111],"examples":[113],"at":[114,155,208],"various":[115],"loop":[116,121,153],"iterations,":[117],"even":[118],"when":[119],"body":[122],"incomplete,":[124],"LooPy":[125,158,186],"makes":[126],"use":[127],"execution":[130],",":[131,163],"technique":[133],"that":[134,198,221],"leverages":[135],"programmer":[137],"as":[138],"oracle":[140],"step":[142],"over":[143],"incomplete":[144],"parts":[145],"loop.":[148],"bodies":[154],"speeds,":[157],"introduces":[159],"Intermediate":[160],"State":[161],"Graph":[162],"new":[165],"data":[166],"structure,":[167],"compactly":[169],"represents":[170],"large":[172],"space":[173],"snippets":[176],"composed":[177],"multiple":[179],"assignment":[180],"statements":[181],"conditionals.":[183],"evaluate":[185],"empirically":[187],"using":[188],"benchmarks":[189],"from":[190],"competitive":[191],"previous":[194],"synthesizers,":[195],"show":[197],"can":[200],"solve":[201],"wide":[203],"variety":[204],"tasks":[207],"speeds.":[210],"also":[212],"perform":[213],"qualitative":[216],"user":[217],"study":[218],"shows":[220],"LooPy's":[222],"block-level":[223],"are":[225],"easy":[226],"programmers":[228],"provide.":[230]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":5}],"updated_date":"2026-05-21T09:19:25.381259","created_date":"2025-10-10T00:00:00"}