Семинар "Быстрый динамический анализ программ на примере поиска гонок (data races)", Константин Серебряный (Google Russia)

11 мая 2011, 12:39

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

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

О чем: Доклад посвящен динамическому анализу программ и, в частности, поиску гонок (data races). В рамках семинара будут рассмотрены следующие темы:
•    Динамический анализ программ. Введение в теорию поиска гонок. Анализ потока событий программы. Требования по производительности.
•    Базовый алгоритм инструмента ThreadSanitizer. Анализ производительности или почему алгоритм медленный?
•    Ускорение и параллелизация базового алгоритма ThreadSanitizer.
•    War stories: опыт внедрения регулярного тестирования для поиска гонок в Google Russia.

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

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

Регистрация 


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

2 комментария
Верхотуров Дмитрий
11 мая 2011, 16:17

Звучит интересно, обязательно пойду. Первый научный семинар на русском, на котором я буду.

Предыдущий, кстати, оказался чертовски интересным, буду ждать, когда p2p search дадут пощупать. Пока у автора в голове каша:)

О да, наслышан об истории, когда не менее 4 человек погибли из-за эффекта гонок (data races) в П/О канадского мед-оборудования... http://ru.wikipedia.org/wiki/Therac-25