Language Specifiaction and Program Verification

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

   • Shale Xiong
   • Andrea Cerone
   • Azalea Raad
   • Philippa Gardner

   ECOOP 2020

2. Parametric Operational Semantics for Consistency Models

   • Shale Xiong

   Ph.D. Thesis, Imperial College London, 2020

3. Abstract Specifications for Concurrent Maps

   • Shale Xiong
   • Pedro da Rocha Pinto
   • Gian Ntzik
   • Philippa Gardner

   ESOP 2017