Viktor Vafeiadis
发表
Maurice Herlihy,
C. A. R. Hoare,
Viktor Vafeiadis,
2006,
PPoPP '06.
Viktor Vafeiadis,
Azalea Raad,
AZALEA RAAD,
2019
.
Viktor Vafeiadis,
2007
.
Viktor Vafeiadis,
Chris Unsworth,
2005
.
Viktor Vafeiadis,
Michalis Kokologiannakis,
2020,
Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems.
Viktor Vafeiadis,
Marko Doko,
2015
.
Viktor Vafeiadis,
Azalea Raad,
Luc Maranget,
2022,
Proc. ACM Program. Lang..
Suresh Jagannathan,
Viktor Vafeiadis,
Francesco Zappa Nardelli,
2013,
JACM.
Ori Lahav,
Viktor Vafeiadis,
Viktor Vafeiadis,
2015,
ICALP.
João Leitão,
Cheng Li,
Viktor Vafeiadis,
2014,
USENIX Annual Technical Conference.
Viktor Vafeiadis,
Ming Fu,
Koustubha Bhat,
2021,
ASPLOS.
Viktor Vafeiadis,
Matthew J. Parkinson,
Cristiano Calcagno,
2007,
SAS.
Viktor Vafeiadis,
Viktor Vafeiadis,
2008
.
Viktor Vafeiadis,
Azalea Raad,
Ori Lahav,
2020,
Proc. ACM Program. Lang..
Ori Lahav,
Viktor Vafeiadis,
Kasper Svendsen,
2018,
ESOP.
Jeehoon Kang,
Chung-Kil Hur,
Ori Lahav,
2017,
POPL.
Ori Lahav,
Viktor Vafeiadis,
Nick Giannarakis,
2016,
POPL.
Viktor Vafeiadis,
Chinmay Narayan,
Viktor Vafeiadis,
2013,
OOPSLA.
Viktor Vafeiadis,
Matthew J. Parkinson,
Viktor Vafeiadis,
2007,
CONCUR.
Ori Lahav,
Viktor Vafeiadis,
Derek Dreyer,
2017,
ECOOP.
Viktor Vafeiadis,
Matthew J. Parkinson,
Philippa Gardner,
2010,
ECOOP.
Viktor Vafeiadis,
Alexey Gotsman,
Matthew J. Parkinson,
2009,
POPL '09.
Viktor Vafeiadis,
Noam Rinetzky,
Nir Hemed,
2015,
DISC.
Thomas A. Henzinger,
Viktor Vafeiadis,
Ali Sezgin,
2013,
CONCUR.
Chung-Kil Hur,
Viktor Vafeiadis,
Georg Neis,
2013,
POPL.
Viktor Vafeiadis,
Viktor Vafeiadis,
2010,
VMCAI.
Viktor Vafeiadis,
Viktor Vafeiadis,
2008,
VMCAI.
Rupak Majumdar,
Viktor Vafeiadis,
Johannes Kloos,
2015,
ECOOP.
Viktor Vafeiadis,
Michalis Kokologiannakis,
Azalea Raad,
2019,
PLDI.
Ori Lahav,
Viktor Vafeiadis,
Konstantinos Sagonas,
2017,
Proc. ACM Program. Lang..
Viktor Vafeiadis,
Derek Dreyer,
Aaron Turon,
2014,
OOPSLA.
Viktor Vafeiadis,
Gil Neiger,
John Wickerson,
2019,
Proc. ACM Program. Lang..
João Leitão,
Cheng Li,
Johannes Gehrke,
2016,
IEEE Data Eng. Bull..
Viktor Vafeiadis,
Francesco Zappa Nardelli,
Viktor Vafeiadis,
2011,
SAS.
Suresh Jagannathan,
Viktor Vafeiadis,
Francesco Zappa Nardelli,
2011,
POPL '11.
Viktor Vafeiadis,
Michalis Kokologiannakis,
Viktor Vafeiadis,
2020,
ASPLOS.
Viktor Vafeiadis,
Michalis Kokologiannakis,
Viktor Vafeiadis,
2021,
CAV.
Viktor Vafeiadis,
Michalis Kokologiannakis,
Iason Marmanis,
2022,
Proc. ACM Program. Lang..
Viktor Vafeiadis,
Aleksandar Nanevski,
Josh Berdine,
2010,
POPL '10.
Viktor Vafeiadis,
Cristiano Calcagno,
Dino Distefano,
2009,
APLAS.
Viktor Vafeiadis,
Cristiano Calcagno,
Dino Distefano,
2009
.
Hermann Härtig,
Bohdan Trach,
Haibo Chen,
2023,
OSDI.
S. Krishna,
P. Abdulla,
Viktor Vafeiadis,
2020,
ArXiv.
Xinyu Feng,
Viktor Vafeiadis,
Matthew J. Parkinson,
2009,
ESOP.
Anton Podkopaev,
Ori Lahav,
Viktor Vafeiadis,
2017
.
Anton Podkopaev,
Ori Lahav,
Viktor Vafeiadis,
2020,
Proc. ACM Program. Lang..
Derek Dreyer,
Aleksandar Nanevski,
Viktor Vafeiadis,
2013,
Journal of Functional Programming.
Rafael Lourenco de Lima Chehab,
Haibo Chen,
Viktor Vafeiadis,
2021,
ASPLOS.
Francesco Zappa Nardelli,
Peter Sewell,
Viktor Vafeiadis,
2005,
ICFP '05.
Viktor Vafeiadis,
O. Lahav,
Michalis Kokologiannakis,
2023,
Proc. ACM Program. Lang..
Soham Chakraborty,
Minki Cho,
Chung-Kil Hur,
2020,
PLDI.
Viktor Vafeiadis,
Soham Sundar Chakraborty,
Viktor Vafeiadis,
2019,
Proc. ACM Program. Lang..
Derek Dreyer,
Viktor Vafeiadis,
O. Lahav,
2017,
PLDI.
Viktor Vafeiadis,
Francesco Zappa Nardelli,
Soham Sundar Chakraborty,
2015,
POPL.
Jeehoon Kang,
Chung-Kil Hur,
Viktor Vafeiadis,
2016,
POPL.