Viktor Vafeiadis

Viktor Vafeiadis

Max Planck Institut für Software Systeme - Kaiserslautern / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 4432170
Max Planck Institute for Software Systems
person_outline Viktor Vafeiadis's MOST POPULAR ARTICLES
1-) Concurrent abstract predicates ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010
2-) Modular fine-grained concurrency verification University of Cambridge, Computer Laboratory, 2008
3-) Repairing sequential consistency in C/C++ 11 ACM SIGPLAN Notices 52 (6), 618-632, 2017
4-) A promising semantics for relaxed-memory concurrency ACM SIGPLAN Notices 52 (1), 175-189, 2017
5-) A promising semantics for relaxed-memory concurrencyJ Kang, CK Hur, O Lahav, V Vafeiadis, D DreyerACM SIGPLAN Notices 52 (1), 175-189, 20172422017