Denali: A goal-directed superoptimizer

Rajeev Joshi, Greg Nelson, Keith Randall
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation
PLDI '02
Berlin, Germany
Association for Computing Machinery
New York, NY, USA
Pages 304-314
2002
Note(s): superoptimizer