Visión general
De qué trata este proyecto.
Genera bytecode JVM desde un AST tipado, ejecuta fórmulas financieras y verifica equivalencia. Obtén un certificado verificable.
El escenario
La consultora (alrededor de 140 personas, 9 clientes bancarios en LATAM) hoy interpreta FormulaQL en runtime — la compilación a bytecode promete una mejora 10× según el spike interno y bajaría el coste de CPU de los batch nocturnos en MX y CO.
El Briefing
Lo que harás y lo que demostrarás.
Generar bytecode JVM equivalente al intérprete de FormulaQL para los 20 programas de regresión, con benchmarks honestos vs el intérprete.
Earning criteria — what you'll demonstrate
- Mapear constructos de alto nivel a instrucciones JVM (iconst, ifeq, invokestatic, etc.)
- Usar ASM para emitir clases bien formadas que pasen el verifier de la JVM
- Medir rendimiento con metodología honesta (warm-up, múltiples runs)
- Documentar los límites de un backend de compilador con precisión
Encaje académico
Dónde encaja esto en tus estudios.
Afina las mismas habilidades que tu titulación espera de ti.
Compiler Construction
Bachelor · Programming Languages
Strong alignment
This challenge maps to Compiler Construction at the Bachelor level. It sharpens the same practical skills your coursework expects — but in a real industry context with actual constraints and deliverables.
Habilidades
Habilidades que demostrarás.
Cada una aparece en tu credencial verificada.
- Code Generation
Apply code generation to solve real industry problems and demonstrate production-level capability.
- Jvm Bytecode
Apply jvm bytecode to solve real industry problems and demonstrate production-level capability.
- Asm Library
Apply asm library to solve real industry problems and demonstrate production-level capability.
- Compiler Backend
Apply compiler backend to solve real industry problems and demonstrate production-level capability.
- Performance Benchmarking
Apply performance benchmarking to solve real industry problems and demonstrate production-level capability.
- Java
Apply java to solve real industry problems and demonstrate production-level capability.
Carreras
Roles para los que esto te prepara.
Títulos reales. Puentes de habilidades reales. Elige el que más se acerque a tu trayectoria.
Ingeniero Backend
Generar bytecode JVM eficiente es el tipo de trabajo backend de alto valor que aparece cuando un producto necesita motores de reglas rápidos o evaluadores de expresiones — un ingeniero backend con esta experiencia destaca en entrevistas técnicas.
Este proyecto afina
- code-generation
- jvm-bytecode
- java
Ingeniero de Software
Construir un backend de compilador completo enseña a razonar a nivel de máquina y a medir rendimiento con honestidad — fundamentos que un ingeniero de software aplica al optimizar cualquier hot path.
Este proyecto afina
- compiler-backend
- performance-benchmarking
- code-generation
Arquitecto de Sistemas
Quien ha mapeado constructos de alto nivel a instrucciones de máquina diseña con criterio las capas de abstracción de un sistema completo — base sólida para evolucionar hacia arquitectura de sistemas.
Este proyecto afina
- compiler-backend
- jvm-bytecode
- code-generation