<A HREF="http://www.cse.ogi.edu/~crispin/hope.html"
  >HOPE</A> 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.