Srinivas Devadas: Toward a Coherent Multicore Memory Model. Computer 46(10): 30-31 (2013)