| Layered and object-based game semantics A Oliveira Vale, PA Melliès, Z Shao, J Koenig, L Stefanesco Proceedings of the ACM on Programming Languages 6 (POPL), 1-32, 2022 | 14 | 2022 |
| A compositional theory of linearizability A Oliveira Vale, Z Shao, Y Chen Proceedings of the ACM on Programming Languages 7 (POPL), 1089-1120, 2023 | 8 | 2023 |
| A Compositional Theory of Linearizability A Oliveira Vale, Z Shao, Y Chen Journal of the ACM 71 (2), 1-107, 2024 | 4 | 2024 |
| Compositionality and Observational Refinement for Linearizability with Crashes A Oliveira Vale, Z Wang, Y Chen, P You, Z Shao Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 2296-2324, 2024 | | 2024 |
