Vasileios Klimis

12 papers A 1B 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Shaking Up Quantum Simulators with Fuzzing and Rigour.
Proc. ACM Program. Lang.
Vasileios Klimis, Avner Bensoussan, Elena Chachkarova, Karine Even-Mendoza, Sophie Fortz, Connor Lenihan
2025 A conf
Shouting at Memory: Where Did My Write Go? (Pearl/Brave New Idea).
ECOOP
Vasileios Klimis
2025 J jnl
Toward Live Noise Fingerprinting in Quantum Software Engineering.
CoRR
Avner Bensoussan, Elena Chachkarova, Karine Even-Mendoza, Sophie Fortz, Vasileios Klimis
2024 — conf
Challenges in Empirically Testing Memory Persistency Models.
NIER@ICSE
Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad
2024 J jnl
Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour.
CoRR
Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad
2024 J jnl
Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures.
Proc. ACM Program. Lang.
Guillaume Ambal, Brijesh Dongol, Haggai Eran, Vasileios Klimis, Ori Lahav, Azalea Raad
2023 J jnl
Taking Back Control in an Intermediate Representation for GPU Computing.
Proc. ACM Program. Lang.
Vasileios Klimis, Jack Clark, Alan Baker, David Neto, John Wickerson, Alastair F. Donaldson
2021 — —
Abstractions and optimisations for model-checking software-defined networks.
Vasileios Klimis
2020 B conf
Model Checking Software-Defined Networks with Flow Entries that Time Out.
FMCAD
Vasileios Klimis, George Parisis, Bernhard Reus
2020 J jnl
Model Checking Software-Defined Networks with Flow Entries that Time Out.
CoRR
Vasileios Klimis, George Parisis, Bernhard Reus
2020 — conf
Towards Model Checking Real-World Software-Defined Networks.
CAV (2)
Vasileios Klimis, George Parisis, Bernhard Reus
2020 J jnl
Towards Model Checking Real-World Software-Defined Networks.
CoRR
Vasileios Klimis, George Parisis, Bernhard Reus