Dr Vasileios Klimis
Lecturer in Computer Science
School of Electronic Engineering and Computer Science
Queen Mary University of London
Queen Mary University of London
Research
building and verifying formal models, automated testing for GPU compilers, analysing weak memory models
Interests
I am exploring novel ways to leverage formal logic, logical frameworks and programming language technology for enhancing fuzz testing, verification and validation of networking implementations, GPU compilers, weak memory models and RDMA (Remote Direct Memory Access) configurations.Publications
2024
Klimis V (2024). Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures. The ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) / OOPSLA. 21-10-2024
Klimis V, Donaldson AF, Vafeiadis V, Wickerson J and Raad A (2024). Challenges in Empirically Testing Memory Persistency Models. Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results. 14-04-2024
2023
Klimis V, Clark J, Baker A, Neto D, Wickerson J and Donaldson AF (2023). Taking Back Control in an Intermediate Representation for GPU Computing. Proceedings of the ACM on Programming Languages, Association for Computing Machinery (ACM) vol. 7 (POPL), 1740-1769. 09-01-2023
2020
Klimis V, Parisis G and Reus B (2020). Model Checking Software-Defined Networks with Flow Entries that Time Out. Formal Methods in Computer-Aided Design – FMCAD. 05-10-2020
Klimis V (2020). A Compositional Approach to Quantitative Verification of Software-defined Networks. 13-04-2020
Klimis V, Parisis G and Reus B (2020). Towards Model Checking Real-World Software-Defined Networks. 01-01-2020