The paper is here (referenced in the Loom docs.): http://demsky.eecs.uci.edu/publications/c11modelcheck.pdf http://demsky.eecs.uci.edu/publications/c11modelche

The paper is here (referenced in the Loom docs.): http://demsky.eecs.uci.edu/publications/c11modelcheck.pdf http://demsky.eecs.uci.edu/publications/c11modelcheck.pdf This page describes how to get the code (linked from the paper): http://plrg.ics.uci.edu/software_page/42-2/ http://plrg.ics.uci.edu/software_page/42-2/ I found some data races in an ODBC driver using TSan. Running it through CDSChecker is one of my round tuit projects.