O-structures: semantics for versioned memory.

Eran Gilad, Eric W. Mackay, Mark Oskin, Yoav Etsion

Browse the full PLDI paper archive.