Shale was a PhD student with the group. Shale defended his thesis: Parametric Operational Semantics for Consistency Models in February 2020 and he is currently working for Arm Research, Cambridge, as a Research Engineer in their Security group.

Group Publications

  1. Parametric Operational Semantics for Consistency Models

    Ph.D. Thesis, Imperial College London

  2. Data Consistency in Transactional Storage Systems: a Centralised Approach

    34th European Conference on Object-Oriented Programming (ECOOP 2020)

  3. Abstract Specifications for Concurrent Maps

    Proceedings of the 26th European Symposium on Programming (ESOP’17), pp. 964–990