Vasileios Klimis -

Registered user since Mon 17 Jun 2019

Name:Vasileios Klimis

Affiliation:Queen Mary University of London

Personal website: https://vasileiosklimis.github.io/portfolio/

Contributions

2025

ECOOP

Author of Validating Persistency Semantics with Memory Hierarchy Timing Attack within the Technical Papers-track

2024

SPLASH

Author of Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures within the OOPSLA 2024-track

ICSE

Author of Challenges in Empirically Testing Memory Persistency Models within the New Ideas and Emerging Results-track

The Future of Weak Memory

Author of Chasing Unicorns and Not Losing Hope in Validating Weak Memory Persistency Models within the The Future of Weak Memory 2024-track