Вафеядис Виктор

Публикации в базе данных Math-Net.Ru

1. On compilation correctness for a subset of a promising memory model to the ARMv8.3 memory model
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 10:4 (2017),  51–69
2. Обещающая компиляция в ARMv8.3
   
   Труды ИСП РАН, 29:5 (2017),  149–164