Skip to main content
Research
  1. Queen Mary University of London
  2. Research
  3. Publications

Publications: DR Vasileios Klimis

Back to Search
Klimis V ( 2025 ) . A Low-Latency Control Fabric for Distributed Quantum Error Correction using RDMA: A Timed Event Structure Model . Conference: 2025 IEEE Conference on Pervasive and Intelligent Computing (PICom) vol. 00 , 244 - 249 .
Klimis V, Bensoussan A, Chachkarova E, Even-Mendoza K, Fortz S, Lenihan C ( 2025 ) . Shaking Up Quantum Simulators with Fuzzing and Rigour . Proceedings of the ACM on Programming Languages vol. 9 , ( OOPSLA2 ) 1400 - 1428 .
Ambal G, Dongol B, Eran H, Klimis V, Raad A ( 2024 ) . Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures . Proceedings of the ACM on Programming Languages . vol. 8 , 1982 - 2009 .
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, 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, Neto D ( 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, 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 ,
Klimis V . Beyond Spec Conformance: A Logic for Validating Stakeholder Expectations . Conference: ICSE: International Conference on Software Engineering
Klimis V . Shouting at Memory: Where Did My Write Go? . ECOOP
Back to Search