Viktor Vafeiadis

5.0k total citations
84 papers, 1.6k citations indexed

About

Viktor Vafeiadis is a scholar working on Hardware and Architecture, Artificial Intelligence and Computer Networks and Communications. According to data from OpenAlex, Viktor Vafeiadis has authored 84 papers receiving a total of 1.6k indexed citations (citations by other indexed papers that have themselves been cited), including 55 papers in Hardware and Architecture, 54 papers in Artificial Intelligence and 53 papers in Computer Networks and Communications. Recurrent topics in Viktor Vafeiadis's work include Parallel Computing and Optimization Techniques (52 papers), Distributed systems and fault tolerance (50 papers) and Logic, programming, and type systems (35 papers). Viktor Vafeiadis is often cited by papers focused on Parallel Computing and Optimization Techniques (52 papers), Distributed systems and fault tolerance (50 papers) and Logic, programming, and type systems (35 papers). Viktor Vafeiadis collaborates with scholars based in Germany, United Kingdom and United States. Viktor Vafeiadis's co-authors include Derek Dreyer, Ori Lahav, Chung-Kil Hur, Azalea Raad, Jeehoon Kang, Michalis Kokologiannakis, Francesco Zappa Nardelli, Peter Sewell, Georg Neis and Matthew Parkinson and has published in prestigious journals such as SHILAP Revista de lepidopterología, Journal of the ACM and ACM SIGPLAN Notices.

In The Last Decade

Viktor Vafeiadis

80 papers receiving 1.6k citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Viktor Vafeiadis Germany	26	1.1k	1.0k	904	485	141	84	1.6k
Susmit Sarkar United Kingdom	17	614 0.6×	844 0.8×	923 1.0×	190 0.4×	110 0.8×	37	1.2k
David Detlefs United States	18	732 0.7×	791 0.8×	763 0.8×	363 0.7×	255 1.8×	34	1.4k
Chung-Kil Hur South Korea	21	860 0.8×	338 0.3×	391 0.4×	400 0.8×	111 0.8×	53	1.1k
David Tarditi United States	18	749 0.7×	785 0.8×	855 0.9×	219 0.5×	234 1.7×	31	1.4k
Francesco Zappa Nardelli France	14	582 0.5×	472 0.5×	505 0.6×	216 0.4×	142 1.0×	29	912
Magnus O. Myreen United Kingdom	16	680 0.6×	438 0.4×	509 0.6×	343 0.7×	64 0.5×	45	992
Chris Hawblitzel United States	18	986 0.9×	779 0.8×	483 0.5×	255 0.5×	374 2.7×	53	1.4k
Bjarne Steensgaard United States	14	794 0.7×	548 0.5×	735 0.8×	228 0.5×	351 2.5×	20	1.4k
Matthew Parkinson United Kingdom	17	1000 0.9×	610 0.6×	398 0.4×	492 1.0×	134 1.0×	50	1.2k
Vugranam C. Sreedhar United States	13	577 0.5×	512 0.5×	652 0.7×	160 0.3×	235 1.7×	39	1.0k

Countries citing papers authored by Viktor Vafeiadis

Since Specialization

Citations

This map shows the geographic impact of Viktor Vafeiadis's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Viktor Vafeiadis with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Viktor Vafeiadis more than expected).

Fields of papers citing papers by Viktor Vafeiadis

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Viktor Vafeiadis. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Viktor Vafeiadis. The network helps show where Viktor Vafeiadis may publish in the future.

Co-authorship network of co-authors of Viktor Vafeiadis

This figure shows the co-authorship network connecting the top 25 collaborators of Viktor Vafeiadis. A scholar is included among the top collaborators of Viktor Vafeiadis based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Viktor Vafeiadis. Viktor Vafeiadis is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Kokologiannakis, Michalis, et al.. (2025). RELINCHE: Automatically Checking Linearizability under Relaxed Memory Consistency. Proceedings of the ACM on Programming Languages. 9(POPL). 2090–2117. 1 indexed citations

Kokologiannakis, Michalis, et al.. (2025). Model Checking C/C++ with Mixed-Size Accesses. Proceedings of the ACM on Programming Languages. 9(POPL). 2232–2252.

Kokologiannakis, Michalis, et al.. (2024). SPORE: Combining Symmetry and Partial Order Reduction. Proceedings of the ACM on Programming Languages. 8(PLDI). 1781–1803. 3 indexed citations

Raad, Azalea, et al.. (2023). The Path to Durable Linearizability. Proceedings of the ACM on Programming Languages. 7(POPL). 748–774. 2 indexed citations

Kokologiannakis, Michalis, Ori Lahav, & Viktor Vafeiadis. (2023). Kater: Automating Weak Memory Model Metatheory and Consistency Checking. Proceedings of the ACM on Programming Languages. 7(POPL). 544–572. 3 indexed citations

Lahav, Ori, et al.. (2020). Reconciling Event Structures with Modern Multiprocessors. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 5 indexed citations

Raad, Azalea, John Wickerson, & Viktor Vafeiadis. (2019). Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models. Proceedings of the ACM on Programming Languages. 3(OOPSLA). 1–27. 23 indexed citations

Kokologiannakis, Michalis, Ori Lahav, Konstantinos Sagonas, & Viktor Vafeiadis. (2018). Effective Stateless Model Checking for C/C++ Concurrency. 9 indexed citations

Lahav, Ori, et al.. (2017). Promising Compilation to ARMv8 POP. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 8 indexed citations

10.

Chakraborty, Soham & Viktor Vafeiadis. (2017). Formalizing the concurrency semantics of an LLVM fragment. 100–110. 9 indexed citations

11.

Lahav, Ori, et al.. (2017). Promising Compilation to ARMv8.3. SHILAP Revista de lepidopterología. 29(5). 149–164. 2 indexed citations

12.

Vafeiadis, Viktor, et al.. (2017). GPS$$+$$+: Reasoning About Fences and Relaxed Atomics. International Journal of Parallel Programming. 46(6). 1157–1183. 5 indexed citations

13.

Dreyer, Derek, et al.. (2015). Mtac: A monad for typed tactic programming in Coq. Journal of Functional Programming. 25. 8 indexed citations

14.

Majumdar, Rupak, et al.. (2015). Asynchronous Liquid Separation Types. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 5 indexed citations

15.

Chakraborty, Soham, Thomas A. Henzinger, Ali Sezgin, & Viktor Vafeiadis. (2015). Aspect-oriented linearizability proofs. Logical Methods in Computer Science. Volume 11, Issue 1. 9 indexed citations

16.

Kang, Jeehoon, et al.. (2015). A formal C memory model supporting integer-pointer casts. 326–335. 28 indexed citations

17.

Turon, Aaron, Viktor Vafeiadis, & Derek Dreyer. (2014). GPS. 691–707. 67 indexed citations

18.

Dinsdale-Young, Thomas, Mike Dodds, Philippa Gardner, Matthew Parkinson, & Viktor Vafeiadis. (2010). Concurrent abstract predicates. 504–528. 109 indexed citations

19.

Gotsman, Alexey, Byron Cook, Matthew Parkinson, & Viktor Vafeiadis. (2009). Proving that non-blocking algorithms don't block. 16–28. 37 indexed citations

20.

Sewell, Peter, et al.. (2005). Acute. ACM SIGPLAN Notices. 40(9). 15–26. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact