Publications: DR Vasileios Klimis

Klimis V ( 2025 ) . A Low-Latency Control Fabric for Distributed Quantum Error Correction using RDMA: A Timed Event Structure Model . Conference: IEEE International Conference on Pervasive Intelligence and Computing (PICom)

( 2025 ) . Shaking Up Quantum Simulators with Fuzzing and Rigour . Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA vol. 9 ,

Klimis V ( 2024 ) . Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures . Conference: The ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) / OOPSLA

Klimis V, Donaldson AF, Vafeiadis V, Wickerson J, Raad A ( 2024 ) . Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour .

Klimis V, Donaldson AF, Vafeiadis V, Wickerson J, Raad A ( 2024 ) . Challenges in Empirically Testing Memory Persistency Models . Conference: Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results82 - 86 .

Klimis V ( 2024 ) . Chasing Unicorns and Not Losing Hope in Validating Weak Memory Persistency Models .

Klimis V, Clark J, Baker A, Neto D, Wickerson J, Donaldson AF ( 2023 ) . Taking Back Control in an Intermediate Representation for GPU Computing . Proceedings of the ACM on Programming Languages vol. 7 , ( POPL ) 1740 - 1769 .

Klimis V, Parisis G, Reus B ( 2020 ) . Model Checking Software-Defined Networks with Flow Entries that Time Out . Conference: Formal Methods in Computer-Aided Design – FMCAD

Klimis V, Parisis G, Reus B ( 2020 ) . Model Checking Software-Defined Networks with Flow Entries that Time Out (version with appendix) .

Klimis V, Parisis G, Reus B ( 2020 ) . Towards Model Checking Real-World Software-Defined Networks . Lecture Notes in Computer Science . vol. 12225 , 126 - 148 .

Klimis V, Parisis G, Reus B ( 2020 ) . Towards Model Checking Real-World Software-Defined Networks (version with appendix) .

Klimis V ( 2020 ) . A Compositional Approach to Quantitative Verification of Software-defined Networks .

Klimis V, Donaldson A, Clark J, Baker A, Neto D, Wickerson J . Artifact for "Taking Back Control in an Intermediate Representation for GPU Computing" . https://zenodo.org/record/7152484#.ZAJANOzP06E ,

. Shouting at Memory: Where Did My Write Go? . ECOOP