Крупнейшая профессиональная конференция для разработчиков высоконагруженных систем

Григорий Бутейко

VK, ВКонтакте

Работает над инфраструктурой ВКонтакте. Программирует специализированные базы данных, сетевые протоколы и консенсусы. Исследует способы на практике обеспечивать их корректность с помощью моделирования, фаззинга, различных видов тестирования, в том числе с использованием формальных методов.

Доклады

BARSiC — асинхронная репликация и консенсус для 70 баз данных
Базы данных и системы хранения