Viktor Vafeiadis

Cited by

	All	Since 2016
Citations	4198	2484
h-index	38	30
i10-index	61	55

640

320

160

480

200620072008200920102011201220132014201520162017201820192020202122 43 54 104 162 180 201 203 311 373 357 532 478 632 415 65

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
Jeehoon KangAssistant Professor of KAIST School of ComputingVerified email at kaist.ac.kr
Anton PodkopaevMPI-SWS, JetBrains Research, HSEVerified email at jetbrains.com
Marc ShapiroSorbonne-Université—LIP6 & InriaVerified email at acm.org
Mike DoddsGalois Inc.Verified email at galois.com
Michalis KokologiannakisPhD student, Max Planck Institute for Software Systems (MPI-SWS)Verified email at mpi-sws.org
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	367	2007
Concurrent abstract predicates T Dinsdale-Young, M Dodds, P Gardner, MJ Parkinson, V Vafeiadis European Conference on Object-Oriented Programming, 504-528, 2010	265	2010
Modular fine-grained concurrency verification V Vafeiadis University of Cambridge, Computer Laboratory, 2008	227	2008
Deny-guarantee reasoning M Dodds, X Feng, M Parkinson, V Vafeiadis ESOP 2009, 363-377, 2009	145	2009
Automatically proving linearizability V Vafeiadis CAV 2010, 450-464, 2010	136	2010
Relaxed separation logic: A program logic for C11 concurrency V Vafeiadis, C Narayan OOPSLA 2013 48 (10), 867-884, 2013	128	2013
Proving correctness of highly-concurrent linearisable objects V Vafeiadis, M Herlihy, T Hoare, M Shapiro PPoPP 2006, 129-136, 2006	126	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	123	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	119	2014
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	113	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	108	2017
Relaxed-memory concurrency and verified compilation J Ŝevčik, V Vafeiadis, F Zappa Nardelli, S Jagannathan, P Sewell POPL 2011, 43-54, 2011	103	2011
Proving that non-blocking algorithms don't block A Gotsman, B Cook, M Parkinson, V Vafeiadis POPL 2009, 16-28, 2009	103	2009
Modular safety checking for fine-grained concurrency C Calcagno, M Parkinson, V Vafeiadis SAS 2007, 233-248, 2007	98	2007
Shape-value abstraction for verifying linearizability V Vafeiadis VMCAI 2009, 335-348, 2009	94	2009
The power of parameterization in coinductive proof CK Hur, G Neis, D Dreyer, V Vafeiadis POPL 2013, 2012	93	2012
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	92	2015
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	86	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
Structuring the verification of heap-manipulating programs A Nanevski, V Vafeiadis, J Berdine POPL 2010, 261-274, 2010	79	2010

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