Viktor Vafeiadis

Cited by

	All	Since 2016
Citations	4531	2807
h-index	39	31
i10-index	64	58

620

310

155

465

200620072008200920102011201220132014201520162017201820192020202122 43 54 105 161 180 197 202 317 382 356 539 497 612 446 351

Public access

View all

21 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
Francesco Zappa NardelliFacebookVerified email at fb.com
Matthew J. ParkinsonMicrosoft ResearchVerified email at microsoft.com
Azalea RaadImperial College LondonVerified email at imperial.ac.uk
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Soham Sundar ChakrabortyMax Planck Institute for Software SystemsVerified email at mpi-sws.org
Anton PodkopaevJetBrains Research, HSE UniversityVerified email at jetbrains.com
Jeehoon KangAssistant Professor of KAIST School of ComputingVerified email at kaist.ac.kr
Michalis KokologiannakisMax Planck Institute for Software Systems (MPI-SWS)Verified email at mpi-sws.org
Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
Marc ShapiroSorbonne-Université—LIP6 & InriaVerified email at acm.org
Mike DoddsGalois Inc.Verified email at galois.com
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
Suresh JagannathanProfessor of Computer Science, Purdue UniversityVerified email at cs.purdue.edu
Neelakantan R. KrishnaswamiUniversity of CambridgeVerified email at cl.cam.ac.uk
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Aaron TuronMPI-SWSVerified email at mpi-sws.org

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	377	2007
Concurrent abstract predicates T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis European Conference on Object-Oriented Programming, 504-528, 2010	276	2010
Modular fine-grained concurrency verification V Vafeiadis University of Cambridge, Computer Laboratory, 2008	232	2008
Deny-guarantee reasoning M Dodds, X Feng, M Parkinson, V Vafeiadis ESOP 2009, 363-377, 2009	146	2009
Automatically proving linearizability V Vafeiadis CAV 2010, 450-464, 2010	141	2010
Relaxed separation logic: A program logic for C11 concurrency V Vafeiadis, C Narayan OOPSLA 2013 48 (10), 867-884, 2013	136	2013
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	130	2017
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	129	2013
Proving correctness of highly-concurrent linearisable objects V Vafeiadis, M Herlihy, T Hoare, M Shapiro PPoPP 2006, 129-136, 2006	127	2006
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	124	2017
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	124	2014
Relaxed-memory concurrency and verified compilation J Ŝevčik, V Vafeiadis, F Zappa Nardelli, S Jagannathan, P Sewell POPL 2011, 43-54, 2011	105	2011
Proving that non-blocking algorithms don't block A Gotsman, B Cook, M Parkinson, V Vafeiadis POPL 2009, 16-28, 2009	104	2009
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	100	2015
The power of parameterization in coinductive proof CK Hur, G Neis, D Dreyer, V Vafeiadis POPL 2013, 2012	100	2012
Modular safety checking for fine-grained concurrency C Calcagno, M Parkinson, V Vafeiadis SAS 2007, 233-248, 2007	99	2007
Shape-value abstraction for verifying linearizability V Vafeiadis VMCAI 2009, 335-348, 2009	97	2009
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	92	2014
Acute: high-level programming language design for distributed computation P Sewell, JJ Leifer, K Wansbrough, F Zappa Nardelli, M Allen-Williams, ... ICFP 2005, 15-26, 2005	85*	2005
Pilsner: A Compositionally Verified Compiler for a Higher-Order Imperative Language G Neis, CK Hur, D Dreyer, JO Kaiser, C McLaughlin, V Vafeiadis	84	2015

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