Commit 206ac7c2 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia


parent 78e73597
Pipeline #138467 passed with stages
in 3 minutes and 57 seconds
title: Congratulations to Shale Xiong
title: Congratulations to Dr Shale Xiong
Many congratulations to Shale Xiong, who very successfully defended his PhD thesis, Parametric Operational Semantics
for Consistency Models and many thanks to [Brijesh Dongol](,
[Annette Bieniusa]( and [Susan Eisenbach](
who acted as the examiners.
Shale's thesis develops a novel operational semantics for distributed key-value stores.
This model combines the evolution of a global multi-versioning view and the client-local partial views and the
operational semantics allow to formulate consistency levels from read Strict Serializability to Read
Atomicity based on execution tests that validate the correctness of transactional operations on the shared data.
Shale is currently working as a Research Engineer in the Security group at [Arm Research, Cambridge](
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment