Vasileios Klimis

12 papers A 1B 1Journal 7Unranked 2

Year	Rank	Type	Title / 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

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski