Registered user since Tue 12 Aug 2014
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.
|ECOOP 2017|| Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris|
Promising Compilation to ARMv8 POP
|PLDI 2017||Repairing Sequential Consistency in C/C++11|
|Show activities from other conferences|
View general profile