Анализ программ: как понять, что ты хороший программист

День 1 /  / Зал 1  /  RU / Хардкор. Сложный низкоуровневый доклад, требующий от слушателя знаний технологии.  /  Algorithms, Tools

Комментарий Программного комитета:

Алексей стабильно занимает топовые места на наших конференциях, мы просто не устояли и пригласили его ещё раз. Формат выступления – огонь!

После шока, вызванного теоремой Райса, мир стремится обрести почву под ногами и отчаянно придумывает способы пролить хоть небольшой свет на то, что происходит внутри программ. Data race detectors, model-checking, другие методы динамического анализа появляются один за другим. В это время статические чекеры, Javac-плагины и другие тулы статического анализа тоже начинают поднимать голову. За горизонтом маячит мираж автоматической верификации. Наш герой пытается сделать поверхностный обзор этих штуковин, старается попробовать их в своей практике и в конце концов приходит к…


Скачать презентацию
Алексей Кудрявцев
Алексей Кудрявцев
JetBrains

Окончил математико-механический факультет СПбГУ. В JetBrains занимается программированием IntelliJ IDEA лет 10.

Наши контакты