O-structures: semantics for versioned memory. - Eran Gilad; Eric W. Mackay; Mark Oskin; Yoav Etsion (MSPC@PLDI, 2014)