Experience
Engineering
Anza Technology Inc.
January 2024 - Present
I am focusing on the Solana runtime and the compiler toolchain. I am working on the LLVM backend for the Solana bytecode format, improving performance of the generated code, and fuzzing the runtime pipeline. I am also taking care of the Rust compiler toolchain to build Solana programs.
Solana Labs
February 2022 - January 2024
At Solana, I work on the Solang compiler. So far, I have designed new Solidity syntax to embrace Solana’s runtime model, implemented control flow graph optmizations (redundancy elimination and dead code elimination), and performed data flow analysis in the intermediate code to collect information about memory access and mutability. I’ve also written the parser, the semantic analysis and code generation for iniline assembly, and designed the code generation for Borsh encoding and dynamic function dispatch.
August 2021 - November 2021
Google has an internal programming language with limited features and aimed at security. My internship project there was to code an autocomplete system for such a language that ran in Google’s own IDE. I devised algorithms to traverse a parse tree and generate possible completion suggestions. I also designed the type inference for variables in order to provide completion suggestion based on type.
Uber
January 2021 - June 2021
At Uber, I worked for the insurance team, which is focused on developing software for streamlining drivers’ access to insurance services. I developed an integration between internal microservices and Uber automation platform (a graph exectuion engine) to improve notifications and warnings for the drivers’ app. I also designed the back end architecture to supply the Uber app with information about insurance claims.
StarkBank
August 2020 - October 2020
StarkBank is a small Brazilian fintech, focusing on a banking API. I added many functions for its APIs and SDK in Javascript, Java, PHP, Ruby and Elixir.
BTG Pactual
December 2019 - Februrary 2020
BTG Pactual is a Brazilian investment bank. I coded there with my mentor a system for authenticating signatures when the company needed to validate a contract for loaning money. This has been mainly done in C#.
Metoring
Linux Foundation
August 2023 - Present
I am supervising a master’s student devising and implementing a single static assignment form for the Solang compiler.
Linux Foundation
June 2022 - November 2022
I co-mentored an university student who wanted to get involved in open-source software. I guided the student implementing multiplication with overflow detection and optimizing vector push and pop operations.
Extracurricular experiences
Hyperledger Foundation
June 2021 - November 2021
I have been the mentee for the Solang compiler project, implementing undefined variable detection and unused variable elimination. In addition, I devised an algorithm to implement data flow analysis for common subexpression elimination, which was crafted for Solang’s intermediate representation.
ITAndroids
April 2017 - October 2020
ITAndroids is a university robotics group. I worked there for the humanoid robot team, whose robots play soccer in the RoboCup competition. I wrote software for decision making and vision algorithms. In addition, I led the group between 2018 and 2019, and managed the group’s sponsors money from 2017 to 2018.