Publications: Dr Vasileios Klimis
Klimis V
(
2024
)
.
Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures
.
Conference:
The ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) / OOPSLA
Klimis V, Donaldson AF, Vafeiadis V, Wickerson J, 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, Baker A, Neto D, Wickerson J, Donaldson AF
(
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, Parisis G, 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
)
.
Towards Model Checking Real-World Software-Defined Networks
.
Lecture Notes in Computer Science
.
vol.
12225
,
126
-
148
.
Klimis V
(
2020
)
.
A Compositional Approach to Quantitative Verification of Software-defined Networks
.