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

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

egg: Fast and Extensible Equality Saturation

January 25

Проект egg (https://egraphs-good.github.io/) использует e-graphs для демонстрации нового подхода для оптимизации программ. Данная структура данных не является новой, но как подмечают авторы, она еще не используется активно в выше упомянутой области. Предлагается обсудить предложенные в работе методы, а также их возможные области применимости.

Дата и время: 25-е января, 18:00.

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

Meeting ID: 509 624 984

Passcode: 016883