Célula de Ensino evolução que gera resultados
Compiladores, Ambientes de Execução (Runtimes/JIT/GC), Infraestrutura LLVM/MLIR e Engenharia de Sistemas

Projeto Avançado de Compiladores e Infraestrutura LLVM: Forma SSA, Análise de Fluxo de Dados, Alocação de Registradores (Coloração de Grafos/Linear Scan), Vetorização SIMD e WebAssembly

Na Trilha Analítica e de Componentes Complexos (Nível 3), você evolui o compilador Cigrid para o estado da arte industrial e aprende a escrever passes de análise e transformação diretamente sobre a representação intermediária do LLVM (LLVM IR).

6 células 24h Intermediário a Avançado
🚀 Escada de Valor • Pacotes & Credit Upgrade (R$ 29,99 a R$ 199,99)

🎯 1. Porta de Entrada (R$ 29,99) Inicie pela Trilha Start (R$ 29,99) com baixo atrito financeiro e domine os fundamentos globais na prática.
💳 2. Abatimento no Upgrade (Credit Upgrade) 100% dos R$ 29,99 investidos na Trilha Start viram crédito imediato (cupom UPGRADE29) para abater nas Trilhas 2, 3, 4 ou 5!
🌍 3. Certificação Dupla (PT-BR & EN) + ODS Certificados emitidos em Português e Inglês com competências alinhadas aos ODS da ONU para seu perfil global no LinkedIn.
Sugestões CdE

Compare com trilhas semelhantes

Sugestões ligadas ao conteúdo desta trilha para apoiar sua decisão de matrícula.

Compiladores e Ambientes de Execução: Da Análise Léxica/Sintática (LL/LR) e Semântica à Geração de Código x86 (Linguagem Cigrid), Otimização, Coleta de Lixo e JIT (Trilha Start) R$ 44,90
Compiladores, Ambientes de Execução (Runtimes/JIT/GC), Infraestrutura LLVM/MLIR e Engenharia de Sistemas

Compiladores e Ambientes de Execução: Da Análise Léxica/Sintática (LL/LR) e Semântica à Geração de Código x86 (Linguagem Cigrid), Otimização, Coleta de Lixo e JIT (Trilha Start)

Compreensão teórica e experiência prática na implementação de um compilador completo do zero (linguagem Cigrid, subconjunto de C/C++, para assembly x86 comparável a GCC/Clang) e seus ambientes de execução: análise léxica e sintática (expressões regulares, autômatos finitos, gramáticas LL/LR), análise semântica e verificação de tipos, código intermediário e seleção de instruções, otimizações (alocação de registradores e agendamento) e runtimes (coleta de lixo, linkers e JIT).

📚 6 células ⏱️ 6h Iniciante
Engenharia de Compiladores, DSLs e Runtimes Aplicada no Brasil: Sistemas Financeiros de Baixa Latência (B3/PIX), Motores de Regras (DSLs) e Tuning de Runtimes (JVM/V8/.NET/Go) R$ 59,90
Compiladores, Ambientes de Execução (Runtimes/JIT/GC), Infraestrutura LLVM/MLIR e Engenharia de Sistemas

Engenharia de Compiladores, DSLs e Runtimes Aplicada no Brasil: Sistemas Financeiros de Baixa Latência (B3/PIX), Motores de Regras (DSLs) e Tuning de Runtimes (JVM/V8/.NET/Go)

Aplicação prática das técnicas de compiladores e ambientes de execução aos desafios de engenharia de software de alto nível no Brasil: criação de Domain-Specific Languages (DSLs) para motores fiscais, tributários e bancários, ajuste fino de Coleta de Lixo (GC) e JIT em sistemas de missão crítica (PIX, B3, fintechs), construção de ferramentas de análise estática (AST) e conexão com a excelência brasileira em linguagens (Lua / LuaJIT e laboratórios LLVM).

📚 6 células ⏱️ 16h Intermediário
Segurança Baseada em Compiladores (CFI, Sanitizers, Memory Safety), Análise Estática de Vulnerabilidades (SAST/DevSecOps), Green Software (FinOps) e ROI R$ 79,90
Compiladores, Ambientes de Execução (Runtimes/JIT/GC), Infraestrutura LLVM/MLIR e Engenharia de Sistemas

Segurança Baseada em Compiladores (CFI, Sanitizers, Memory Safety), Análise Estática de Vulnerabilidades (SAST/DevSecOps), Green Software (FinOps) e ROI

Aplicação executiva e corporativa de tecnologias de compiladores e runtimes para Cibersegurança (mitigação de ataques de corrupção de memória, Control-Flow Integrity, instrumentação via Sanitizers e motores SAST de análise semântica) e Eficiência Energética / Financeira (otimizações Profile-Guided PGO, Link-Time LTO e redução da conta de nuvem e emissões de carbono em datacenters).

📚 6 células ⏱️ 32h Avançado
Jornada da trilha

Células de aprendizagem

1

Célula 01: Grafos de Fluxo de Controle (CFG), Árvores de Dominância e Construção da Forma Static Single Assignment (SSA com Funções Phi)

Projetar o algoritmo de Cytron et al. / Braun et al. para calcular fronteiras de dominância, inserir funções Phi mínimas e renomear variáveis na forma SSA, simplificando drasticamente otimizações posteriores.

4h 🎙️ Áudio
2

Célula 02: Análise de Fluxo de Dados (Dataflow Analysis), Reticulados (Lattices), Análise de Ponteiros (Alias Analysis) e GVN (Global Value Numbering)

Formular análises de alcance de definições, vivacidade (liveness analysis) e pontos-para (Andersen/Steensgaard) como pontos fixos monotônicos sobre reticulados, implementando Sparse Conditional Constant Propagation (SCCP).

4h 🎙️ Áudio
3

Célula 03: Projeto Completo de Alocação Global de Registradores: Coloração de Grafos (Chaitin-Briggs / Iterated Register Coalescing) vs. Linear Scan

Construir o grafo de interferência de registradores, realizar simplificação, coalescência de movimentos (move coalescing), seleção de spill para a pilha e comparar com o algoritmo Linear Scan usado em compiladores JIT.

4h 🎙️ Áudio
4

Célula 04: Otimizações de Laços (Loop Invariant Code Motion, Unrolling, Tiling/Blocking para Cache) e Vetorização Automática SIMD (AVX-512 / ARM NEON)

Detectar laços naturais via back-edges no grafo de dominância, analisar dependências de distância/direção em arrays e gerar instruções vetoriais SIMD para multiplicar o throughput numérico.

4h 🎙️ Áudio
5

Célula 05: Infraestrutura de Compiladores LLVM na Prática: Arquitetura do LLVM IR, TableGen, Seleção de Instruções por DAG e Escrita de Passes de Otimização

Integrar o frontend da linguagem Cigrid ao backend do LLVM e escrever passes customizados de análise e otimização na infraestrutura moderna do LLVM (New Pass Manager em C++).

4h 🎙️ Áudio
6

Célula 06: Múltiplos Alvos de Arquitetura (x86-64, ARM64, RISC-V) e Geração de Código para Máquinas Virtuais WebAssembly (Wasm / WASI)

Compreender as diferenças entre arquiteturas CISC (x86-64) e RISC (ARM64/RISC-V) na seleção e agendamento de instruções, além de emitir bytecode estruturado e seguro para WebAssembly.

4h 🎙️ Áudio