Viktor Vafeiadis

Cited by

	All	Since 2016
Citations	4401	2683
h-index	38	30
i10-index	61	55

620

310

155

465

200620072008200920102011201220132014201520162017201820192020202122 43 54 105 162 180 201 198 311 378 357 537 477 616 462 229

Public access

View all

21 articles

1 article

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
Marc ShapiroSorbonne-Université—LIP6 & InriaVerified email at acm.org
Mike DoddsGalois Inc.Verified email at galois.com
Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
Maurice HerlihyProfessor 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
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Aaron TuronMPI-SWSVerified email at mpi-sws.org
Thomas Dinsdale-YoungAarhus UniversityVerified email at d-y.me.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	374	2007
Concurrent abstract predicates T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis European Conference on Object-Oriented Programming, 504-528, 2010	269	2010
Modular fine-grained concurrency verification V Vafeiadis University of Cambridge, Computer Laboratory, 2008	231	2008
Deny-guarantee reasoning M Dodds, X Feng, M Parkinson, V Vafeiadis ESOP 2009, 363-377, 2009	148	2009
Automatically proving linearizability V Vafeiadis CAV 2010, 450-464, 2010	139	2010
Relaxed separation logic: A program logic for C11 concurrency V Vafeiadis, C Narayan OOPSLA 2013 48 (10), 867-884, 2013	132	2013
Proving correctness of highly-concurrent linearisable objects V Vafeiadis, M Herlihy, T Hoare, M Shapiro PPoPP 2006, 129-136, 2006	127	2006
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	126	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	123	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	121	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	121	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
Modular safety checking for fine-grained concurrency C Calcagno, M Parkinson, V Vafeiadis SAS 2007, 233-248, 2007	99	2007
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	97	2015
Shape-value abstraction for verifying linearizability V Vafeiadis VMCAI 2009, 335-348, 2009	96	2009
The power of parameterization in coinductive proof CK Hur, G Neis, D Dreyer, V Vafeiadis POPL 2013, 2012	95	2012
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	87	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	84*	2005
Pilsner: A Compositionally Verified Compiler for a Higher-Order Imperative Language G Neis, CK Hur, D Dreyer, JO Kaiser, C McLaughlin, V Vafeiadis	80	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

Upload PDF

Follow this author

Cited by

Co-authors