Concepedia

Viktor Vafeiadis

VV

66

Publications

3.4K

Citations

35

H-Index

2005

Active since

Affiliations

Max Planck Institute for Software Systems(Current)

University of Cambridge

Seoul National University

Institut national de recherche en sciences et technologies du numérique

Microsoft Research (United Kingdom)

Viktor Vafeiadis is an author at Max Planck Institute for Software Systems specializing in formal verification, computer science, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisVerificationComputer EngineeringComputer ArchitectureSystem Software

Publications per year

2005–2023

66

Publications

66

Concurrent abstract predicates

Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner et al. · European Conference on Object-Oriented Programming · 2010 · 195 citations

Engineering, Automated Reasoning, Concurrency Theory +6

Jaroslav Ševčík, Viktor Vafeiadis, Francesco Zappa Nardelli et al. · Journal of the ACM · 2013 · 172 citations

Engineering, Compiler Technology, Computer Architecture +18

Repairing sequential consistency in C/C++11

Ori Lahav, Viktor Vafeiadis, Jeehoon Kang et al. · 2017 · 154 citations

Engineering, Verification, Computer Architecture +20

Modular fine-grained concurrency verification

Viktor Vafeiadis · 2021 · 146 citations · Full text

A promising semantics for relaxed-memory concurrency

Jeehoon Kang, Chung-Kil Hur, Ori Lahav et al. · 2016 · 136 citations

Concurrent Programming Languages, Promising Semantics, Engineering +21

Rows per page

1–5 of 66