Photo of Shale Xiong
  Webpage   shale.xiong14@imperial.ac.uk   GitHub Profile

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. Data Consistency in Transactional Storage Systems: a Centralised Approach

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

  2. Parametric Operational Semantics for Consistency Models

    Ph.D. Thesis, Imperial College London

  3. Abstract Specifications for Concurrent Maps

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