Vasileios Klimis

According to our database, Vasileios Klimis authored at least 8 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Shouting at Memory: Where Did My Write Go? (Pearl/Brave New Idea).

Vasileios Klimis

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2024

Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures.

Guillaume Ambal, Brijesh Dongol, Haggai Eran, Vasileios Klimis, Ori Lahav, Azalea Raad

Proc. ACM Program. Lang., 2024

Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour.

Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad

CoRR, 2024

Challenges in Empirically Testing Memory Persistency Models.

Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad

Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results, 2024

2023

Taking Back Control in an Intermediate Representation for GPU Computing.

Vasileios Klimis, Jack Clark, Alan Baker, David Neto, John Wickerson, Alastair F. Donaldson

Proc. ACM Program. Lang., January, 2023

2021

Abstractions and optimisations for model-checking software-defined networks.

Vasileios Klimis

PhD thesis, 2021

2020

Model Checking Software-Defined Networks with Flow Entries that Time Out.

Vasileios Klimis, George Parisis, Bernhard Reus

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Towards Model Checking Real-World Software-Defined Networks.

Vasileios Klimis, George Parisis, Bernhard Reus

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020