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
News
April 2026
29 April 2026
Vasileios Klimis will be presenting a paper at the 34th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering to be held 5 - 9 July 2026 in Montreal, Canada.
It introduces a new way to validate compilers and so make all software created using them potentially more ... [more]
28 April 2026
Vasileios Klimis is part of a team that have a paper accepted for the 19th IEEE International Conference on Software Testing, Verification and Validation in Daejeon, Republic of Korea to be held 18-22 May
It concerns Noise Fingerprints for Cross-Platform Quantum Simulator Discrepancy Analysis. Quantum algorithms are tested on quantum ... [more]
17 April 2026
Vasileios Klimis has presented a paper on "Beyond Specification Conformance" at the 48th IEEE/ACM International Conference on Software Engineering in Rio de Janeiro
It introduces a new way, based on a mathematical logic, that complements specifications to take into account the needs of users to improve the quality of ... [more]
