Papers tagged relaxed memory models