Dr Vasileios Klimis
Lecturer in Computer Science
School of Electronic Engineering and Computer Science
Queen Mary University of London
Research
Formal Methods/ Fuzz Testing/ Verification/ Validation/, Programming Languages/ Networking Implementations/ Weak Memory Models/ RDMA (Remote Direct Memory Access)/ Quantum Computing
Interests
I explore novel ways to apply formal methods, logical frameworks, and programming language technology to advance fuzz testing, verification, and validation across a range of systems — including networking stacks, GPU compilers, weak memory models, RDMA configurations, and quantum computing environments.
Publications
Publications of specific relevance to the Centre for Fundamentals of AI and Computational Theory
2025
A Low-Latency Control Fabric for Distributed Quantum Error Correction using RDMA: A Timed Event Structure ModelKlimis V
2025 IEEE Conference on Pervasive and Intelligent Computing (PICom). vol. 00, 244-249.
24-10-2025Shaking Up Quantum Simulators with Fuzzing and RigourKlimis V Bensoussan A Chachkarova E Even-Mendoza K Fortz S Lenihan C
Proceedings of The Acm on Programming Languages,
Association For Computing Machinery (Acm) vol. 9 (OOPSLA2), 1400-1428.
09-10-2025 2024
Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO ArchitecturesAmbal G Dongol B Eran H Klimis V Raad A
Proceedings of the ACM on Programming Languages. vol. 8 (OOPSLA2), 1982-2009.
08-10-2024 Lost in Interpretation: Navigating Challenges in Validating Persistency
Models Amid Vague Specs and Stubborn Machines, All with a Sense of HumourKlimis V Donaldson AF Vafeiadis V Wickerson J Raad A
28-05-2024 Challenges in Empirically Testing Memory Persistency ModelsKlimis V Donaldson AF Raad A
Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results., 82-86.
14-04-2024 Chasing Unicorns and Not Losing Hope in Validating Weak Memory Persistency ModelsKlimis V
15-01-2024 2023
Taking Back Control in an Intermediate Representation for GPU ComputingKlimis V Clark J Neto D
Proceedings of The Acm on Programming Languages,
Association For Computing Machinery (Acm) vol. 7 (POPL), 1740-1769.
09-01-2023 2020
Model Checking Software-Defined Networks with Flow Entries that Time OutKlimis V Reus B
Formal Methods in Computer-Aided Design – FMCAD.
05-10-2020 Model Checking Software-Defined Networks with Flow Entries that Time Out
(version with appendix)Klimis V Parisis G Reus B
14-08-2020 Towards Model Checking Real-World Software-Defined Networks (version
with appendix)Klimis V Parisis G Reus B
24-04-2020 A Compositional Approach to Quantitative Verification of Software-defined NetworksKlimis V
13-04-2020 Towards Model Checking Real-World Software-Defined NetworksKlimis V Parisis G Reus B
Lecture Notes in Computer Science. vol. 12225, 126-148.
01-01-2020 Artifact for Taking Back Control in an Intermediate Representation for GPU ComputingKlimis V Donaldson A Clark J Baker A Neto D Wickerson J
Shouting at Memory: Where Did My Write Go?Klimis V
Ecoop Beyond Spec Conformance: A Logic for Validating Stakeholder ExpectationsKlimis V
ICSE: International Conference on Software Engineering.
Research Group
