05.03.2017: 3-4 марта состоялась конференция "Инструменты и методы анализа программ 2017" (TMPA-2017)

Опубликовано Vadim Mutilin в СБ, 04/03/2017 - 21:00

В Москве 3-4 марта прошла 4-я международная конференция “Методы и инструменты анализа программ” (TMPA-2017), организованная совместно с ACM Sigsoft. В рамках данной конференции представили доклады Павел Андрианов и Илья Захаров, являющиеся участниками проекта Linux Driver Verification.

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

Илья Захаров представил доклад на тему применения инструментов высокопроизводительных вычислений для статической верификации программ. В докладе были затронуты проблемы и особенности применения кластеров, облачных сервисов, многоядерных вычислительных машин и графических карт для статической верификации программ (Static Verification) и проверки моделей (Model Checking).

Информацию о конференции, а также презентации и видео можно найти на сайте конференции (http://tmpaconf.org/).