27.09.2018: В Москве прошел семинар CPA&LDV Workshop
Опубликовано Vadim Mutilin в СР, 26/09/2018 - 21:00
25-26 сентября 2018 года в Москве прошел седьмой международный семинар CPA&LDV Workshop.
Презентации на семинаре были посвящены различным аспектам статической верификации, включая взаимодействие различных видов анализа, тестирование, упрощение программ, модульных анализ многопоточных программ и масштабирование анализа на многопроцессорные машины. В рамках семинара обсуждались текущие важные вопросы, а также были выявлены направления дальнейшего развития.
Доклады были представлены командами Центра верификации ОС Linux, ИСП РАН (Россия), Мюнхенским университетом Людвига-Максимилиана (LMU Munich), Университетом Дармштадт (TU Darmstadt), Университетом Падерборна. Программу семинара, описания докладов и презетации можно найти по ссылке.