Dominic Chen
Secure Runtime Engineer at Apple
San Francisco Bay Area United States
Summary
🤩
Rockstar🎓
Top SchoolDominic Chen is a Secure Runtime Engineer based in the San Francisco Bay Area with 14 years of systems, compiler, and security-focused software engineering experience. He builds and hardens runtime components at Apple and brings deep expertise in static analysis, symbolic constraint handling, and WebAssembly toolchains from sustained open-source contributions to projects like clang/LLVM and Binaryen. His work spans low-level compiler internals, fuzz-driven bug fixes, and firmware emulation tools (Firmadyne), reflecting a pragmatic balance of research rigor from a PhD at Carnegie Mellon and production-grade engineering. Dominic also contributed security-relevant fixes to widely used crypto libraries and has hands-on experience integrating solvers (Z3) into analysis pipelines—an indication of his ability to bridge formal methods and practical tooling.
14 years of coding experience
11 years of employment as a software developer
B.S., B.A., B.S., B.A. at Arizona State UniversityDoctor of Philosophy (Ph.D.), Doctor of Philosophy (Ph.D.) at Carnegie Mellon University
Stackoverflow
539reputation
15kreached
1answer
4questions
Github Skills (49)
algorithm10
algorithms10
c-language10
static-analysis10
python10
scripting10
qemu10
compiler-development10
firmware10
c1110
data-structure10
c1710
script10
code-analysis10
compiler-compiler10
Programming languages (16)
Github contributions (5)
firmadyne/firmadyne
Feb 2016 - Jun 2021
Platform for emulation and dynamic analysis of Linux-based firmware
Role in this project:
Back-end & DevOps Engineer
Back-end & DevOps EngineerContributions:2 reviews, 59 commits, 33 PRs in 5 years 4 months
Contributions summary:Dominic contributed to the Firmadyne project by fixing bugs and enhancing the existing functionality. Their commits show a focus on improving the network configuration scripts and QEMU integration. They addressed various issues including typos, path problems, and incorrect return values in network-related scripts. Furthermore, the user worked on code related to exploitation analysis.
dynamic-analysislinuxemulationfirmware
llvm-mirror/clang
Oct 2016 - May 2018
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
Role in this project:Back-end Developer
Back-end DeveloperContributions:24 commits in 1 year 7 months
Contributions summary:Dominic's commits primarily involve modifications to the clang static analyzer, specifically focusing on improving its analysis capabilities. They worked on documentation updates, refactoring and simplification of constraint management, and adding support for new constraint types, with an emphasis on improving the handling of symbolic expressions. Their contributions include code changes to support Z3 solver and other range constraints.
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.