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
2026
Noise Fingerprints for Cross-Platform Quantum Simulator Discrepancy AnalysisKlimis V Bensoussan A Chachkarova E Even-Mendoza K Fortz S Mousavi MR
IEEE International Conference on Software Testing (ICST).
01-05-2026 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.
Compilomorphic Fuzzing: Turning a Compiler Against ItselfKlimis V
The ACM International Conference on the Foundations of Software Engineering (FSE).
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]
