Master’s student in Computer Science at PPGCC (Graduate Program in Computer Science) at UFMG (Federal University of Minas Gerais), working at LaC (Compilers Lab), under the supervision of Fernando Quintão Pereira. Postgraduate student in Data Science specialization at Unicamp.
Areas of Interest
- Compilers
- Code Optimization
- Formal Verification
- Virtualization and Containerization
- Operating Systems
- Programming Language Theory λ
Previous work
I hold a Bachelor’s degree in Computer Science from the Pontifical Catholic University of Minas Gerais (PUCMINAS), with over two years of research experience in compilers and operating systems. In the Nanvix OS project, I built a just-in-time translator from MIPS to RISC-V for a virtual machine. For my final project, I implemented a zero-copy interprocess communication library for microkernel systems.
During my studies, I was a teaching assistant for Databases, Algorithms and Data Structures II, and Compilers.
I worked as a Mid-Level Web Developer at Sociedade Mineira de Cultura and developed mobile applications for the PUCMINAS Dental Clinic, resulting in five registered software patents and as a Linux Kernel Developer at MagaluCloud, contributing to kernel-level and open-source infrastructure projects.
I was also a volunteer at International Conference on Parallel Architectures and Compilation Techniques (PACT25), International Symposium on Code Generation and Optimization (CGO26) and International Conference on Compiler Construction (CC26) on the Artifact Evaluation Committee.
Recent News
First PR accepted in Carbon! Adding support for integer-to-char conversion.
Five students affiliated with UFMG’s Compilers Lab volunteered to serve as artifact evaluators for the International Conference on Compiler Construction (CC 2026)
The paper “Multi-Language Benchmark Generation via L-Systems” is available in arXiv!
BenchGen now supports Odin and Zig benchmarks!
BenchGen, our fractal-based program generator, now supports V!
The Impact of Profile Guided Optimizations
Request for Feedback
A comparison of different programming languages using BenchGen
Relationship between compilation time and execution time using BenchGen
BenchGen technical report
An evolution of GCC across different versions
BenchGen: Fractal-Based Program Generator
Comparison of different optimization levels in GCC
Clang and GCC comparison using BenchGen
BenchGen - An C Benchmark Generator via L-Systems
