Шамиль Курмангалеев, ведущий научный сотрудник отдела компиляторных технологий ИСП РАН.
Защитил кандидатскую диссертацию посвященную проблемам оптимизации, переносимость и запутывания программ на языках C/C++. Возглавляет группу, проводящую исследования в области статического и динамического анализа программ, руководит разработкой программного комплекса Crusher. Его исследовательские интересы включают технологии компиляторов, различные приложения статического и динамического анализа и методы их сочетания. Руководит аспирантами, курсовыми и дипломными работами.
При разработке программного обеспечения разработчики допускают ошибки. Чем крупнее разрабатываемый продукт, тем больше вероятность наличия в нём ошибки. В настоящее время размер исходных текстов программ достигает миллионов строк кода. Та́кие объёмы кода не представляется возможным проверить экспертным методом, особенно учитывая постоянное его изменение в процессе разработки. В связи с этим для уменьшения количества ошибок в разрабатываемом программном обеспечении применяют инструменты, основанные на технологиях статического и динамического анализа. Обе эти технологии имеют ряд недостатков, которые можно устранить за счет их объединения в единое средство анализа. В докладе будет представлена реализация данной идеи на примере интеграции инструмента динамического анализа Crusher с инструментами статического анализа.
Анна Новомлинская, исполнительный директор консорциума OS DAY, an@ispras.ru
Адрес: Москва, ул. Губкина, д. 8, этаж 9, конференц-зал.
Уважаемые коллеги! Для прохода в здание МИАН РАН просим принести документ, удостоверяющий личность.