Automatic generation of peephole superoptimizers

Sorav Bansal, Alex Aiken
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems
ASPLOS XII
San Jose, California, USA
ACM
New York, NY, USA
Pages 394-403
2006
Note(s): superoptimizer, ISA specification

Superoptimizer