
This artifact contains logic to evaluate the effectiveness of SkeleShare, as presented in SkeleShare: Algorithmic Skeletons and Equality Saturation for Hardware Resource Sharing, an upcoming CGO'26 paper. SkeleShare is a fully automated system for resource allocation and hardware sharing in functional FPGA compilation. It combines: a multi-abstraction skeleton IR, equality saturation to explore all legal transformation sequences, a solver‑based extractor that jointly decides allocation and sharing under device constraints, and a structured lowering pipeline that targets the SHIR compiler and Intel FPGA toolchains. The Docker image in this artifact reproduces the paper's main results, which are found in Table III. VHDL code for all experiments can be generated using a single command inside the container, and results are written to the local results/ directory for inspection and further processing.
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
