{"id":"https://openalex.org/W7131064297","doi":"https://doi.org/10.1109/cgo68049.2026.11394839","title":"SkeleShare: Algorithmic Skeletons and Equality Saturation for Hardware Resource Sharing","display_name":"SkeleShare: Algorithmic Skeletons and Equality Saturation for Hardware Resource Sharing","publication_year":2026,"publication_date":"2026-01-31","ids":{"openalex":"https://openalex.org/W7131064297","doi":"https://doi.org/10.1109/cgo68049.2026.11394839"},"language":null,"primary_location":{"id":"doi:10.1109/cgo68049.2026.11394839","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo68049.2026.11394839","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037480454","display_name":"Jonathan Van der Cruysse","orcid":null},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jonathan Van der Cruysse","raw_affiliation_strings":["McGill University,Montréal,Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"McGill University,Montréal,Canada","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003112703","display_name":"Tzung-Han Juang","orcid":"https://orcid.org/0000-0003-1629-8617"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Tzung-Han Juang","raw_affiliation_strings":["McGill University,Montréal,Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"McGill University,Montréal,Canada","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5126589609","display_name":"Shakiba Bolbolian Khah","orcid":null},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Shakiba Bolbolian Khah","raw_affiliation_strings":["McGill University,Montréal,Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"McGill University,Montréal,Canada","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050229154","display_name":"Christophe Dubach","orcid":"https://orcid.org/0000-0003-4811-2469"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Christophe Dubach","raw_affiliation_strings":["McGill University,Montréal,Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"McGill University,Montréal,Canada","institution_ids":["https://openalex.org/I5023651"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I5023651"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18450165,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"136","last_page":"149"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.6373999714851379,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.6373999714851379,"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/T14347","display_name":"Big Data and Digital Economy","score":0.017500000074505806,"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.017400000244379044,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.7443000078201294},{"id":"https://openalex.org/keywords/shared-resource","display_name":"Shared resource","score":0.6969000101089478},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.519599974155426},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.517300009727478},{"id":"https://openalex.org/keywords/orchestration","display_name":"Orchestration","score":0.5013999938964844},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4832000136375427},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4699999988079071}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7450000047683716},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.7443000078201294},{"id":"https://openalex.org/C51332947","wikidata":"https://www.wikidata.org/wiki/Q1172305","display_name":"Shared resource","level":2,"score":0.6969000101089478},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5968000292778015},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.519599974155426},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.517300009727478},{"id":"https://openalex.org/C199168358","wikidata":"https://www.wikidata.org/wiki/Q3367000","display_name":"Orchestration","level":3,"score":0.5013999938964844},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4832000136375427},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4699999988079071},{"id":"https://openalex.org/C29202148","wikidata":"https://www.wikidata.org/wiki/Q287260","display_name":"Resource allocation","level":2,"score":0.40209999680519104},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.32120001316070557},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3052000105381012},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.30090001225471497},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.2985000014305115},{"id":"https://openalex.org/C117978034","wikidata":"https://www.wikidata.org/wiki/Q5422192","display_name":"Extractor","level":2,"score":0.29339998960494995},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.2906999886035919},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.28209999203681946},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27810001373291016},{"id":"https://openalex.org/C147358964","wikidata":"https://www.wikidata.org/wiki/Q1200992","display_name":"Abstraction layer","level":3,"score":0.2741999924182892},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.27129998803138733},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.26330000162124634},{"id":"https://openalex.org/C159631557","wikidata":"https://www.wikidata.org/wiki/Q1546066","display_name":"Networking hardware","level":2,"score":0.25209999084472656},{"id":"https://openalex.org/C2777958785","wikidata":"https://www.wikidata.org/wiki/Q17120940","display_name":"Resource efficiency","level":2,"score":0.25099998712539673}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cgo68049.2026.11394839","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo68049.2026.11394839","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320330944","display_name":"Nature","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1983394510","https://openalex.org/W2000346568","https://openalex.org/W2000873501","https://openalex.org/W2016488637","https://openalex.org/W2018055497","https://openalex.org/W2104453255","https://openalex.org/W2136952590","https://openalex.org/W2152397470","https://openalex.org/W2153131284","https://openalex.org/W2757637133","https://openalex.org/W2798482398","https://openalex.org/W2798804265","https://openalex.org/W2951841630","https://openalex.org/W3023624105","https://openalex.org/W3033664232","https://openalex.org/W3082570516","https://openalex.org/W3099525000","https://openalex.org/W3163649573","https://openalex.org/W4210570899","https://openalex.org/W4232363542","https://openalex.org/W4240382083","https://openalex.org/W4281750399","https://openalex.org/W4293025825","https://openalex.org/W4384947633","https://openalex.org/W4386568643","https://openalex.org/W4390603418","https://openalex.org/W4394998527","https://openalex.org/W4406428192"],"related_works":[],"abstract_inverted_index":{"Compiling":[0],"functional":[1],"programs":[2],"into":[3],"efficient":[4],"Field":[5],"Programmable":[6],"Gate":[7],"Array":[8],"(FPGA)":[9],"designs":[10],"is":[11,84,101],"difficult.":[12],"Hardware":[13],"resources":[14],"must":[15],"be":[16],"explicitly":[17],"allocated":[18],"and":[19,34,51,57,89,109,127,130],"shared":[20],"to":[21,32,60,103],"maximize":[22],"resource":[23,49,78,125],"efficiency.":[24],"This":[25],"requires":[26],"careful":[27],"orchestration":[28],"of":[29,48,134,142],"several":[30],"transformations":[31],"expose":[33,61],"exploit":[35],"sharing":[36,62,128,143],"opportunities.This":[37],"paper":[38,97],"introduces":[39],"SkeleShare,":[40],"a":[41,72,93],"novel":[42],"approach":[43,83],"that":[44,74,121],"automates":[45],"the":[46,105,132],"problem":[47],"allocation":[50,126],"sharing.":[52],"It":[53],"leverages":[54],"equality":[55],"saturation":[56],"algorithmic":[58,107],"skeletons":[59],"opportunities":[63],"across":[64],"abstraction":[65],"levels.":[66],"A":[67],"solver-based":[68],"extractor":[69],"then":[70],"selects":[71],"design":[73],"consolidates":[75],"computations,":[76],"meeting":[77],"constraints":[79],"while":[80],"maintaining":[81],"performance.This":[82],"evaluated":[85],"on":[86],"neural":[87,114],"networks":[88],"image":[90],"processing":[91],"targeting":[92],"real":[94],"FPGA.":[95],"The":[96,117],"shows":[98],"how":[99],"SkeleShare":[100],"used":[102],"express":[104],"various":[106],"patterns":[108],"transformation":[110],"rules":[111],"inherent":[112],"in":[113],"network":[115],"operators.":[116],"experimental":[118],"evaluation":[119],"demonstrates":[120],"SkeleShare\u2019s":[122],"fully":[123],"automated":[124],"matches":[129],"exceeds":[131],"performance":[133],"prior":[135],"work,":[136],"which":[137],"involves":[138],"expert":[139],"manual":[140],"extraction":[141],"opportunities.":[144]},"counts_by_year":[],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2026-02-24T00:00:00"}