II.
SkillArea overview
Reference · liveskill-area:compiler-implementation
Compiler & Interpreter Implementation overview
Building compilers and interpreters — lexing, parsing, AST construction, type checking, IR lowering, optimization passes, and code generation. Covers LLVM backend integration, JIT compilation, and bytecode VM design.
Attributes
displayName
Compiler & Interpreter Implementation
description
Building compilers and interpreters — lexing, parsing, AST
construction, type checking, IR lowering, optimization passes,
and code generation. Covers LLVM backend integration, JIT
compilation, and bytecode VM design.
domains
expertiseLevels
- expert
Outgoing edges
applies_to1
- specialization:programming-languages·SpecializationProgramming Languages
Incoming edges
contains1
- specialization:compiler-design·SpecializationCompiler Design
lib_requires_skill_area165
- lib-agent:code-migration-modernization--code-translation-agent·LibraryAgentcode-translation-agent
- lib-agent:aerospace-engineering--do-178c-specialist·LibraryAgentdo-178c-specialist
- lib-agent:computer-science--compiler-architect·LibraryAgentcompiler-architect
- lib-agent:computer-science--concurrency-expert·LibraryAgentconcurrency-expert
- lib-agent:computer-science--formal-specification-expert·LibraryAgentformal-specification-expert
- lib-agent:computer-science--model-checking-expert·LibraryAgentmodel-checking-expert
- lib-agent:computer-science--semantics-specialist·LibraryAgentsemantics-specialist
- lib-agent:computer-science--static-analysis-expert·LibraryAgentstatic-analysis-expert
- lib-agent:computer-science--synthesis-specialist·LibraryAgentsynthesis-specialist
- lib-agent:computer-science--theorem-proving-expert·LibraryAgenttheorem-proving-expert
- lib-agent:computer-science--type-theorist·LibraryAgenttype-theorist
- lib-agent:mathematics--proof-strategist·LibraryAgentproof-strategist
- lib-agent:mathematics--symbolic-computation-expert·LibraryAgentsymbolic-computation-expert
- lib-agent:mathematics--theorem-prover-expert·LibraryAgenttheorem-prover-expert
- lib-agent:quantum-computing--hybrid-system-architect·LibraryAgenthybrid-system-architect
- lib-agent:quantum-computing--multi-platform-engineer·LibraryAgentmulti-platform-engineer
- lib-agent:quantum-computing--quantum-circuit-architect·LibraryAgentquantum-circuit-architect
- lib-agent:quantum-computing--quantum-sdk-developer·LibraryAgentquantum-sdk-developer
- lib-agent:network-programming--protocol-expert·LibraryAgentprotocol-expert
- lib-agent:programming-languages--compiler-frontend-architect·LibraryAgentcompiler-frontend-architect
- lib-agent:programming-languages--compiler-performance-engineer·LibraryAgentCompiler Performance Engineer
- lib-agent:programming-languages--ffi-interop-engineer·LibraryAgentFFI and Interop Engineer
- lib-agent:programming-languages--ir-design-specialist·LibraryAgentIR Design Specialist
- lib-agent:programming-languages--jit-specialist·LibraryAgentJIT Compiler Specialist
- lib-agent:programming-languages--language-feature-designer·LibraryAgentlanguage-feature-designer
- lib-agent:programming-languages--language-tooling-engineer·LibraryAgentLanguage Tooling Engineer
- lib-agent:programming-languages--llvm-engineer·LibraryAgentLLVM Compiler Engineer
- lib-agent:programming-languages--memory-management-expert·LibraryAgentMemory Management Expert
- lib-agent:programming-languages--runtime-systems-engineer·LibraryAgentRuntime Systems Engineer
- lib-agent:programming-languages--semantic-analysis-engineer·LibraryAgentSemantic Analysis Engineer
- lib-agent:programming-languages--type-system-engineer·LibraryAgenttype-system-engineer
- lib-process:computer-science--abstract-interpretation-analysis·LibraryProcesscomputer-science/abstract-interpretation-analysis
- lib-process:computer-science--algorithm-complexity-analysis·LibraryProcesscomputer-science/algorithm-complexity-analysis
- lib-process:computer-science--algorithm-correctness-proof·LibraryProcesscomputer-science/algorithm-correctness-proof
- lib-process:computer-science--algorithm-design-paradigm-selection·LibraryProcesscomputer-science/algorithm-design-paradigm-selection
- lib-process:computer-science--algorithm-engineering-evaluation·LibraryProcesscomputer-science/algorithm-engineering-evaluation
- lib-process:computer-science--approximation-algorithm-design·LibraryProcesscomputer-science/approximation-algorithm-design
- lib-process:computer-science--cache-optimization-analysis·LibraryProcesscomputer-science/cache-optimization-analysis
- lib-process:computer-science--compiler-optimization-design·LibraryProcesscomputer-science/compiler-optimization-design
- lib-process:computer-science--complexity-lower-bound-proof·LibraryProcesscomputer-science/complexity-lower-bound-proof
- lib-process:computer-science--computational-problem-classification·LibraryProcesscomputer-science/computational-problem-classification
- lib-process:computer-science--concurrent-data-structure-design·LibraryProcesscomputer-science/concurrent-data-structure-design
- lib-process:computer-science--cross-area-cs-integration·LibraryProcesscomputer-science/cross-area-cs-integration
- lib-process:computer-science--decidability-analysis·LibraryProcesscomputer-science/decidability-analysis
- lib-process:computer-science--distributed-consensus-protocol-design·LibraryProcesscomputer-science/distributed-consensus-protocol-design
- lib-process:computer-science--dsl-design-implementation·LibraryProcesscomputer-science/dsl-design-implementation
- lib-process:computer-science--formal-specification-development·LibraryProcesscomputer-science/formal-specification-development
- lib-process:computer-science--model-checking-verification·LibraryProcesscomputer-science/model-checking-verification
- lib-process:computer-science--np-completeness-proof·LibraryProcesscomputer-science/np-completeness-proof
- lib-process:computer-science--operational-semantics-specification·LibraryProcesscomputer-science/operational-semantics-specification
- lib-process:computer-science--program-synthesis-specification·LibraryProcesscomputer-science/program-synthesis-specification
- lib-process:computer-science--randomized-algorithm-analysis·LibraryProcesscomputer-science/randomized-algorithm-analysis
- lib-process:computer-science--system-performance-modeling·LibraryProcesscomputer-science/system-performance-modeling
- lib-process:computer-science--theorem-prover-verification·LibraryProcesscomputer-science/theorem-prover-verification
- lib-process:computer-science--theoretical-cs-paper-development·LibraryProcesscomputer-science/theoretical-cs-paper-development
- lib-process:computer-science--type-system-design·LibraryProcesscomputer-science/type-system-design
- lib-process:quantum-computing--algorithm-benchmarking·LibraryProcessquantum-computing/algorithm-benchmarking
- lib-process:quantum-computing--error-correction-code-implementation·LibraryProcessQuantum Error Correction Code Implementation
- lib-process:quantum-computing--error-correction·LibraryProcessquantum-computing/error-correction
- lib-process:quantum-computing--error-mitigation-strategy·LibraryProcessError Mitigation Strategy Implementation
- lib-process:quantum-computing--error-mitigation·LibraryProcessquantum-computing/error-mitigation
- lib-process:quantum-computing--hamiltonian-simulation·LibraryProcessHamiltonian Simulation Implementation
- lib-process:quantum-computing--hardware-backend-configuration·LibraryProcessHardware Backend Configuration
- lib-process:quantum-computing--hardware-noise-characterization·LibraryProcessHardware Noise Characterization
- lib-process:quantum-computing--hybrid-system-integration·LibraryProcessQuantum-Classical Hybrid System Integration
- lib-process:quantum-computing--molecular-ground-state-energy·LibraryProcessMolecular Ground State Energy Calculation
- lib-process:quantum-computing--multi-platform-deployment·LibraryProcessMulti-Platform Deployment
- lib-process:quantum-computing--post-quantum-cryptography-assessment·LibraryProcessPost-Quantum Cryptography Assessment
- lib-process:quantum-computing--quantum-algorithm-benchmarking·LibraryProcessQuantum Algorithm Benchmarking
- lib-process:quantum-computing--quantum-algorithm-documentation·LibraryProcessQuantum Algorithm Documentation
- lib-process:quantum-computing--quantum-circuit-design-optimization·LibraryProcessQuantum Circuit Design and Optimization
- lib-process:quantum-computing--quantum-circuit-design·LibraryProcessquantum-computing/quantum-circuit-design
- lib-process:quantum-computing--quantum-circuit-testing-framework·LibraryProcessQuantum Circuit Testing Framework
- lib-process:quantum-computing--quantum-classifier-implementation·LibraryProcessQuantum Classifier Implementation
- lib-process:quantum-computing--quantum-computing-training-program·LibraryProcessQuantum Computing Training Program
- lib-process:quantum-computing--quantum-finance-application·LibraryProcessQuantum Finance Application
- lib-process:quantum-computing--quantum-neural-network-training·LibraryProcessQuantum Neural Network Training
- lib-process:quantum-computing--quantum-optimization-application·LibraryProcessQuantum Optimization Application
- lib-process:quantum-computing--quantum-random-number-generation·LibraryProcessQuantum Random Number Generation
- lib-process:quantum-computing--quantum-resource-estimation·LibraryProcessQuantum Resource Estimation
- lib-process:quantum-computing--quantum-sdk-library-development·LibraryProcessQuantum SDK/Library Development
- lib-process:quantum-computing--variational-algorithm-implementation·LibraryProcessVariational Algorithm Implementation (VQE/QAOA)
- lib-process:quantum-computing--variational-algorithm·LibraryProcessquantum-computing/variational-algorithm
- lib-process:embedded-systems--code-size-optimization·LibraryProcessspecializations/embedded-systems/code-size-optimization
- lib-process:programming-languages--ast-design·LibraryProcessspecializations/programming-languages/ast-design
- lib-process:programming-languages--bytecode-vm-implementation·LibraryProcessspecializations/programming-languages/bytecode-vm-implementation
- lib-process:programming-languages--code-generation-llvm·LibraryProcessspecializations/programming-languages/code-generation-llvm
- lib-process:programming-languages--concurrency-primitives·LibraryProcessspecializations/programming-languages/concurrency-primitives
- lib-process:programming-languages--debugger-adapter-development·LibraryProcessspecializations/programming-languages/debugger-adapter-development
- lib-process:programming-languages--effect-system-design·LibraryProcessspecializations/programming-languages/effect-system-design
- lib-process:programming-languages--error-message-enhancement·LibraryProcessspecializations/programming-languages/error-message-enhancement
- lib-process:programming-languages--ffi-implementation·LibraryProcessspecializations/programming-languages/ffi-implementation
- lib-process:programming-languages--garbage-collector-implementation·LibraryProcessspecializations/programming-languages/garbage-collector-implementation
- lib-process:programming-languages--generics-polymorphism·LibraryProcessspecializations/programming-languages/generics-polymorphism
- lib-process:programming-languages--interpreter-implementation·LibraryProcessspecializations/programming-languages/interpreter-implementation
- lib-process:programming-languages--ir-design·LibraryProcessspecializations/programming-languages/ir-design
- lib-process:programming-languages--jit-compiler-development·LibraryProcessspecializations/programming-languages/jit-compiler-development
- lib-process:programming-languages--language-grammar-design·LibraryProcessspecializations/programming-languages/language-grammar-design
- lib-process:programming-languages--lexer-implementation·LibraryProcessspecializations/programming-languages/lexer-implementation
- lib-process:programming-languages--lsp-server-implementation·LibraryProcessspecializations/programming-languages/lsp-server-implementation
- lib-process:programming-languages--macro-system-implementation·LibraryProcessspecializations/programming-languages/macro-system-implementation
- lib-process:programming-languages--memory-allocator-design·LibraryProcessspecializations/programming-languages/memory-allocator-design
- lib-process:programming-languages--module-system-design·LibraryProcessspecializations/programming-languages/module-system-design
- lib-process:programming-languages--parser-development·LibraryProcessspecializations/programming-languages/parser-development
- lib-process:programming-languages--pattern-matching-implementation·LibraryProcessspecializations/programming-languages/pattern-matching-implementation
- lib-process:programming-languages--repl-development·LibraryProcessspecializations/programming-languages/repl-development
- lib-process:programming-languages--semantic-analysis·LibraryProcessspecializations/programming-languages/semantic-analysis
- lib-process:programming-languages--source-map-generation·LibraryProcessspecializations/programming-languages/source-map-generation
- lib-process:programming-languages--type-system-implementation·LibraryProcessspecializations/programming-languages/type-system-implementation
- lib-skill:aerospace-engineering--do-178c-compliance·LibrarySkilldo-178c-compliance
- lib-skill:computer-science--abstract-domain-library·LibrarySkillabstract-domain-library
- lib-skill:computer-science--counterexample-guided-refinement·LibrarySkillcounterexample-guided-refinement
- lib-skill:computer-science--data-flow-analysis-framework·LibrarySkilldata-flow-analysis-framework
- lib-skill:computer-science--dsl-compiler-generator·LibrarySkilldsl-compiler-generator
- lib-skill:computer-science--linearizability-checker·LibrarySkilllinearizability-checker
- lib-skill:computer-science--loop-invariant-generator·LibrarySkillloop-invariant-generator
- lib-skill:computer-science--memory-model-analyzer·LibrarySkillmemory-model-analyzer
- lib-skill:computer-science--model-checker-interface·LibrarySkillmodel-checker-interface
- lib-skill:computer-science--operational-semantics-builder·LibrarySkilloperational-semantics-builder
- lib-skill:computer-science--optimization-correctness-verifier·LibrarySkilloptimization-correctness-verifier
- lib-skill:computer-science--smt-solver-interface·LibrarySkillsmt-solver-interface
- lib-skill:computer-science--soundness-proof-assistant·LibrarySkillsoundness-proof-assistant
- lib-skill:computer-science--ssa-transformation-library·LibrarySkillssa-transformation-library
- lib-skill:computer-science--temporal-logic-translator·LibrarySkilltemporal-logic-translator
- lib-skill:computer-science--termination-analyzer·LibrarySkilltermination-analyzer
- lib-skill:computer-science--theorem-prover-interface·LibrarySkilltheorem-prover-interface
- lib-skill:computer-science--tla-plus-generator·LibrarySkilltla-plus-generator
- lib-skill:computer-science--type-inference-engine·LibrarySkilltype-inference-engine
- lib-skill:computer-science--typing-rule-generator·LibrarySkilltyping-rule-generator
- lib-skill:mathematics--coq-proof-assistant·LibrarySkillcoq-proof-assistant
- lib-skill:mathematics--isabelle-hol-interface·LibrarySkillisabelle-hol-interface
- lib-skill:mathematics--lean-proof-assistant·LibrarySkilllean-proof-assistant
- lib-skill:mathematics--proof-structure-analyzer·LibrarySkillproof-structure-analyzer
- lib-skill:quantum-computing--circuit-optimizer·LibrarySkillcircuit-optimizer
- lib-skill:quantum-computing--cirq-circuit-builder·LibrarySkillcirq-circuit-builder
- lib-skill:quantum-computing--pyzx-simplifier·LibrarySkillpyzx-simplifier
- lib-skill:quantum-computing--qiskit-circuit-builder·LibrarySkillqiskit-circuit-builder
- lib-skill:quantum-computing--qsharp-compiler·LibrarySkillqsharp-compiler
- lib-skill:quantum-computing--qubit-mapper·LibrarySkillqubit-mapper
- lib-skill:quantum-computing--tket-compiler·LibrarySkilltket-compiler
- lib-skill:gpu-programming--nsight-profiler·LibrarySkillnsight-profiler
- lib-skill:programming-languages--ast-manipulation·LibrarySkillAST Manipulation
- lib-skill:programming-languages--bytecode-vm·LibrarySkillBytecode VM
- lib-skill:programming-languages--dap-protocol·LibrarySkillDebug Adapter Protocol
- lib-skill:programming-languages--effect-systems·LibrarySkilleffect-systems
- lib-skill:programming-languages--error-messages·LibrarySkillError Messages
- lib-skill:programming-languages--ffi-design·LibrarySkillFFI Design
- lib-skill:programming-languages--garbage-collection·LibrarySkillGarbage Collection
- lib-skill:programming-languages--generics-implementation·LibrarySkillgenerics-implementation
- lib-skill:programming-languages--grammar-design·LibrarySkillGrammar Design
- lib-skill:programming-languages--jit-compilation·LibrarySkillJIT Compilation
- lib-skill:programming-languages--lexer-generator·LibrarySkillLexer Generator
- lib-skill:programming-languages--llvm-backend·LibrarySkillLLVM Backend
- lib-skill:programming-languages--lsp-protocol·LibrarySkillLanguage Server Protocol
- lib-skill:programming-languages--macro-systems·LibrarySkillmacro-systems
- lib-skill:programming-languages--memory-allocator·LibrarySkillMemory Allocator
- lib-skill:programming-languages--module-systems·LibrarySkillmodule-systems
- lib-skill:programming-languages--parser-generator·LibrarySkillParser Generator
- lib-skill:programming-languages--pattern-matching·LibrarySkillpattern-matching
- lib-skill:programming-languages--register-allocation·LibrarySkillRegister Allocation
- lib-skill:programming-languages--repl-development·LibrarySkillREPL Development
- lib-skill:programming-languages--source-maps·LibrarySkillSource Maps
- lib-skill:programming-languages--ssa-ir-design·LibrarySkillSSA/IR Design
- lib-skill:programming-languages--tree-sitter·LibrarySkillTree-sitter
- lib-skill:programming-languages--type-theory·LibrarySkillType Theory
prerequisite_for_learning1
- skill-area:software-development·SkillAreaSoftware Development
requires_expertise1
- role:compiler-engineer·RoleCompiler Engineer