Видео доклада "О чём я говорю, когда говорю о тестировании корректности работы компилятора"
В докладе рассказал про различные аспекты проблемы тестирования корректности компилятора, в том числе то, как генерировать случайные программы, какие тестовые оракулы использовать для определения того, правильно ли ведет себя компилятор, как эффективно выполнять тесты компилятора и эффективных методах тестированиях компиляторов на основе нашего опыта тестирования LuaJIT.
Материалы: cлайды, видеозапись.
Тезисы доклада на сайте конференции.