Granville Barnett

According to our database, Granville Barnett authored at least 4 papers between 2012 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Reasoning about locks and transactions in concurrent programs.

Granville Barnett

PhD thesis, 2014

2013

Data-Race-Freedom of Concurrent Programs.

Granville Barnett, Shengchao Qin

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Moverness for Locks and Transactions.

Granville Barnett, Shengchao Qin

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs.

Granville Barnett, Shengchao Qin

Proceedings of the Formal Methods and Software Engineering, 2012