TY - RPRT TI - Tardis 2.0: Optimized Time Traveling Coherence for Relaxed Consistency Models AU - Xiangyao Yu AU - Hongzhe Liu AU - Ethan Zou AU - Srinivas Devadas PY - 2016 UR - https://arxiv.org/abs/1511.08774 ID - 1511.08774 ER -