A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs. - Granville Barnett; Shengchao Qin (ICFEM, 2012)

Moverness for Locks and Transactions. - Granville Barnett; Shengchao Qin (TASE, 2012)

Data-Race-Freedom of Concurrent Programs. - Granville Barnett; Shengchao Qin (APSEC (1), 2013)

Reasoning about locks and transactions in concurrent programs. - Granville Barnett (2014)