Follow
Shale Xiong
Shale Xiong
Verified email at ic.ac.uk - Homepage
Title
Cited by
Cited by
Year
Data Consistency in Transactional Storage Systems: a Centralised Approach
S Xiong, A Cerone, A Raad, P Gardner
arXiv preprint arXiv:1901.10615, 2019
72019
Abstract specifications for concurrent maps
S Xiong, PR Pinto, G Ntzik, P Gardner
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
72017
Parametric operational semantics for consistency models
S Xiong
Imperial College London, 2019
22019
Abstract specifications for concurrent maps (extended version)
S Xiong, P da Rocha Pinto, G Ntzik, P Gardner
Department of Computing, Imperial College London, 2017
12017
Reasoning About Concurrent Programs
S XIONG
Imperial College London, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–5