Granville Barnett

Publication Activity (10 Years)

Years Active: 2012-2013
Publications (10 Years): 0

Top Topics

Nested Transactions

Transactional Data

Concurrency Control

Top Venues

Durham University, UK (PHD)

Education History

Durham University, UK

PHD

Publications

Granville Barnett, Shengchao Qin
Data-Race-Freedom of Concurrent Programs. APSEC (1) (2013)
Granville Barnett, Shengchao Qin
Moverness for Locks and Transactions. TASE (2012)
Granville Barnett, Shengchao Qin
A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs. ICFEM (2012)