Yuh Ong
Software Engineer at Facebook
Bellevue, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolYuh Ong is a seasoned software engineer with nine years of experience building secure, high-performance systems for major tech companies, currently working on product security and program analysis at Facebook in Bellevue. He brings deep back-end expertise from roles at Microsoft on real-time media transport and testing automation to low-level research projects in graphics and peer-to-peer streaming, demonstrating fluency in C++, C#, and systems programming. His open-source contributions to prominent security tools like Facebook’s pyre-check and Mariana Trench highlight a focus on data model integrity and accurate taint analysis, including nontrivial fixes for taint propagation and schema-driven refactors. Comfortable spanning research and production, he pairs a strong academic foundation from NUS and UIUC exchanges with practical experience delivering robust tooling and tests for complex distributed and security-sensitive systems.
9 years of coding experience
4 years of employment as a software developer
University of Illinois Urbana-ChampaignBachelor, Major in Computer Science, Minor in Mathematics, Bachelor, Major in Computer Science, Minor in Mathematics at National University of Singapore
English, Chinese
Github Skills (15)
data-modeling10
javas10
static-analysis10
python10
taint10
java10
security10
program-analysis9
testing9
postgresql9
algorithms8
abstract-interpretation8
data-structures8
algorithm8
data-structure8
Programming languages (4)
Github contributions (5)
facebook/mariana-trench
Aug 2021 - Sep 2022
A security focused static analysis tool for Android and Java applications.
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:13 reviews, 98 commits, 23 comments in 1 year
Contributions summary:Yuh primarily contributed to enhancing the security and functionality of the Mariana Trench static analysis tool. They focused on improving integration tests by enabling model generators, which likely aids in more comprehensive analysis. The user also addressed a bug related to incorrect taint propagation and the related incorrect issue flagging. Furthermore, they introduced features to handle and account for via-cast features as well as adding code to handle the collapsing of invalid access paths during analysis.
securitystaticanalysisandroidjava-applicationsfocused
facebook/pyre-check
Feb 2019 - Mar 2020
Performant type-checking for python.
Role in this project:Back-end Developer
Back-end DeveloperContributions:23 commits in 1 year 1 month
Contributions summary:Yuh primarily focused on database schema changes and data model refactoring within the `pyre-check` repository. They removed deprecated fields, added new fields, and optimized data merging functions within the data models. Furthermore, they made changes to the model generator and supporting files to accommodate the schema changes, including adjusting the handling of preconditions and postconditions, and annotations. The user's work shows a focus on database-driven data integrity and model management within the type-checking system.
typecheckercontrol-flow-analysispythoncode-qualityabstract-interpretation
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.