Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
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 weak memory consistency and persistency. He has made numerous contributions on the semantics of weak memory consistency as well as on verification of concurrent programs with program logics and/or model checking, having published over 60 articles at top-tier venues. He got his PhD from the University of Cambridge in 2008 on concurrent program logics, for which he received the ACM SIGPLAN distinguished dissertation award. After postdoc positions at Microsoft Research and at the University of Cambridge, he joined the MPI-SWS in 2010 and got tenure in 2016.

Country: Germany

Affiliation: MPI-SWS

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

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

Contributions

POPL 2021 PerSeVerE: Persistency Semantics for Verification under Ext4
Committee Member in Program Committee within the POPL-track
Show activities from other conferences

Using general profile