Dataflow-based pruning for speeding up superoptimization
Manasij Mukherjee, Pranav Kant, Zhengyang Liu, John Regehr[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Proc. ACM Program. Lang.
4(OOPSLA)
Association for Computing Machinery
New York, NY, USA
nov 2020
Note(s): superoptimizer, LLVM compiler, SMT solver, abstract interpretation
Association for Computing Machinery
New York, NY, USA
nov 2020
Note(s): superoptimizer, LLVM compiler, SMT solver, abstract interpretation