Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Viktor Vafeiadis

Registered user since Tue 12 Aug 2014

Name:Viktor Vafeiadis

Viktor Vafeiadis is a tenured faculty at the Max Planck Institute for Software Systems (MPI-SWS) in Germany. He got his BA and PhD from the University of Cambridge, and held post-doctoral researcher positions at the University of Cambridge and at Microsoft Research Cambridge before joining MPI-SWS in October 2010.

Affiliation:MPI-SWS, Germany
Research interests:Concurrency, Verification


VMCAI 2019 On the Semantics of Snapshot Isolation
POPL 2019 Bridging the Gap Between Programming Languages and Hardware Weak Memory Models
On Library Correctness under Weak Memory Consistency
Grounding Thin-Air Reads with Event Structures
Show activities from other conferences

POPL 2019-profile
View general profile