Rafael Auler
Software Engineer at Meta
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolRafael Auler is a compiler and runtime engineer with 18 years of experience, currently building programming languages and runtimes at Meta in San Francisco. He co-authored Facebook's BOLT binary optimizer—which later joined the LLVM ecosystem—and has deep expertise in binary optimization, code generation, and JIT/runtime systems. Rafael’s background includes a PhD focused on virtual machines and dynamic binary translation, plus internships at HHVM and Microsoft that informed his production and research work. He contributes to Clang/LLVM upstream, tackling subtle codegen and template-instantiation issues that affect real-world language integrations like Swift. Colleagues know him for combining rigorous academic research with pragmatic performance engineering that measurably improves large-scale server binaries.
18 years of coding experience
Doctor of Philosophy (PhD) Computer Science, Doctor of Philosophy (PhD) Computer Science at University of CampinasBachelor of Science (BS) Computer Engineering, Bachelor of Science (BS) Computer Engineering at Universidade Estadual de CampinasCOC
English, Portuguese
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (17)
c-language10
llvm10
compiler-compiler10
performance-analysis10
compiler10
clangd10
cprogramming-language10
clang10
assembly9
x869
instrumentation9
cmake8
build-system8
code-optimization8
c117
Programming languages (5)
Github contributions (5)
facebookarchive/BOLT
Oct 2015 - Dec 2021
Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries
Role in this project:
Performance Engineer
Performance EngineerContributions:2 releases, 40 reviews, 824 commits in 6 years 3 months
Contributions summary:Rafael primarily focused on optimizing the performance of binaries using the BOLT tool. They implemented instrumentation instructions, fixed bugs related to shrink wrapping and jump tables, and introduced options for fine-tuning lite mode processing. Their contributions involved code changes to various parts of the BOLT tool, including instrumentation, frame analysis, and data aggregation, indicating a focus on improving binary optimization and analysis.
compilersclanglayoutcommand-line-utilitylinux
llvm-mirror/clang
Sep 2014 - Mar 2019
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
Role in this project:Back-end Developer
Back-end DeveloperContributions:6 commits in 4 years 6 months
Contributions summary:Rafael primarily contributes to the Clang compiler codebase, making changes related to code generation and compiler behavior. Their work focuses on supporting the `used` attribute for member functions of class templates, ensuring proper instantiation based on the compiler's specifications. The user's contributions include both implementing and reverting changes, showcasing an iterative approach to address bugs and ensure build compatibility, specifically when integrated with Swift. These modifications directly impact the compiler's ability to handle specific C++ language features.
keptwindowsllvmcc-plus-plus
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.