The gap between processor and main memory performance increases every year. In order to overcome this problem, cache memories are widely used. Howeve...
Graph-coloring register allocators eliminate copies by coalescing the source and target nodes of a copy if they do not interfere in the interference...
Parallel functional languages often use meta-linguistic annotations to provide control over parallel evaluation. In this paper we explore a flexible...
We present a framework for offline partial evaluation for call-by-value functional programming languages with an ML-style typing discipline. This inc...
What does it mean for a deforming object to be "moving"? How can we separate the overall motion (a finite-dimensional group action) from the more gen...
