What a Senior } should know

Expertly applies algorithms and complexity for compiler engineering in designing complex systems. Optimizes existing solutions and prevents architectural mistakes. Conducts code reviews and trains colleagues on best practices.

Expertly applies code quality practices for compiler engineering in designing complex systems. Optimizes existing solutions and prevents architectural mistakes. Conducts code reviews and trains colleagues on best practices.

Expertly applies data structures for compiler engineering in designing complex systems. Optimizes existing solutions and prevents architectural mistakes. Conducts code reviews and trains colleagues on best practices.

Expertly applies code review for compiler engineering in designing complex systems. Optimizes existing solutions and prevents architectural mistakes. Conducts code reviews and trains colleagues on best practices.

Designs AST transformation pipeline for an optimizing compiler. Implements type checking and name resolution at the AST level. Builds Symbol Table with correct scoping.

Designs instruction selection and register allocation for a new target. Implements calling convention for custom ABI. Optimizes codegen for specific CPU architectures (x86/ARM/RISC-V).

Designs complex optimization passes: auto-vectorization, loop fusion, interprocedural analysis. Implements alias analysis for unsafe transformations. Diagnoses regressions from passes.

Designs high-performance interpreter with inline caching for dynamic operations. Implements specialization for frequently executed hot paths. Profiles and optimizes interpreter overhead.

Designs multi-tier JIT: interpreter → baseline JIT → optimizing JIT with profiling. Implements deoptimization and on-stack replacement (OSR). Profiles and optimizes JIT compilation overhead.

Designs complete compiler frontend: lexer, recursive descent parser, AST builder. Implements Pratt parsing for operator precedence. Optimizes parsing performance for large codebases.

Develops custom LLVM backend or target lowering for a non-standard architecture. Optimizes LLVM pipeline for specific workloads. Writes target-specific instruction selection patterns.

Designs type system for a new language: variance, higher-kinded types, existential types. Implements incremental type checking for language server. Optimizes type checker performance.