Notas
Notas de investigación, lecciones de ingeniería e ideas en marcha.
Textos técnicos breves sobre fiabilidad del ML, depuración numérica, portabilidad entre GPU, ingeniería de software y las decisiones prácticas detrás de los sistemas de investigación.
Los artículos están escritos en inglés.
1 de mayo de 2026
What I Want This Blog to Become
Academic papers are necessarily compressed. They describe the method, the evaluation, and the result, but they often leave out the messy middle: why a test design changed, why o...
Leer la nota → 8 de julio de 2025Automatically Detecting Numerical Instability in ML via Soft Assertions
In our FSE 2025 paper, we introduce Soft Assertions — a new approach to detect and trigger these hidden bugs automatically.
Leer la nota → 7 de julio de 2025Testing GPU Numerics: Finding Numerical Differences Between NVIDIA and AMD GPUs
Our SC24-W workshop paper presents a systematic method to detect and analyze these cross-vendor numerical differences.
Leer la nota →