Articles with public access mandates - Viktor VafeiadisLearn more
Available somewhere: 42
Repairing sequential consistency in C/C++ 11
O Lahav, V Vafeiadis, J Kang, CK Hur, D Dreyer
ACM SIGPLAN Notices 52 (6), 618-632, 2017
Mandates: European Commission
A promising semantics for relaxed-memory concurrency
J Kang, CK Hur, O Lahav, V Vafeiadis, D Dreyer
ACM SIGPLAN Notices 52 (1), 175-189, 2017
Mandates: European Commission
CompCertTSO: A verified compiler for relaxed-memory concurrency
J Ševčík, V Vafeiadis, F Zappa Nardelli, S Jagannathan, P Sewell
Journal of the ACM (JACM) 60 (3), 1-50, 2013
Mandates: UK Engineering and Physical Sciences Research Council
Effective stateless model checking for C/C++ concurrency
M Kokologiannakis, O Lahav, K Sagonas, V Vafeiadis
Proceedings of the ACM on Programming Languages 2 (POPL), 17, 2018
Mandates: Swedish Research Council, European Commission
Strong logic for weak memory: Reasoning about release-acquire consistency in Iris
JO Kaiser, HH Dang, D Dreyer, O Lahav, V Vafeiadis
31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017
Mandates: European Commission
Automating the choice of consistency levels in replicated systems
C Li, J Leitão, A Clement, N Preguiça, R Rodrigues, V Vafeiadis
2014 USENIX Annual Technical Conference (USENIX ATC 14), 281-292, 2014
Mandates: European Commission
Model Checking for Weakly Consistent Libraries
M Kokologiannakis, A Raad, V Vafeiadis
Mandates: European Commission
Persistency semantics of the Intel-x86 architecture
A Raad, J Wickerson, G Neiger, V Vafeiadis
Proceedings of the ACM on Programming Languages 4 (POPL), 1-31, 2019
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Aspect-oriented linearizability proofs
TA Henzinger, A Sezgin, V Vafeiadis
International Conference on Concurrency Theory, 242-256, 2013
Mandates: Austrian Science Fund
Weak persistency semantics from the ground up: Formalising the persistency semantics of ARMv8 and transactional models
A Raad, J Wickerson, V Vafeiadis
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-27, 2019
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Mtac: a monad for typed tactic programming in Coq
B Ziliani, D Dreyer, NR Krishnaswami, A Nanevski, V Vafeiadis
ACM SIGPLAN Notices 48 (9), 87-100, 2013
Mandates: Government of Spain
Explaining relaxed memory models with program transformations
O Lahav, V Vafeiadis
International Symposium on Formal Methods, 479-495, 2016
Mandates: European Commission
Persistence semantics for weak memory: Integrating epoch persistency with the TSO memory model
A Raad, V Vafeiadis
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018
Mandates: European Commission
Mtac: A monad for typed tactic programming in Coq
B Ziliani, D Dreyer, NR Krishnaswami, A Nanevski, V Vafeiadis
Journal of functional programming 25, e12, 2015
Mandates: Government of Spain
On library correctness under weak memory consistency: Specifying and verifying concurrent libraries under declarative consistency models
A Raad, M Doko, L Rožić, O Lahav, V Vafeiadis
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
Mandates: European Commission
GenMC: A Model Checker for Weak Memory Models
M Kokologiannakis, V Vafeiadis
International Conference on Computer Aided Verification, 427-440, 2021
Mandates: European Commission
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
Mandates: European Commission
Persistent Owicki-Gries reasoning: a program logic for reasoning about persistent programs on Intel-x86
A Raad, O Lahav, V Vafeiadis
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020
Mandates: European Commission
Aspect-oriented linearizability proofs
S Chakraborty, TA Henzinger, A Sezgin, V Vafeiadis
Logical Methods in Computer Science 11, 2015
Mandates: Austrian Science Fund, UK Engineering and Physical Sciences Research Council …
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
Mandates: European Commission
Publication and funding information is determined automatically by a computer program