Dr Vasileios Klimis

Vasileios Klimis

Lecturer in Computer Science

School of Electronic Engineering and Computer Science
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

solid heart iconPublications of specific relevance to the Centre for Fundamental Computer Science

2024

bullet iconSemantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
Klimis V
The ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) / OOPSLA
21-10-2024
bullet iconChallenges in Empirically Testing Memory Persistency Models
Klimis V, Donaldson AF, Vafeiadis V, Wickerson J and Raad A
Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results
14-04-2024

2023

bullet iconTaking Back Control in an Intermediate Representation for GPU Computing
Klimis V, Clark J, Baker A, Neto D, Wickerson J and Donaldson AF
Proceedings of The Acm On Programming Languages, Association For Computing Machinery (Acm) vol. 7 (POPL), 1740-1769.  
09-01-2023

2020

bullet iconModel Checking Software-Defined Networks with Flow Entries that Time Out
Klimis V, Parisis G and Reus B
Formal Methods in Computer-Aided Design – FMCAD
05-10-2020
bullet iconA Compositional Approach to Quantitative Verification of Software-defined Networks
Klimis V
 
13-04-2020
bullet iconTowards Model Checking Real-World Software-Defined Networks
Klimis V, Parisis G and Reus B
 
01-01-2020