Что нужно знать про formal verification methods, и какие актуальные сегодня проблемы они решают

QA и наука

Доклад отозван

Тезисы

Доклад в двух частях: первая про проблемы текущих процессорных архитектур и как это влияет на жизнь простых разработчиков, вторая — про возможные способы их решений и их применение в повседневной жизни.

Писал код, обрабатывающий 700 Гб/с трафика одной огромной компании, до этого немного разрабатывал БД. По ночам пишет что-то ✨неведомое✨ на Rust'е.
Пишет firmware для серверов.

Видео

Другие доклады секции

QA и наука