I compute, therefore I am (buggy): methodic doubt meets multiprocessors

Jade Alglave, Luc Maranget, Daniel Poetzl, Tyler Sorensen. I compute, therefore I am (buggy): methodic doubt meets multiprocessors. TinyToCS, 3, 2015. [doi]

Abstract

Abstract is missing.