Vasileios Klimis

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 7

Top Topics

Automated Verification

Intermediate Representation

Top Venues

Proc. ACM Program. Lang.

Publications

Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad
Challenges in Empirically Testing Memory Persistency Models. NIER@ICSE (2024)
Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad
Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour. CoRR (2024)
Vasileios Klimis, Jack Clark, Alan Baker, David Neto, John Wickerson, Alastair F. Donaldson
Taking Back Control in an Intermediate Representation for GPU Computing. Proc. ACM Program. Lang. 7 (POPL) (2023)
Vasileios Klimis, George Parisis, Bernhard Reus
Towards Model Checking Real-World Software-Defined Networks. CoRR (2020)
Vasileios Klimis, George Parisis, Bernhard Reus
Model Checking Software-Defined Networks with Flow Entries that Time Out. FMCAD (2020)
Vasileios Klimis, George Parisis, Bernhard Reus
Towards Model Checking Real-World Software-Defined Networks. CAV (2) (2020)
Vasileios Klimis, George Parisis, Bernhard Reus
Model Checking Software-Defined Networks with Flow Entries that Time Out. CoRR (2020)