{"id":"https://openalex.org/W7140080329","doi":"https://doi.org/10.48550/arxiv.2603.19434","title":"Computer-Orchestrated Design of Algorithms: From Join Specification to Implementation","display_name":"Computer-Orchestrated Design of Algorithms: From Join Specification to Implementation","publication_year":2026,"publication_date":"2026-03-19","ids":{"openalex":"https://openalex.org/W7140080329","doi":"https://doi.org/10.48550/arxiv.2603.19434"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.19434","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.19434","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.19434","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057474488","display_name":"Zeyuan Hu","orcid":"https://orcid.org/0000-0003-3036-2777"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Hu, Zeyuan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5057474488"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.8555999994277954,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.8555999994277954,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.02930000051856041,"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/T12292","display_name":"Graph Theory and Algorithms","score":0.027300000190734863,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/correctness","display_name":"Correctness","score":0.7343000173568726},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.5131000280380249},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4514000117778778},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.4399000108242035},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.4359000027179718},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4214000105857849},{"id":"https://openalex.org/keywords/join","display_name":"Join (topology)","score":0.40070000290870667}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8052999973297119},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7343000173568726},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.5131000280380249},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4544000029563904},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4514000117778778},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.4399000108242035},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.4359000027179718},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4214000105857849},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.415800005197525},{"id":"https://openalex.org/C2776124973","wikidata":"https://www.wikidata.org/wiki/Q3183033","display_name":"Join (topology)","level":2,"score":0.40070000290870667},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.36730000376701355},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.33480000495910645},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33239999413490295},{"id":"https://openalex.org/C207390915","wikidata":"https://www.wikidata.org/wiki/Q1230525","display_name":"Divergence (linguistics)","level":2,"score":0.32710000872612},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2919999957084656},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.2842000126838684},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.28139999508857727},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.2797999978065491},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.27129998803138733},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.2565000057220459},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2533000111579895}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.19434","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.19434","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.19434","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.19434","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Equipping":[0],"query":[1],"processing":[2],"systems":[3,20],"with":[4],"provable":[5],"theoretical":[6,28,58],"guarantees":[7],"has":[8],"been":[9],"a":[10,34,123,128,141,185,201,228],"central":[11],"focus":[12],"at":[13],"the":[14,25,48,134,207,222],"intersection":[15],"of":[16,50,126,137,210,225],"database":[17,65],"theory":[18],"and":[19,30,42,88,168,174],"in":[21,150],"recent":[22],"years.":[23],"However,":[24],"divergence":[26],"between":[27,36,171],"abstractions":[29],"system":[31],"assumptions":[32],"creates":[33],"gap":[35],"an":[37],"algorithm's":[38],"high-level":[39],"logical":[40],"specification":[41],"its":[43],"low-level":[44],"physical":[45,196],"implementation.":[46],"Ensuring":[47],"correctness":[49],"this":[51,71,115,118,180],"logical-to-physical":[52,181],"translation":[53,162,182,219],"is":[54,184],"crucial":[55],"for":[56,110,234],"realizing":[57],"optimality":[59],"as":[60,78,102,165],"practical":[61,145],"performance":[62],"gains.":[63],"Existing":[64],"testing":[66,130,191],"frameworks":[67,94],"struggle":[68],"to":[69],"address":[70],"need":[72],"because":[73],"necessary":[74],"algorithm-specific":[75],"inputs":[76],"such":[77,101,164],"join":[79,146,172],"trees":[80,173],"are":[81,106],"absent":[82],"from":[83],"standard":[84],"test":[85,231],"case":[86],"generation,":[87],"integrating":[89],"complex":[90],"algorithms":[91],"into":[92,227],"these":[93,218],"imposes":[95],"prohibitive":[96],"engineering":[97],"overhead.":[98],"Fallback":[99],"solutions,":[100],"using":[103],"macro-benchmark":[104],"queries,":[105],"inherently":[107],"too":[108],"noisy":[109],"isolating":[111],"intricate":[112],"defects":[113],"during":[114,133],"translation.":[116],"In":[117],"experience":[119],"paper,":[120],"we":[121,214],"present":[122],"retrospective":[124],"analysis":[125],"$\\mathsf{CODA}$,":[127],"computer-orchestrated":[129],"framework":[131],"utilized":[132],"logical-physical":[135],"co-design":[136],"TreeTracker":[138],"Join":[139],"($\\mathsf{TTJ}$),":[140],"theoretically":[142],"optimal":[143],"yet":[144],"algorithm":[147],"recently":[148],"published":[149],"ACM":[151],"TODS.":[152],"By":[153],"synthesizing":[154],"minimal":[155],"reproducible":[156],"examples,":[157],"$\\mathsf{CODA}$":[158,226],"successfully":[159],"isolates":[160],"subtle":[161],"defects,":[163],"state":[166],"mismanagement":[167],"mapping":[169],"conflicts":[170],"bushy":[175],"plans.":[176],"We":[177],"demonstrate":[178],"that":[179,204],"process":[183],"bidirectional":[186],"feedback":[187],"loop:":[188],"early":[189],"structural":[190],"not":[192],"only":[193],"hardened":[194],"$\\mathsf{TTJ}$'s":[195],"implementation":[197],"but":[198],"also":[199],"exposed":[200],"boundary":[202],"condition":[203],"directly":[205],"refined":[206],"formal":[208],"precondition":[209],"$\\mathsf{TTJ}$":[211],"itself.":[212],"Finally,":[213],"detail":[215],"how":[216],"confronting":[217],"challenges":[220],"drove":[221],"architectural":[223],"evolution":[224],"robust,":[229],"structure-aware":[230],"generation":[232],"pipeline":[233],"join-tree-dependent":[235],"algorithms.":[236]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-03-24T00:00:00"}