Семинар «Быстрый динамический анализ программ на примере поиска гонок (data races)», Константин Серебряный
20 May 2011, MoscowRubrics: Seminar | IT Activity URL: http://clubs.ya.ru/nauka/replies.xml?item_no=186Description:Пятница, 20 мая 2011 года, 18:00, Москва, офис Яндекса.
20 мая, 18.00 в московском офисе Яндекса в рамках Цикла научных семинаров выступит Константин Серебряный, кандидат технических наук, ведущий инженер ПО Google Russia..
Тема доклада: Быстрый динамический анализ программ на примере поиска гонок (data races).
Доклад посвящен динамическому анализу программ и, в частности, поиску гонок (data races). В рамках семинара будут рассмотрены следующие темы:
- Динамический анализ программ. Введение в теорию поиска гонок. Анализ потока событий программы. Требования по производительности.
- Базовый алгоритм инструмента ThreadSanitizer. Анализ производительности или почему алгоритм медленный?
- Ускорение и параллелизация базового алгоритма ThreadSanitizer.
- War stories: опыт внедрения регулярного тестирования для поиска гонок в Google Russia.
Константин Серебряный закончил механико-математический факультет Московского государственного университета в 2000 году. Семь лет работал над оптимизирующими компиляторами (4 года в SUN и 3 года в Intel). В 2004 защитил диссертацию на степень кандидата технических наук по теме «Методы высокоуровневой оптимизации циклов». С 2007 года Константин работает в московском отделении Google и занимается динамическим анализом программ, в том числе поиском ошибок многопоточного кода.
Во время семинара будет доступна онлайн-трансляция, которую можно будет посмотреть тут.
Начало мероприятия в 18.00, а подтвердить регистрацию вы можете с 17.30 (лучше подойти к этому времени, чтобы успеть к началу лекции).