Viktor Vafeiadis

Registered user since Tue 12 Aug 2014

Name:Viktor Vafeiadis

Viktor Vafeiadis is a tenured researcher at the Max Planck Institute for Software Systems (MPI-SWS), working on the semantics and verification of concurrent programs, persistent programs, and compilers. 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 been awarded the ACM SIGPLAN doctoral dissertation award (2008), an ERC Consolidator Grant (2020), and distinguished paper awards at ASPLOS, ECOOP, OOPSLA, and PLDI.

Research interests:Concurrency, verification, weak memory consistency, weak persistency


POPL 2022 Extending Intel-x86 Consistency and Persistency: Formalising the Semantics of Intel-x86 Memory Types and Non-temporal Stores
Truly Stateless, Optimal Dynamic Partial Order Reduction
Show activities from other conferences

POPL 2022-profile
View general profile