Ross Daly, Caleb Donovick, Jackson Melchert, Rajsekhar Setaluri, Nestan Tsiskaridze, Priyanka Raina, Clark W. Barrett, Pat Hanrahan. Synthesizing Instruction Selection Rewrite Rules from RTL using SMT. In FMCAD. pages 139-150, 2022. [doi]
@inproceedings{DalyDMSBRBH22,
title = {Synthesizing Instruction Selection Rewrite Rules from RTL using SMT},
author = {Ross Daly and Caleb Donovick and Jackson Melchert and Rajsekhar Setaluri and Nestan Tsiskaridze and Priyanka Raina and Clark W. Barrett and Pat Hanrahan},
year = {2022},
doi = {10.34727/2022/isbn.978-3-85448-053-2_20},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_20},
researchr = {https://researchr.org/publication/DalyDMSBRBH22},
cites = {0},
citedby = {0},
pages = {139-150},
booktitle = {FMCAD},
}