Synthesizing Instruction Selection Back-Ends from ISA Specifications Made Practical.

Florian Drescher, Alexis Engelke

Browse the full CGO paper archive.