{"id":"https://openalex.org/W4411269416","doi":"https://doi.org/10.1145/3729314","title":"Multi-stage Relational Programming","display_name":"Multi-stage Relational Programming","publication_year":2025,"publication_date":"2025-06-10","ids":{"openalex":"https://openalex.org/W4411269416","doi":"https://doi.org/10.1145/3729314"},"language":"en","primary_location":{"id":"doi:10.1145/3729314","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729314","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3729314","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/3729314","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054580236","display_name":"Michael Ballantyne","orcid":null},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Ballantyne","raw_affiliation_strings":["Northeastern University, Boston, USA"],"raw_orcid":"https://orcid.org/0009-0007-9958-6281","affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088970711","display_name":"Raffaella Sanna","orcid":"https://orcid.org/0009-0009-7266-7422"},"institutions":[{"id":"https://openalex.org/I2801851002","display_name":"Harvard University Press","ror":"https://ror.org/006v7bf86","country_code":"US","type":"other","lineage":["https://openalex.org/I136199984","https://openalex.org/I2801851002"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rafaello Sanna","raw_affiliation_strings":["Harvard University, Cambridge, USA"],"raw_orcid":"https://orcid.org/0009-0009-7266-7422","affiliations":[{"raw_affiliation_string":"Harvard University, Cambridge, USA","institution_ids":["https://openalex.org/I2801851002"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088519802","display_name":"Jason Hemann","orcid":"https://orcid.org/0000-0002-5405-2936"},"institutions":[{"id":"https://openalex.org/I12524447","display_name":"Seton Hall University","ror":"https://ror.org/007tn5k56","country_code":"US","type":"education","lineage":["https://openalex.org/I12524447"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jason Hemann","raw_affiliation_strings":["Seton Hall University, South Orange, USA"],"raw_orcid":"https://orcid.org/0000-0002-5405-2936","affiliations":[{"raw_affiliation_string":"Seton Hall University, South Orange, USA","institution_ids":["https://openalex.org/I12524447"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005980154","display_name":"William E. Byrd","orcid":"https://orcid.org/0000-0003-4730-5293"},"institutions":[{"id":"https://openalex.org/I32389192","display_name":"University of Alabama at Birmingham","ror":"https://ror.org/008s83205","country_code":"US","type":"education","lineage":["https://openalex.org/I32389192"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"William E. Byrd","raw_affiliation_strings":["University of Alabama at Birmingham, Birmingham, USA"],"raw_orcid":"https://orcid.org/0000-0003-4730-5293","affiliations":[{"raw_affiliation_string":"University of Alabama at Birmingham, Birmingham, USA","institution_ids":["https://openalex.org/I32389192"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054275386","display_name":"Nada Amin","orcid":"https://orcid.org/0000-0002-0830-7248"},"institutions":[{"id":"https://openalex.org/I2801851002","display_name":"Harvard University Press","ror":"https://ror.org/006v7bf86","country_code":"US","type":"other","lineage":["https://openalex.org/I136199984","https://openalex.org/I2801851002"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nada Amin","raw_affiliation_strings":["Harvard University, Cambridge, USA"],"raw_orcid":"https://orcid.org/0000-0002-0830-7248","affiliations":[{"raw_affiliation_string":"Harvard University, Cambridge, USA","institution_ids":["https://openalex.org/I2801851002"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"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.04736697,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"PLDI","first_page":"1591","last_page":"1615"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9950000047683716,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9950000047683716,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9944000244140625,"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/T10142","display_name":"Formal Methods in Verification","score":0.9901000261306763,"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/stage","display_name":"Stage (stratigraphy)","score":0.6844333410263062},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5301811695098877},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3321661353111267},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.13371405005455017}],"concepts":[{"id":"https://openalex.org/C146357865","wikidata":"https://www.wikidata.org/wiki/Q1123245","display_name":"Stage (stratigraphy)","level":2,"score":0.6844333410263062},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5301811695098877},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3321661353111267},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.13371405005455017},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3729314","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729314","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3729314","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/3729314","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729314","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3729314","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/G1248185593","display_name":"SHF:Small: Extensible Models and Proofs via Family Polymorphism","funder_award_id":"2303983","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G253351418","display_name":"Doc Sherlock: An Autonomous Relay Agent for Discovering the  \"Unknown Knowns\" in Precision Medicine","funder_award_id":"3ot2tr003435-01s4","funder_id":"https://openalex.org/F4320332161","funder_display_name":"National Institutes of Health"},{"id":"https://openalex.org/G2725453279","display_name":null,"funder_award_id":"OT2TR003435","funder_id":"https://openalex.org/F4320337472","funder_display_name":"National Center for Advancing Translational Sciences"},{"id":"https://openalex.org/G3707903905","display_name":"SHF: Small: Programming, and Reasoning about, Actors that Share State","funder_award_id":"2315884","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5221386822","display_name":"CRII: SHF: Systematic Construction of Teaching Language Progressions for Embedded Domain-Specific Languages","funder_award_id":"2348408","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5593449043","display_name":"SHF: Small: Beyond Behavioral Software Contracts","funder_award_id":"2116372","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"},{"id":"https://openalex.org/F4320325957","display_name":"Novo Nordisk Fonden","ror":"https://ror.org/04txyc737"},{"id":"https://openalex.org/F4320332161","display_name":"National Institutes of Health","ror":"https://ror.org/01cwqze88"},{"id":"https://openalex.org/F4320337472","display_name":"National Center for Advancing Translational Sciences","ror":"https://ror.org/04pw6fb54"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4411269416.pdf","grobid_xml":"https://content.openalex.org/works/W4411269416.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W569108693","https://openalex.org/W1486252159","https://openalex.org/W1590649805","https://openalex.org/W1596577905","https://openalex.org/W1775494561","https://openalex.org/W1822303551","https://openalex.org/W1941632313","https://openalex.org/W1979039632","https://openalex.org/W1982243747","https://openalex.org/W1990347915","https://openalex.org/W2013596093","https://openalex.org/W2035164592","https://openalex.org/W2037317228","https://openalex.org/W2050975971","https://openalex.org/W2060610732","https://openalex.org/W2072844988","https://openalex.org/W2094455839","https://openalex.org/W2132598718","https://openalex.org/W2147578933","https://openalex.org/W2154697693","https://openalex.org/W2156429182","https://openalex.org/W2188521969","https://openalex.org/W2247694024","https://openalex.org/W2538883850","https://openalex.org/W2549947687","https://openalex.org/W2753928047","https://openalex.org/W2798573857","https://openalex.org/W2913845010","https://openalex.org/W2971324190","https://openalex.org/W2997284983","https://openalex.org/W3080260123","https://openalex.org/W3110303672","https://openalex.org/W3124300503","https://openalex.org/W4237823991","https://openalex.org/W4240476803","https://openalex.org/W4401603189","https://openalex.org/W6968162904"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"We":[0,20,82,112],"transport":[1],"multi-stage":[2,92],"programming":[3],"from":[4,80],"functional":[5],"to":[6,12,51,94],"relational":[7,71,95,107,136],"programming,":[8],"with":[9,85,132],"novel":[10],"constructs":[11,87],"give":[13],"programmers":[14],"control":[15],"over":[16],"staging":[17,64,86],"and":[18,48,70,78,88,101,124],"non-determinism.":[19],"stage":[21],"interpreters":[22,67,96],"written":[23],"as":[24,103,105,127,129],"relations,":[25],"in":[26],"which":[27],"the":[28,42,56,61,90],"programs":[29],"under":[30],"interpretation":[31,50,72],"can":[32],"contain":[33],"holes":[34],"representing":[35],"unknown":[36,57],"expressions":[37],"or":[38],"values.":[39],"By":[40],"compiling":[41],"known":[43],"parts":[44],"without":[45],"interpretive":[46],"overhead":[47],"deferring":[49],"run":[52],"time":[53],"only":[54],"for":[55,97,109],"parts,":[58],"we":[59],"compound":[60],"benefits":[62],"of":[63,99],"(e.g.,":[65,73],"turning":[66,74],"into":[68,76],"compilers)":[69],"functions":[75],"relations":[77],"synthesizing":[79],"sketches).":[81],"extend":[83],"miniKanren":[84,102],"apply":[89],"resulting":[91],"language":[93],"subsets":[98],"Racket":[100],"well":[104,128],"a":[106],"recognizer":[108],"context-free":[110],"grammars.":[111],"demonstrate":[113],"significant":[114],"performance":[115],"gains":[116],"across":[117],"multiple":[118],"synthesis":[119],"problems,":[120],"systematically":[121],"comparing":[122,131],"unstaged":[123],"staged":[125],"computation,":[126],"indicatively":[130],"an":[133],"existing":[134],"hand-tuned":[135],"interpreter.":[137]},"counts_by_year":[],"updated_date":"2026-08-25T07:29:55.448023","created_date":"2025-10-10T00:00:00"}