Gabriela Sampaio
Software Engineer at Meta
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolGabriela Sampaio is a software engineer at WhatsApp (Meta) with 11 years’ experience specializing in static and dynamic program analysis and automated bug detection. She holds a PhD from Imperial College London where she built a static analysis tool for JavaScript and researched formal methods, modularity, and reuse for event-driven web apps. At Meta she contributes to code analysis tooling and previously enhanced Facebook’s widely used open-source static analyzer Infer, improving Java and Erlang models and test coverage. Her background spans industry internships at Facebook and Amazon, applied research, and full-stack development—evidence of an engineer who moves fluently between research-grade formal techniques and production systems. Colleagues rely on her for precise static-analysis models and pragmatic refactors that make error reporting clearer and tools more robust.
11 years of coding experience
1 year of employment as a software developer
Master's degree, Computer Science, A, Master's degree, Computer Science, A at Universidade Federal de PernambucoComputer Science, Computer Science at University of Kent
English, Portuguese
Github Skills (9)
javas10
static-analysis10
erlang10
java10
test-automation9
data-structure5
algorithms5
algorithm5
data-structures5
Programming languages (5)
Github contributions (5)
facebook/infer
Jan 2021 - Jul 2022
A static analyzer for Java, C, C++, and Objective-C
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:26 commits in 1 year 6 months
Contributions summary:Gabriela primarily contributed to the static analysis tool, Infer, focusing on the Java and Erlang analysis capabilities of the tool. The user implemented models for Java methods such as `TextUtils.isEmpty()`, `checkNotNull()`, `checkState()`, and `instanceof`, as well as refining the model for Java Collection interface. The user also refactored existing Java models and updated error messages for clarity. In addition, the user added tests for Erlang's `lists:append/2` to increase code coverage.
static-analyzerobjective-ccppstatic-code-analysiscode-quality
javert-click/javert-click
Jun 2020 - Dec 2021
Contributions:180 pushes, 1 branch in 1 year 6 months
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.