Viktor Vafeiadis

Cited by

	All	Since 2017
Citations	5089	3006
h-index	42	32
i10-index	68	62

660

330

165

495

2006200720082009201020112012201320142015201620172018201920202021202222 43 56 105 160 179 195 209 314 383 354 543 487 632 427 642 272

Public access

View all

31 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Ori LahavTel Aviv UniversityVerified email at tau.ac.il
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Azalea RaadImperial College LondonVerified email at imperial.ac.uk
Francesco Zappa NardelliFacebookVerified email at fb.com
Matthew J. ParkinsonMicrosoft ResearchVerified email at microsoft.com
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Michalis KokologiannakisMax Planck Institute for Software Systems (MPI-SWS)Verified email at mpi-sws.org
Anton PodkopaevJetBrains Research, HSE UniversityVerified email at jetbrains.com
Soham Sundar ChakrabortyMax Planck Institute for Software SystemsVerified email at mpi-sws.org
Jeehoon KangAssistant Professor of KAIST School of ComputingVerified email at kaist.ac.kr
Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
Mike DoddsGalois Inc.Verified email at galois.com
Marc ShapiroSorbonne-Université—LIP6 & InriaVerified email at acm.org
Suresh JagannathanProfessor of Computer Science, Purdue UniversityVerified email at cs.purdue.edu
Maurice HerlihyAn Wang Professor of Computer Science, Brown UniversityVerified email at cs.brown.edu
Tony (C.A.R.) HoarePrincipal Researcher, Microsoft Research; Emeritus Professor, University of Oxford; GriffithVerified email at griffith.edu.au
Neelakantan R. KrishnaswamiUniversity of CambridgeVerified email at cl.cam.ac.uk
John WickersonImperial College LondonVerified email at imperial.ac.uk
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk

Viktor Vafeiadis

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)

Verified email at mpi-sws.org - Homepage

Software Verification Program Logic Concurrency Weak Memory Models Interactive Theorem Proving


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A marriage of rely/guarantee and separation logic V Vafeiadis, M Parkinson CONCUR 2007–Concurrency Theory, 256-271, 2007	390	2007
Concurrent abstract predicates T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis European Conference on Object-Oriented Programming, 504-528, 2010	292	2010
Modular fine-grained concurrency verification V Vafeiadis University of Cambridge, Computer Laboratory, 2008	244	2008
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	161	2017
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	156	2017
Relaxed separation logic: A program logic for C11 concurrency V Vafeiadis, C Narayan OOPSLA 2013 48 (10), 867-884, 2013	150	2013
Deny-guarantee reasoning M Dodds, X Feng, M Parkinson, V Vafeiadis ESOP 2009, 363-377, 2009	150	2009
Automatically proving linearizability V Vafeiadis CAV 2010, 450-464, 2010	146	2010
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	143	2013
GPS: Navigating weak memory with ghosts, protocols, and separation A Turon, V Vafeiadis, D Dreyer Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014	141	2014
Proving correctness of highly-concurrent linearisable objects V Vafeiadis, M Herlihy, T Hoare, M Shapiro PPoPP 2006, 129-136, 2006	130	2006
Common compiler optimisations are invalid in the C11 memory model and what we can do about it V Vafeiadis, T Balabonski, S Chakraborty, R Morisset, F Zappa Nardelli Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015	116	2015
Relaxed-memory concurrency and verified compilation J Ŝevčik, V Vafeiadis, F Zappa Nardelli, S Jagannathan, P Sewell POPL 2011, 43-54, 2011	112	2011
The power of parameterization in coinductive proof CK Hur, G Neis, D Dreyer, V Vafeiadis POPL 2013, 2012	104	2012
Proving that non-blocking algorithms don't block A Gotsman, B Cook, M Parkinson, V Vafeiadis POPL 2009, 16-28, 2009	104	2009
Modular safety checking for fine-grained concurrency C Calcagno, M Parkinson, V Vafeiadis SAS 2007, 233-248, 2007	104	2007
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	101	2014
Shape-value abstraction for verifying linearizability V Vafeiadis VMCAI 2009, 335-348, 2009	101	2009
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	99	2018
Taming release-acquire consistency O Lahav, N Giannarakis, V Vafeiadis ACM SIGPLAN Notices 51 (1), 649-662, 2016	93	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors