← Back to directory
Viktor Vafeiadis
Researcher Next ID · RN-000965
Professor · Computer Science
Max Planck Institute for Software Systems
Saarbrücken, Germany
Not currently recruitingFunding unknown
- Works count
- 153
- Citation count
- 5,118
- H-index
- 41
- i10-index
- 85
About
153 publications and 5,118 citations recorded on OpenAlex.
Research interests
Computer Science
Distributed systems and fault tolerance
Parallel Computing and Optimization Techniques
Logic, programming, and type systems
Formal Methods in Verification
Security and Verification in Computing
Publications
Modular fine-grained concurrency verification
Journal · 2021 · 10.48456/tr-726
Repairing sequential consistency in C/C++11
Journal · 2017 · 10.1145/3062341.3062352
CompCertTSO
Journal of the ACM · 2013 · 10.1145/2487241.2487248
Concurrent abstract predicates
Journal · 2010 · 10.5555/1883978.1884012
A Marriage of Rely/Guarantee and Separation Logic
Lecture notes in computer science · 2007 · 10.1007/978-3-540-74407-8_18
Current projects
No projects listed.