This portal has been archived. Explore the next generation of this technology.

Synthesizing an instruction selection rule library from semantic specifications

lib:09de902eda84984d (v1.1.1)

Share
Authors: Sebastian Buchwald, Andreas Fried, Sebastian Hack
Where published: CGO'18
Document:  DOI 
Artifact available: ✔
Artifact evaluated - reusable: ✔
Results replicated: ✔
Artifact DOI: Link
Unified artifact appendix and reproducibility checklist: Link

Relevant initiatives  

Related knowledge about this paper Reproduced results (crowd-benchmarking and competitions) Artifact and reproducibility checklists Common formats for research projects and shared artifacts Reproducibility initiatives

Comments  

Please log in to add your comments!
If you notice any inapropriate content that should not be here, please report us as soon as possible and we will try to remove it within 48 hours!