Viktor Vafeiadis

Registered user since Tue 12 Aug 2014

Name: Viktor Vafeiadis

Bio: 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.

Country: Greece

Affiliation: MPI-SWS, Germany

Personal website: http://www.mpi-sws.org/~viktor/

Research interests: Concurrency, Verification

Contributions

CoqPL 2020Committee Member in Program Committee within the CoqPL-track
SPLASH 2019Committee 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 OOPSLA-track
Author of Weak Persistency Semantics from the Ground Up within the OOPSLA-track
VMCAI 2019Author of On the Semantics of Snapshot Isolation within the VMCAI 2019-track
PPoPP 2019PC Member in Program Committee
PLDI 2019Author of Model Checking for Weakly Consistent Libraries within the PLDI Research Papers-track
POPL 2019Author 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
PLMW 2018Committee Member in Organizers within the PLMW-track
SPLASH 2018Author of Persistence Semantics for Weak Memory within the OOPSLA-track
CPP 2018Committee Member in Program Committee within the CPP 2018-track
POPL 2018Committee Member in Program Committee within the Research Papers-track
Author of Effective Stateless Model Checking for C/C++ Concurrency within the Artifact Evaluation-track
Author of Effective Stateless Model Checking for C/C++ Concurrency within the Research Papers-track
CPP 2017Co-chair in Program Committee within the CPP-track
POPL 2017Author of A Promising Semantics for Relaxed-Memory Concurrency within the POPL-track
ERC member in External Review Committee within the POPL-track
PLDI 2017Author of Repairing Sequential Consistency in C/C++11 within the PLDI Research Papers-track
ECOOP 2017Author of Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris within the ECOOP Research Papers-track
Author of Promising Compilation to ARMv8 POP within the ECOOP Research Papers-track
VMCAIAuthor of A program logic for C11 memory fences within the VMCAI-track
POPL 2016Author of Taming Release-Acquire Consistency within the Research Papers-track
Author of Lightweight Verification of Separate Compilation within the Research Papers-track
PLDI 2015Author of A Formal C Memory Model Supporting Integer-Pointer Casts within the Research Papers-track
Author of Verifying Read-Copy-Update in a Logic for Weak Memory within the Research Papers-track
ECOOP 2015Author of Asynchronous Liquid Separation Types within the Research Track-track
SPLASH 2014Author of GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation within the OOPSLA-track
Presenter of GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation within the OOPSLA Artifacts-track
SPLASH 2013Author of Relaxed Separation Logic: A Program Logic for C11 Concurrency within the OOPSLA-track