Towards model checking real-world software-defined networks V Klimis, G Parisis, B Reus International Conference on Computer Aided Verification, 126-148, 2020 | 4 | 2020 |
Taking back control in an intermediate representation for GPU computing V Klimis, J Clark, A Baker, D Neto, J Wickerson, A Donaldson Proc. ACM on Programming Languages (POPL) 7, 2023 | 3 | 2023 |
Abstractions and optimisations for model-checking software-defined networks. V Klimis University of Sussex, 2021 | 1 | 2021 |
Model Checking Software-Defined Networks with Flow Entries that Time Out (version with appendix) V Klimis, G Parisis, B Reus arXiv preprint arXiv:2008.06149, 2020 | 1 | 2020 |
Chasing Unicorns and Not Losing Hope in Validating Weak Memory Persistency Models V Klimis POPL - The Future of Weak Memory, 2024 | | 2024 |
Challenges in Empirically Testing Memory Persistency Models V Klimis, AF Donaldson, V Vafeiadis, J Wickerson, A Raad ICSE, 2024 | | 2024 |
Artifact for "Taking Back Control in an Intermediate Representation for GPU Computing", POPL 2023 AFD Vasileios Klimis, Jack Clark, Alan Baker, David Neto, John Wickerson https://zenodo.org/record/7152484#.ZAJANOzP06E, 2022 | | 2022 |
Towards model checking real-world software-defined networks (version with appendix) V Klimis, G Parisis, B Reus arXiv preprint arXiv:2004.11988, 2020 | | 2020 |
Model Checking Software-Defined Networks with Flow Entries that Time Out V Klimis, G Parisis, B Reus PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED …, 2020 | | 2020 |