Code Generation

Понимает что такое кодогенерация и разницу между native code, bytecode и интерпретацией. Знает базовые концепции register allocation и instruction selection. Умеет читать x86/ARM assembly.

Генерирует простой код из IR с помощью шаблонных эмиттеров. Понимает соответствие AST-узлов конструкциям целевого языка. Пишет базовые тесты для проверки корректности сгенерированного кода.

Читает сгенерированный ассемблерный или машинный код на выходе компиляторных бэкендов. Понимает базовые концепции выбора инструкций и распределения регистров. Отслеживает пути генерации кода для отладки простых проблем.

Реализует кодогенерацию для стекового или register-based bytecode. Использует LLVM или QBE для native кодогенерации. Генерирует оптимизированный код для паттернов вызовов функций.

Реализует генераторы кода для нескольких выходных форматов (исходный код, байткод). Строит peephole-оптимизации и обрабатывает платформо-специфичную эмиссию кода. Пишет property-based тесты для валидации сгенерированного вывода.

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

Проектирует instruction selection и register allocation для нового target. Реализует calling convention для custom ABI. Оптимизирует codegen для специфических CPU архитектур (x86/ARM/RISC-V).

Проектирует пайплайны генерации кода с подключаемыми бэкендами для нескольких целевых платформ. Архитектурирует стратегии JIT-компиляции и инкрементальной генерации кода. Менторит команду по проектированию компиляторных бэкендов и компромиссам оптимизации.

Проектирует бэкенды генерации кода для кастомного оборудования и специализированных ISA. Архитектурирует стратегии автовекторизации и SIMD-эмиссии кода. Менторит инженеров по низкоуровневой оптимизации и совместному проектированию hardware-software.

Архитектурирует backend компилятора и codegen pipeline. Принимает решения об instruction scheduling и peephole optimization. Управляет командой backend инженеров.

Определяет архитектуру компилятора. Формирует стандарты разработки. Координирует compiler team.

Определяет архитектуру компилятора. Формирует стандарты разработки. Координирует compiler team.

Определяет стратегию кодогенерации для новых ISA (RISC-V, WebAssembly). Исследует superoptimization и stochastic codegen техники. Участвует в стандартизации ABI для платформы.

Определяет стратегию развития компилятора/языка. Проектирует core language features. Формирует technology vision.

Определяет стратегию развития компилятора/языка. Проектирует core language features. Формирует technology vision.