Notas
Notas de pesquisa, lições de engenharia e ideias em andamento.
Textos técnicos curtos sobre confiabilidade de ML, depuração numérica, portabilidade entre GPUs, engenharia de software e as decisões práticas por trás de sistemas de pesquisa.
Os textos em si estão em inglês.
1 de maio 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...
Ler a nota → 8 de julho 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.
Ler a nota → 7 de julho 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.
Ler a nota →