{"id":"https://openalex.org/W6950046621","doi":"https://doi.org/10.5281/zenodo.5482872","title":"Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches (Artifact)","display_name":"Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches (Artifact)","publication_year":2021,"publication_date":"2021-09-08","ids":{"openalex":"https://openalex.org/W6950046621","doi":"https://doi.org/10.5281/zenodo.5482872"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:5482872","is_oa":true,"landing_page_url":"https://zenodo.org/record/5482872","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/5482872","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Yamaguchi, Masaomi","orcid":"https://orcid.org/0000-0002-7347-6021"},"institutions":[{"id":"https://openalex.org/I201537933","display_name":"Tohoku University","ror":"https://ror.org/01dq60k83","country_code":"JP","type":"education","lineage":["https://openalex.org/I201537933"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yamaguchi, Masaomi","raw_affiliation_strings":["Graduate School of Information Sciences, Tohoku University"],"raw_orcid":"https://orcid.org/0000-0002-7347-6021","affiliations":[{"raw_affiliation_string":"Graduate School of Information Sciences, Tohoku University","institution_ids":["https://openalex.org/I201537933"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Matsuda, Kazutaka","orcid":"https://orcid.org/0000-0002-9747-4899"},"institutions":[{"id":"https://openalex.org/I201537933","display_name":"Tohoku University","ror":"https://ror.org/01dq60k83","country_code":"JP","type":"education","lineage":["https://openalex.org/I201537933"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Matsuda, Kazutaka","raw_affiliation_strings":["Graduate School of Information Sciences, Tohoku University"],"raw_orcid":"https://orcid.org/0000-0002-9747-4899","affiliations":[{"raw_affiliation_string":"Graduate School of Information Sciences, Tohoku University","institution_ids":["https://openalex.org/I201537933"]}]},{"author_position":"middle","author":{"id":null,"display_name":"David, Cristina","orcid":"https://orcid.org/0000-0002-9106-934X"},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David, Cristina","raw_affiliation_strings":["University of Bristol"],"raw_orcid":"https://orcid.org/0000-0002-9106-934X","affiliations":[{"raw_affiliation_string":"University of Bristol","institution_ids":["https://openalex.org/I36234482"]}]},{"author_position":"last","author":{"id":null,"display_name":"Wang, Meng","orcid":"https://orcid.org/0000-0001-7780-630X"},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Wang, Meng","raw_affiliation_strings":["University of Bristol"],"raw_orcid":"https://orcid.org/0000-0001-7780-630X","affiliations":[{"raw_affiliation_string":"University of Bristol","institution_ids":["https://openalex.org/I36234482"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"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":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6840000152587891},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6452000141143799},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6161999702453613},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.5742999911308289},{"id":"https://openalex.org/keywords/program-code","display_name":"Program code","score":0.511900007724762},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.41659998893737793},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.38989999890327454}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.824400007724762},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6840000152587891},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6452000141143799},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6161999702453613},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.5742999911308289},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5583999752998352},{"id":"https://openalex.org/C2988963302","wikidata":"https://www.wikidata.org/wiki/Q629206","display_name":"Program code","level":2,"score":0.511900007724762},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.41659998893737793},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.38989999890327454},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.3303000032901764},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.328900009393692},{"id":"https://openalex.org/C88482812","wikidata":"https://www.wikidata.org/wiki/Q6453666","display_name":"Modular programming","level":2,"score":0.30239999294281006},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.2987000048160553},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2987000048160553},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.29649999737739563},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.263700008392334},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.25949999690055847}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:5482872","is_oa":true,"landing_page_url":"https://zenodo.org/record/5482872","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},{"id":"doi:10.5281/zenodo.5482872","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.5482872","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"article"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:5482872","is_oa":true,"landing_page_url":"https://zenodo.org/record/5482872","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"<strong>Artifact</strong>":[0],"This":[1],"is":[2,16,84],"the":[3,31,49,59,67,89,98,148],"artifact":[4],"of":[5,69,79,150],"a":[6,24,36,46,54,62,113,131,142],"paper":[7],"\"Synbit:":[8],"Synthesizing":[9],"Bidirectional":[10],"Programs":[11],"using":[12,48],"Unidirectional":[13],"Sketches\",":[14],"which":[15,83],"accepted":[17],"by":[18,65,76],"OOPSLA":[19],"2021.":[20],"<strong>Abstract</strong>":[21],"We":[22,137],"propose":[23],"technique":[25],"for":[26,124,130],"synthesizing":[27,151],"bidirectional":[28,70,94,102,122],"programs":[29,123],"from":[30],"corresponding":[32],"unidirectional":[33,51,90,144],"code":[34],"plus":[35],"few":[37,132],"input/output":[38],"examples.":[39],"The":[40],"core":[41],"ideas":[42,73],"are:":[43],"(1)":[44],"<em>constructing":[45],"sketch</em>":[47,60],"given":[50],"program":[52,91],"as":[53,127,129],"specification,":[55],"and":[56,96,117],"(2)":[57],"<em>filling":[58],"in":[61,93,112],"modular":[63],"fashion":[64],"exploiting":[66],"properties":[68],"programs.":[71],"These":[72],"are":[74],"enabled":[75],"our":[77,107],"choice":[78],"programming":[80],"language,":[81],"HOBiT,":[82],"specifically":[85],"designed":[86],"to":[87,120,141],"maintain":[88],"structure":[92],"programming,":[95],"keep":[97],"parts":[99],"that":[100],"control":[101],"behavior":[103],"modular.":[104],"To":[105],"evaluate":[106],"approach,":[108],"we":[109],"implemented":[110],"it":[111,119],"tool":[114,146],"called":[115],"Synbit":[116,140],"used":[118],"generate":[121],"intricate":[125],"microbenchmarks,":[126],"well":[128],"larger,":[133],"more":[134],"realistic":[135],"problems.":[136],"also":[138],"compared":[139],"state-of-the-art":[143],"synthesis":[145],"on":[147],"task":[149],"backward":[152],"computations.":[153]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}