Mr Simon Cooksey

Research Student

Publications

PhD Project Summary

I am in the PLAS research group, studying Weak Memory behaviours with Mark Batty.

I develop tools to help reason about the behaviour of computer software in multi-core processors.

Talks

I recently gave a talk at the Aarhus Concurrency Workshop positioning research on a memory model for relaxed memory consistency presented by Jeffrey and Riely in LICS'16. I spoke about the merits of this model, and how it's being developped by myself and others at Kent, and our directions going forward. Slides are available here.