Denali: A goal-directed superoptimizer

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2002, Pages 304-314

  Joshi, Rajeev ^a   Nelson, Greg ^a   Randall, Keith ^a  

^a HEWLETT PACKARD COMPANY   (United States)

Author keywords

Optimizing compiler; Superoptimizer

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; PROGRAM COMPILERS;

SUPEROPTIMIZERS;

COMPUTER SYSTEMS;

EID: 0036038149     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Variations on the common subexpression problem
2. Extended static checking for java
3. Eliminating branches using a superoptimizer and the GNU C compiler
4. Encoding plans in propositional logic
5. Planning as satisfiability
6. Pushing the envelope: Planning, propositional logic, and stochastic search
7. Superoptimizer: A look at the shortest program
8. Fast decision algorithms based on congruence closure
9. Machine descriptions to build tools for embedded systems
10. Performance of the firefly RPC