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

Inspired by Descartes' methodic doubt, we systematically test concurrent systems to dispel and correct widely held programming assumptions.

TinyToCS paper [pdf]

Tyler Sorensen
Daniel Poetzl
Luc Maranget
Jade Alglave

Programs used in the paper:
Buggy cypher [tarball]
Corrected cypher [tarball]

Further reading
GPU concurrency: Weak behaviours and programming assumptions [project page]