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

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

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

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