27 search results - page 1 / 6 » A verifiable SSA program representation for aggressive compi... |
POPL
2006
ACM
14 years 5 months ago
2006
ACM
LISP
2008
13 years 4 months ago
2008
For functional programs, unboxing aggregate data structures such as tuples removes memory indirections and frees dead components of the decoupled structures. To explore the consequ...
GI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
EUROPAR
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs characterize the behavior of code ...
PLDI
2003
ACM
13 years 10 months ago
2003
ACM
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristi...