Быстрый динамический анализ программ на примере поиска гонок (data races)

20 мая в московском офисе Яндекса в рамках Цикла научных семинаров выступит Константин Серебряный, кандидат технических наук, ведущий инженер ПО Google Russia.

Тема доклада: Быстрый динамический анализ программ на примере поиска гонок (data races).

Основные темы семинара:

• Динамический анализ программ. Введение в теорию поиска гонок. Анализ потока событий программы. Требования по производительности.

• Базовый алгоритм инструмента ThreadSanitizer. Анализ производительности или почему алгоритм медленный?

• Ускорение и параллелизация базового алгоритма ThreadSanitizer.

• War stories: опыт внедрения регулярного тестирования для поиска гонок в Google Russia.

О докладчике: Константин Серебряный закончил механико-математический факультет Московского государственного университета в 2000 году. Семь лет работал над оптимизирующими компиляторами (4 года в SUN и 3 года в Intel). В 2004 защитил диссертацию на степень кандидата технических наук по теме «Методы высокоуровневой оптимизации циклов».

С 2007 года Константин работает в московском отделении Google и занимается динамическим анализом программ, в том числе поиском ошибок многопоточного кода.

Во время семинара будет доступна онлайн-трансляция, которую можно будет посмотреть тут. Свои вопросы можно задать уже сегодня.

Регистрация

Начало мероприятия в 18:00, а подтвердить регистрацию можно с 17.30 (лучше подойти к этому времени, чтобы успеть к началу мероприятия).

Журналист, новостной редактор, работает на сайте с 2009 года. Специализация: интернет-маркетинг, SEO, поисковые системы, обзоры профильных мероприятий, отраслевые новости рунета. Языки: румынский, испанский. Кредо: Арфы нет, возьмите бубен.