Смотреть запись
Тип доклада: Доклад
Анализ кода с нулевым числом ложных срабатываний в Java с помощью динамического символьного исполнения
Дмитрий Иванов
Компания: Huawei
Дмитрий возглавляет исследовательскую группу символьного исполнения в Huawei, а также читает лекции в Санкт-Петербургском Государственном Университете. Ранее он возглавлял группу формальных методов в JetBrains Research, а также работал в нескольких стартапах.
Тип доклада: Доклад
Компания: Huawei