We present an overview of our system for automatically extracting parallelism
from Standard ML programs using algorithmic skeletons.
This system identifies a small number of higher-order functions as sites of
parallelism and the compiler uses profiling and transformation techniques to
exploit these.
