- Brazilian (living in Seattle)
- Computer scientist
- Compiler Engineer @ Microsoft CoreAI
- Working on a Compiler for MAIA
- Implemented a bunch of front-end and middle-end compiler optimizations. Still looking for more optimization opportunities.
- Optimized triton kernels targeting inference for several LLMs
- Made a few llvm upstream contributions, like this one
- Currently exploring the autotuners space.
- Working on a Compiler for MAIA
- Took part in several algorithmic competitions since age 13
- Brazilian Olympiad in Informatics
- ICPC (qualified for Latin-America finals 3x, best result 11th out of 700+)
- CodeChef - Part of 1st division, top 1% in rating, SnackDown 2019 finalist
- Codeforces - Candidate Master, part of 1st division
- Hackerrank - Top 1% in rating for Algorithms contest
- A few of my open-source contributions and personal projects
- Top 5 contributor of simdjson
- Implemented serialization and deserialization based on the reflection for C++26 proposal.
- Minimum Spanning Trees in Expected Linear Time KKT Algorithm Implementation
- Contribution to helion autotuner - Added DE-Surrogate that led to 6% better optimal configs in less time than previous methods.
- mirror_bridge for generating Python/JS/Lua bindings for C++ code
- Top 5 contributor of simdjson
Some of my interests are (in no particular order):
- Algorithms
- Data Structures
- Problem Solving
- Optimization
- Profiling
- Compilers
- Low latency
- Fast Software