What a Mid-level } should know

Confidently applies algorithms and complexity analysis for compiler engineering in non-standard tasks. Independently selects optimal approach and tools. Analyzes trade-offs and suggests improvements to existing solutions.

Confidently applies code quality practices for compiler engineering in non-standard tasks. Independently selects optimal approach and tools. Analyzes trade-offs and suggests improvements to existing solutions.

Confidently applies data structures for compiler engineering in non-standard tasks. Independently selects optimal approach and tools. Analyzes trade-offs and suggests improvements to existing solutions.

Confidently applies code review skills for compiler engineering in non-standard tasks. Independently selects optimal approach and tools. Analyzes trade-offs and suggests improvements to existing solutions.

Implements complex AST transformations: constant folding, dead code elimination, inlining. Uses babel/typescript compiler API for code transformation. Writes plugins for ESLint and TSC.

Implements code generation for stack-based or register-based bytecode. Uses LLVM or QBE for native code generation. Generates optimized code for function call patterns.

Implements optimization passes: function inlining, loop unrolling, vectorization hints. Uses dominators, loop analysis and alias analysis. Measures impact of passes on code size and performance.

Implements bytecode compiler + VM interpreter for a simple language. Understands dispatch techniques: switch dispatch, threaded code. Optimizes the main interpreter loop.

Implements a baseline JIT compiler for a simple bytecode format. Understands tracing JIT vs method JIT architectures. Implements basic inline caches for dynamic method calls.

Implements LL(k) and LR parsers, builds AST for programming languages. Uses parser generators (ANTLR, yacc/bison). Handles syntax errors with error recovery strategies.

Writes LLVM Analysis and Transform passes using C++ API. Generates LLVM IR programmatically for simple constructs. Uses opt and llvm-dis for pipeline analysis and debugging.

Implements bidirectional type checking for languages with type annotations. Understands constraint-based type inference. Writes a type checker for a language with generics and simple subtyping.