Follow
Viktor Vafeiadis
Viktor Vafeiadis
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
Verified email at mpi-sws.org - Homepage
Title
Cited by
Cited by
Year
Spore: Combining Symmetry and Partial Order Reduction
M Kokologiannakis, I Marmanis, V Vafeiadis
Proceedings of the ACM on Programming Languages 8 (PLDI), 1781-1803, 2024
2024
Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour
V Klimis, AF Donaldson, V Vafeiadis, J Wickerson, A Raad
arXiv preprint arXiv:2405.18575, 2024
2024
Challenges in empirically testing memory persistency models
V Klimis, AF Donaldson, V Vafeiadis, J Wickerson, A Raad
Proceedings of the 2024 ACM/IEEE 44th International Conference on Software …, 2024
12024
Enhancing GenMC’s Usability and Performance
M Kokologiannakis, R Majumdar, V Vafeiadis
International Conference on Tools and Algorithms for the Construction and …, 2024
2024
Specifying and Verifying Persistent Libraries
L Stefanesco, A Raad, V Vafeiadis
European Symposium on Programming, 185-211, 2024
12024
Formal Methods for Correct Persistent Programming
O Lahav, A Raad, J Tassarotti, V Vafeiadis, A Podkopaev
Dagstuhl Seminar 23412" Formal Methods for Correct Persistent Programming …, 2024
2024
Optimal Bounded Partial Order Reduction
I Marmanis, V Vafeiadis
2023 Formal Methods in Computer-Aided Design (FMCAD), 86-91, 2023
2023
Unblocking Dynamic Partial Order Reduction
M Kokologiannakis, I Marmanis, V Vafeiadis
International Conference on Computer Aided Verification, 230-250, 2023
42023
Reconciling preemption bounding with DPOR
I Marmanis, M Kokologiannakis, V Vafeiadis
International Conference on Tools and Algorithms for the Construction and …, 2023
22023
AtoMig: automatically migrating millions lines of code from TSO to WMM
M Beck, K Bhat, L Stričević, G Chen, D Behrens, M Fu, V Vafeiadis, ...
Proceedings of the 28th ACM International Conference on Architectural …, 2023
32023
Kater: automating weak memory model metatheory and consistency checking
M Kokologiannakis, O Lahav, V Vafeiadis
Proceedings of the ACM on Programming Languages 7 (POPL), 544-572, 2023
82023
The path to durable linearizability
E D'Osualdo, A Raad, V Vafeiadis
Proceedings of the ACM on Programming Languages 7 (POPL), 748-774, 2023
52023
{BWoS}: Formally Verified Block-based Work Stealing for Parallel Processing
J Wang, B Trach, M Fu, D Behrens, J Schwender, Y Liu, J Lei, V Vafeiadis, ...
17th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2023
42023
Model checking for a multi-execution memory model
E Moiseenko, M Kokologiannakis, V Vafeiadis
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 758-785, 2022
32022
SMT-Based Verification of Persistency Invariants of Px86 Programs
I Marmanis, V Vafeiadis
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2022
2022
Extending Intel-x86 Consistency and Persistency
A Raad, L Maranget, V Vafeiadis
POPL 2022-Symposium on Principles of Programming Languages, 2022
12022
Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores
A Raad, L Maranget, V Vafeiadis
Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022
152022
Truly stateless, optimal dynamic partial order reduction
M Kokologiannakis, I Marmanis, V Gladstein, V Vafeiadis
Proceedings of the ACM on Programming Languages 6 (POPL), 1-28, 2022
282022
Dynamic partial order reductions for spinloops
M Kokologiannakis, X Ren, V Vafeiadis
2021 Formal Methods in Computer Aided Design (FMCAD), 163-172, 2021
82021
Making weak memory models fair
O Lahav, E Namakonov, J Oberhauser, A Podkopaev, V Vafeiadis
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-27, 2021
242021
The system can't perform the operation now. Try again later.
Articles 1–20