Author:
Granlund Torbjörn,Kenner Richard
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Max-SMT Superoptimizer for EVM handling Memory and Storage;Tools and Algorithms for the Construction and Analysis of Systems;2022
2. Learning Guided Enumerative Synthesis for Superoptimization;Model Checking Software;2019
3. Complete and Practical Universal Instruction Selection;ACM Transactions on Embedded Computing Systems;2017-10-10
4. Code Generation;Undergraduate Topics in Computer Science;2017
5. Scaling up Superoptimization;ACM SIGARCH Computer Architecture News;2016-07-29