376 search results - page 40 / 76 » Optimizing Pattern Matching Compilation by Program Transform... |
181
click to vote
POPL
2009
ACM
16 years 15 days ago
2009
ACM
Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs. This hides looping bugs from the programmer, an...
110
click to vote
JFP
2002
14 years 11 months ago
2002
We present CIL , a typed -calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. Th...
PLDI
2005
ACM
15 years 5 months ago
2005
ACM
A critical optimization in the domain of linear signal transforms, such as the discrete Fourier transform (DFT), is loop merging, which increases data locality and reuse and thus ...
121
click to vote
ISHPC
2003
Springer
15 years 5 months ago
2003
Springer
Simultaneous multithreaded processors use shared on-chip caches, which yield better cost-performance ratios. Sharing a cache between simultaneously executing threads causes excessi...
117
click to vote
VEE
2005
ACM
15 years 5 months ago
2005
ACM
We introduce a strategy for inlining native functions into JavaTM applications using a JIT compiler. We perform further optimizations to transform inlined callbacks into semantica...