Different strictness analysis results in using memory differently. Note that some of Don's references are embedding a DSL that gives a high-level interface to v

Different strictness analysis results in using memory differently. Note that some of Don's references are embedding a DSL that gives a high-level interface to very low-level code (e.g. CUDA) specific to this problem. They should have control over strictness.