Dominik Gabi
Software Engineer at Facebook
San Francisco Bay Area United States
Summary
🤩
Rockstar🎓
Top SchoolDominik Gabi is a seasoned software engineer with 14 years of experience building reliable backend systems and developer tooling in the San Francisco Bay Area. He has been a long-term engineer at Facebook since 2013 and brings additional industry experience from Monoidics Ltd, blending large-scale production engineering with research-driven program analysis. His open-source contributions to high-profile projects like HHVM, Redex, Folly, Buck, and Pyre demonstrate deep expertise in VM internals, bytecode optimization, C++ library design, build systems, and static analysis. Notably, he implemented dynamic taint tracking in HHVM and improved core optimizations and configurability across multiple Facebook tools, highlighting a focus on security, correctness, and developer ergonomics. Trained at ETH Zurich, he pairs rigorous academic roots with practical systems work and a knack for making low-level infrastructure both robust and maintainable. Colleagues would describe him as a pragmatic engineer who surfaces subtle correctness and tooling improvements that pay dividends across large codebases.
14 years of coding experience
ETH Zurich
English, German
Github Skills (33)
code-optimization10
c-language10
type-check10
python10
taint10
testing10
android-development10
hhvm10
java10
subprocess10
javas10
bytecode10
android10
folly10
build-tools10
Programming languages (7)
Github contributions (5)
facebook/pyre-check
May 2018 - Aug 2021
Performant type-checking for python.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:5 reviews, 1163 commits, 55 PRs in 3 years 3 months
Contributions summary:Dominik primarily worked on enhancing the Pyre type-checking system by making several key modifications. They implemented changes that enabled the use of attributes instead of methods in the configuration of the system, along with simplifying the way search paths are handled in the configuration. Further improvements include handling simple contradictions within isinstance assertions, refining the process of joining and merging states for boolean operators, and adjusting the way parameter mismatch errors on labels are reported. These changes highlight their focus on improving the core functionality and reliability of the type checker.
typecheckercontrol-flow-analysispythoncode-qualityabstract-interpretation
facebook/redex
May 2019 - Feb 2020
A bytecode optimizer for Android apps
Role in this project:Back-end Developer
Back-end DeveloperContributions:11 commits in 9 months
Contributions summary:Dominik made several contributions to the `facebook/redex` repository, primarily focused on the internal workings of the bytecode optimizer. Their work includes modifying the build process, adding features such as allowing class duplicates, incorporating a new trace category, and improving the codebase. They also addressed some potential issues within the existing code with modifications like helper method to see if we have a CFG in `IRCode` and automatically adding new-line to `TRACE`. The commits indicate a focus on refining and extending the core functionality of the bytecode optimizer.
android-appsandroidbytecodekotlinoptimizer
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.