1. A computing device that facilitates providing precise exception semantics for a virtual machine, comprising: a processor that executes a program in the virtual machine, wherein the processor includes a gated store buffer that stores values to be written to a memory; wherein the gated store buffer is configured to delay a store to the memory until after a speculatively-optimized region of the program commits; and wherein the processor is configured to signal an exception when the processor detects that a load following the store is attempting to access a same memory region being written by the store prior to the commitment of the speculatively-optimized region.