Llvm
Si te gusta aplicar Llvm, cada reto aquí te da la oportunidad de practicarlo en un briefing industrial real.
- CodeSéniorNuevo
Diseñar un análisis de punteros para una base de código C++ legacy
Implementa un análisis de punteros basado en Andersen (inclusion-based) o Steensgaard (unification-based) sobre LLVM IR. Justifica la elección con el trade-off precisión vs esca…
- Pointer Analysis
- Static Analysis
- Program Analysis
Program Analysis - CodeIntermedioNuevo
Análisis de Flujo de Datos para Detección de Variables Muertas en LLVM
Implementa la pasada como un FunctionPass de LLVM en C++. Calcula los conjuntos in/out de liveness por bloque básico hasta punto fijo, identifica stores y definiciones cuyo dest…
- Dataflow Analysis
- Llvm
- Liveness Analysis
Advanced Compilers and Program Optimization - CodeSéniorNuevo
Interpretación abstracta para análisis de overflow en firmware embebido
Implementa el analizador en OCaml o Rust sobre LLVM IR. Modela el dominio de intervalos para enteros con widening al cruzar bucles. Combina con dominio de paridad para mejorar p…
- Abstract Interpretation
- Static Analysis
- Program Analysis
Program Analysis
Cómo funciona
Del briefing al certificado, en seis pasos.
Paso 01
Explora retos alineados con tus estudios.
Paso 02
Acepta el que encaja con tus metas.
Paso 03
Trabájalo con la guía del AI Copilot.
Paso 04
Envíalo para una evaluación estructurada.
Paso 05
Consigue una credencial verificada.
Paso 06
Añádela a LinkedIn con un solo clic.
Equipos del sector tras una década de briefings prácticos
¿Reclutando de este grupo?
Patrocina un reto y conoce candidatos a través de su trabajo real.
Los equipos de la industria pueden diseñar briefings en torno a las habilidades que buscan, y evaluar a los estudiantes por entregables puntuados con rúbrica — no por currículums.