Synthesizing an instruction selection rule library from semantic specifications.

Sebastian Buchwald, Andreas Fried, Sebastian Hack

Browse the full CGO paper archive.