@inproceedings{CGO-2018-BuchwaldFH,
	author        = "Sebastian Buchwald and Andreas Fried and Sebastian Hack",
	booktitle     = "{Proceedings of the 16th International Symposium on Code Generation and Optimization}",
	doi           = "10.1145/3168821",
	pages         = "300--313",
	publisher     = "{ACM}",
	title         = "{Synthesizing an instruction selection rule library from semantic specifications}",
	year          = 2018,
}