Shale was a PhD student with the group. Shale defended his thesis: [Parametric Operational Semantics for Consistency Models (https://vtss.doc.ic.ac.uk/publications/Xiong2020Parametric.html) in February 2020 and he is currently working for Arm Research, Cambridge, as a Research Engineer in their Security group.
Ph.D. Thesis, Imperial College London
34th European Conference on Object-Oriented Programming (ECOOP 2020)
Proceedings of the 26th European Symposium on Programming (ESOP’17), pp. 964–990