HOPE

HOPE at the Oregon Institute of Science and Technology, a set of primitives on top of an concrete VM, for optimistic programming, i.e. guessing the result of operations in order to increase parallelism.