Исследовательская группа

Методы машинного обучения в области программной инженерии

ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler

May 24

Поиск ошибок — сложная задача сама по себе, но если ошибка закралась в компилятор, то сложность поиска увеличивается кратно. Чтобы сузить область поиска и упростить процесс дебаггинга, примеры кода, на которых воспроизводится ошибка компилятора, стараются минимизировать. Этот подход называется дельта-отладка. Дополнительной сложностью является специфичность применяемых в этой задаче методов для конкретных языков, делающая фактически невозможным полноценное переиспользование готовых решений.

На семинаре будет рассмотрена статья "ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler", посвящённая решению задачи дельта-отладки для языка Kotlin. Авторы объединили несколько передовых подходов из этой области и дополнили их собственными, специфичными для языка Kotlin идеями. Был реализован прототип решения, названный ReduKtor, и проведено обширное исследование его эффективности на реальных и синтетических данных.

Докладчик: Даниил Степанов.

Дата и время: 24 мая, 18:00.

https://us02web.zoom.us/j/509624984?pwd=dFhRUlowSWprSVAva0JFQ2NUVzZTdz09

Meeting ID: 509 624 984

Passcode: 016883