Denali: A Goal-directed Superoptimizer.

Rajeev Joshi, Greg Nelson, Keith H. Randall

Browse the full PLDI paper archive.