{"id":"https://openalex.org/W3201340938","doi":"https://doi.org/10.1145/3485477","title":"Semantic programming by example with pre-trained models","display_name":"Semantic programming by example with pre-trained models","publication_year":2021,"publication_date":"2021-10-15","ids":{"openalex":"https://openalex.org/W3201340938","doi":"https://doi.org/10.1145/3485477","mag":"3201340938"},"language":"en","primary_location":{"id":"doi:10.1145/3485477","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485477","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485477","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/3485477","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055735931","display_name":"Gust Verbruggen","orcid":"https://orcid.org/0000-0001-9182-597X"},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Gust Verbruggen","raw_affiliation_strings":["KU Leuven, Belgium","KU Leuven, Leuven, Belgium"],"raw_orcid":"https://orcid.org/0000-0001-9182-597X","affiliations":[{"raw_affiliation_string":"KU Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]},{"raw_affiliation_string":"KU Leuven, Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051355395","display_name":"Vu Le","orcid":"https://orcid.org/0000-0003-3727-3291"},"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":"Vu Le","raw_affiliation_strings":["Microsoft, USA","Microsoft (United States), Redmond, United States"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft, USA","institution_ids":["https://openalex.org/I1290206253"]},{"raw_affiliation_string":"Microsoft (United States), Redmond, United States","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011543162","display_name":"Sumit Gulwani","orcid":"https://orcid.org/0000-0002-9226-9634"},"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":"Sumit Gulwani","raw_affiliation_strings":["Microsoft, USA","Microsoft (United States), Redmond, United States"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft, USA","institution_ids":["https://openalex.org/I1290206253"]},{"raw_affiliation_string":"Microsoft (United States), Redmond, United States","institution_ids":["https://openalex.org/I1290206253"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13595088,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"5","issue":"OOPSLA","first_page":"1","last_page":"25"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.9952999949455261,"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"}},"topics":[{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.9952999949455261,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9842000007629395,"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/T10260","display_name":"Software Engineering Research","score":0.9822999835014343,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8669191598892212},{"id":"https://openalex.org/keywords/generality","display_name":"Generality","score":0.6049138903617859},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5537942051887512},{"id":"https://openalex.org/keywords/inductive-logic-programming","display_name":"Inductive logic programming","score":0.5374494194984436},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5217474699020386},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5210715532302856},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.5124488472938538},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.511888861656189},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.49446845054626465},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.41615235805511475},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.36599600315093994}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8669191598892212},{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.6049138903617859},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5537942051887512},{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.5374494194984436},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5217474699020386},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5210715532302856},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.5124488472938538},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.511888861656189},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.49446845054626465},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.41615235805511475},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.36599600315093994},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"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/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3485477","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485477","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485477","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"},{"id":"pmh:oai:lirias2repo.kuleuven.be:20.500.12942/697357","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/bitstream/20.500.12942/697357/3/FlashGPT_3.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Proceedings of the ACM on Programming Languages, vol. 5 (OOPSLA), Art.No. 100, (1-25)","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"mag:3201340938","is_oa":false,"landing_page_url":"https://www.microsoft.com/en-us/research/publication/semantic-programming-by-example-with-pre-trained-models/","pdf_url":null,"source":{"id":"https://openalex.org/S4306418083","display_name":"Conference on Object-Oriented Programming Systems, Languages, and Applications","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Conference on Object-Oriented Programming Systems, Languages, and Applications","raw_type":null}],"best_oa_location":{"id":"doi:10.1145/3485477","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485477","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485477","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":[{"score":0.6499999761581421,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G1370813895","display_name":"Synthesising Inductive Data Models","funder_award_id":"694980","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2552535797","display_name":null,"funder_award_id":"694980","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320327336","display_name":"Vlaamse regering","ror":null},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3201340938.pdf","grobid_xml":"https://content.openalex.org/works/W3201340938.grobid-xml"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W1791762382","https://openalex.org/W1996505782","https://openalex.org/W2060610732","https://openalex.org/W2146105230","https://openalex.org/W2427822648","https://openalex.org/W2587580284","https://openalex.org/W2611064819","https://openalex.org/W2884499287","https://openalex.org/W2898335306","https://openalex.org/W2962784628","https://openalex.org/W2962809971","https://openalex.org/W2963339397","https://openalex.org/W2963341956","https://openalex.org/W2970476646","https://openalex.org/W2972934903","https://openalex.org/W3030163527","https://openalex.org/W3082991350","https://openalex.org/W3102659883","https://openalex.org/W3166632383","https://openalex.org/W3174357804","https://openalex.org/W4229675450","https://openalex.org/W4237412827","https://openalex.org/W4256244129"],"related_works":["https://openalex.org/W3206370442","https://openalex.org/W2936188768","https://openalex.org/W3104209529","https://openalex.org/W2288434693","https://openalex.org/W3200933002","https://openalex.org/W3198677173","https://openalex.org/W1568579403","https://openalex.org/W2013737691","https://openalex.org/W3156111306","https://openalex.org/W2555308822","https://openalex.org/W2036271157","https://openalex.org/W374701811","https://openalex.org/W3214225544","https://openalex.org/W2952206116","https://openalex.org/W2022996285","https://openalex.org/W3205419191","https://openalex.org/W1480083779","https://openalex.org/W2948903663","https://openalex.org/W2918073309","https://openalex.org/W3032136009"],"abstract_inverted_index":{"The":[0],"ability":[1],"to":[2,22,62,84,109,138,172,208],"learn":[3],"programs":[4],"from":[5],"few":[6,99],"examples":[7,49,100],"is":[8,152],"a":[9,98,126,198,247],"powerful":[10],"technology":[11],"with":[12,133,154,185],"disruptive":[13],"applications":[14],"in":[15,26,76,117,159,217,250],"many":[16],"domains,":[17],"as":[18,58],"it":[19,107],"allows":[20],"users":[21],"automate":[23,227],"repetitive":[24],"tasks":[25,228],"an":[27],"intuitive":[28],"way.":[29],"Existing":[30],"frameworks":[31],"on":[32,42],"inductive":[33,71,131,150,186],"synthesis":[34,132,151],"only":[35],"perform":[36],"syntactic":[37,44,110],"manipulations,":[38,56],"where":[39],"they":[40],"rely":[41],"the":[43,47,67,70,102,140,149,157,173,206,218,223,241,251],"structure":[45],"of":[46,69,92,101,142,220,243,253],"given":[48],"and":[50],"not":[51],"their":[52,118],"meaning.":[53],"Any":[54],"semantic":[55,90,179,192],"such":[57],"transforming":[59],"dates,":[60],"have":[61,80],"be":[63,85,167,183,209,231],"manually":[64],"encoded":[65],"by":[66,95,236],"designer":[68],"programming":[72],"framework.":[73],"Recent":[74],"advances":[75],"large":[77],"language":[78,136,174],"models":[79,83,114,137],"shown":[81],"these":[82,113,143],"very":[86],"adept":[87],"at":[88,104],"performing":[89],"transformations":[91],"its":[93],"input":[94],"simply":[96],"providing":[97],"task":[103],"hand.":[105],"When":[106],"comes":[108],"transformations,":[111],"however,":[112],"are":[115,170],"limited":[116],"expressive":[119],"power.":[120],"In":[121,147],"this":[122],"paper,":[123],"we":[124,196,239],"propose":[125],"novel":[127,199],"framework":[128],"for":[129],"integrating":[130],"few-shot":[134],"learning":[135],"combine":[139],"strength":[141],"two":[144],"popular":[145],"technologies.":[146],"particular,":[148],"tasked":[153],"breaking":[155],"down":[156],"problem":[158],"smaller":[160],"subproblems,":[161],"among":[162],"which":[163],"those":[164],"that":[165,181,204,229],"cannot":[166,230],"solved":[168],"syntactically":[169],"passed":[171],"model.":[175],"We":[176,213],"formalize":[177],"three":[178],"operators":[180,193,207],"can":[182,226],"integrated":[184],"synthesizers.":[187],"To":[188],"minimize":[189],"invoking":[190],"expensive":[191],"during":[194,211],"learning,":[195],"introduce":[197],"deferred":[200],"query":[201],"execution":[202],"algorithm":[203],"considers":[205],"oracles":[210],"learning.":[212],"evaluate":[214],"our":[215,244],"approach":[216,245],"domain":[219,252],"string":[221,254],"transformations:":[222],"combination":[224],"methodology":[225],"handled":[232],"using":[233],"either":[234],"technologies":[235],"themselves.":[237],"Finally,":[238],"demonstrate":[240],"generality":[242],"via":[246],"case":[248],"study":[249],"profiling.":[255]},"counts_by_year":[],"updated_date":"2026-06-14T07:44:22.658603","created_date":"2025-10-10T00:00:00"}