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

SPLASH 2023	PC Member in OOPSLA Review Committee within the OOPSLA-track
POPL 2023	Author of The Path to Durable Linearizability within the POPL-track Author of Principles of Persistent Programming within the POPL-track Author of Kater: Automating Weak Memory Model Metatheory and Consistency Checking within the POPL-track
CPP 2023	Committee Member in Program Committee within the CPP 2023-track Session Chair of Formalized Mathematics II (part of CPP 2023)
SPLASH 2022	Author of Model Checking for a Multi-Execution Memory Model within the V-OOPSLA-track
POPL 2022	Author of Extending Intel-x86 Consistency and Persistency: Formalising the Semantics of Intel-x86 Memory Types and Non-temporal Stores within the POPL-track Author of Truly Stateless, Optimal Dynamic Partial Order Reduction within the POPL-track
SPLASH 2021	Author of Making Weak Memory Models Fair within the OOPSLA-track Committee Member in Review Committee within the OOPSLA-track
PLDI 2021	Committee Member in Program Committee within the PLDI-track Author of Beyond Weak Memory Consistency: The Challenges of Memory Persistency within the Tutorials-track
PPoPP 2021	Committee Member in External Review Committee
POPL 2021	Author of PerSeVerE: Persistency Semantics for Verification under Ext4 within the POPL-track Committee Member in Program Committee within the POPL-track
SPLASH 2020	Author of Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86 within the OOPSLA-track
ECOOP 2020	Author of Reconciling Event Structures with Modern Multiprocessors within the Research Papers-track Author of Reconciling Event Structures with Modern Multiprocessors within the Artifacts-track
PLDI 2020	Author of Promising 2.0: Global Optimizations in Relaxed Memory Concurrency within the PLDI Research Papers-track
CoqPL 2020	Committee Member in Program Committee within the CoqPL-track
POPL 2020	Author of Persistency Semantics of the Intel-x86 Architecture within the Research Papers-track
SPLASH 2019	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
PLDI 2019	Author of Model Checking for Weakly Consistent Libraries within the PLDI Research Papers-track
PPoPP 2019	PC Member in Program Committee
POPL 2019	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
VMCAI 2019	Author of On the Semantics of Snapshot Isolation within the VMCAI 2019-track
SPLASH 2018	Author of Persistence Semantics for Weak Memory within the OOPSLA-track
CPP 2018	Committee Member in Program Committee within the CPP 2018-track
PLMW 2018	Committee Member in Organizers within the PLMW-track
POPL 2018	Committee 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
ECOOP 2017	Author 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
PLDI 2017	Author of Repairing Sequential Consistency in C/C++11 within the PLDI Research Papers-track
POPL 2017	Author of A Promising Semantics for Relaxed-Memory Concurrency within the POPL-track ERC member in External Review Committee within the POPL-track
CPP 2017	Co-chair in Program Committee within the CPP-track
POPL 2016	Author of Taming Release-Acquire Consistency within the Research Papers-track Author of Lightweight Verification of Separate Compilation within the Research Papers-track
VMCAI	Author of A program logic for C11 memory fences within the VMCAI-track
ECOOP 2015	Author of Asynchronous Liquid Separation Types within the Research Track-track
PLDI 2015	Author 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
SPLASH 2014	Author 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 2013	Author of Relaxed Separation Logic: A Program Logic for C11 Concurrency within the OOPSLA-track