conf.researchr.org / Viktor Vafeiadis
Registered user since Tue 12 Aug 2014
Name:Viktor Vafeiadis
Bio:
Viktor Vafeiadis is a tenured researcher at the Max Planck Institute for Software Systems (MPI-SWS), working on the semantics and verification of concurrent and persistent programs. Prior to joining MPI-SWS in 2010, Viktor got his PhD from the University of Cambridge (2008), and held postdoc positions at Microsoft Research and at the University of Cambridge. He has received the ACM SIGPLAN John C. Reynolds doctoral dissertation award (2008), an ERC Consolidator Grant (2020), the ACM SIGPLAN Robin Milner young researcher award (2022), and various distinguished paper awards.
Country:Germany
Affiliation:MPI-SWS
Personal website: http://www.mpi-sws.org/~viktor/
Research interests:Concurrency, verification, weak memory consistency, weak persistency
Contributions
2025
POPL
- Author of RELINCHE: Automatically Checking Linearizability under Relaxed Memory Consistency within the POPL-track
- Author of Model Checking C/C++ with Mixed-Size Accesses within the POPL-track
- Committee Member in Program Committee within the POPL-track
- Presenter of Stateless Model Checking Concurrent and Distributed Programs within the Tutorials-track
- Session Chair of Speculative Execution (part of POPL)
2024
2023
POPL
2022
2021
SPLASH
PLDI
Principles and Practice of Parallel Programming
2020
ECOOP
2019
SPLASH
- Committee Member in External Review Committee within the OOPSLA-track
- Author of Effective Lock Handling In Stateless Model Checking within the OOPSLA Artifacts-track
- Author of Effective Lock Handling in Stateless Model Checking within the Posters-track
- Author of Effective Lock Handling in Stateless Model Checking within the OOPSLA-track
- Author of Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models within the OOPSLA-track
Principles and Practice of Parallel Programming
POPL
- Author of Bridging the Gap Between Programming Languages and Hardware Weak Memory Models within the Research Papers-track
- Author of On Library Correctness under Weak Memory Consistency within the Research Papers-track
- Author of Grounding Thin-Air Reads with Event Structures within the Research Papers-track