Conference Papers: Synthesizing an Instruction Selection Rule Library from Semantic Specifications

[buchwald18cgo]

Sebastian Buchwald, Andreas Fried, Sebastian Hack, Synthesizing an Instruction Selection Rule Library from Semantic Specifications, Proceedings of 2018 IEEE/ACM International Symposium on Code Generation and Optimization, ACM, New York, NY, USA, 2018.

Download

[PDF]

[DOI]

[Presentation]

BibTeX

@inproceedings{buchwald18cgo,
  title = {Synthesizing an Instruction Selection Rule Library from Semantic Specifications},
  booktitle = {Proceedings of 2018 IEEE/ACM International Symposium on Code Generation and Optimization},
  year = {2018},
  publisher = {ACM},
  author = {Sebastian Buchwald and Andreas Fried and Sebastian Hack},
  series = {CGO '18},
  address = {New York, NY, USA},
  doi = {10.1145/3168821},
}

Authors at the institute

Former Staff Member
Dipl.-Inform. Sebastian Buchwald
M.Sc. Andreas Fried

Projects

Project

InvasIC

libFirm