Synthesizing an Instruction Selection Rule Library from Semantic Specifications

This is the software accompanying the paper of the same name, to appear at CGO 2018. The goal of the software is to automatically synthesize rules for translating a compiler's intermediate representation into the assembly language of a processor (a process called “instruction selection”). The software is distributed along with benchmarks in a Docker container. For some benchmarks, a copy of the SPEC CPU2000 benchmark suite is required.

This work was supported by the German Research Foundation (DFG) as part of the Transregional Collaborative Research Centre "Invasive Computing" (SFB/TR 89).

Related Organizations

Karlsruhe Institute of Technology
Germany
Saarland University
Germany

Keywords

SMT, Compiler, Program Synthesis, Instruction Selection

Impact byBIP!

	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