Layered and object-based game semantics. - Arthur Oliveira Vale; Paul-André Melliès; Zhong Shao 001; Jérémie Koenig; Léo Stefanesco (Proc. ACM Program. Lang., 2022)

A Compositional Theory of Linearizability. - Arthur Oliveira Vale; Zhong Shao 001; Yixuan Chen 002 (Proc. ACM Program. Lang., 2023)

Compositionality and Observational Refinement for Linearizability with Crashes. - Arthur Oliveira Vale; Zhongye Wang; Yixuan Chen 002; Peixin You; Zhong Shao 001 (Proc. ACM Program. Lang., 2024)