Songming Liu
Software Engineer at Meta
United States
Summary
🤩
Rockstar🎓
Top SchoolSongming Liu is a software engineer with six years of experience building low-level and infrastructure systems, currently an MLE at Meta. He combines strong academic rigor—Ph.D. work at Tsinghua and a 3.98 BS from Georgia Tech in CS, math, and physics—with hands-on engineering at Meta, Amazon, and Facebook/Instagram. His open-source contributions include implementing signal handling and core syscall behavior in a Rust reimplementation of the Zircon microkernel (zCore), reflecting deep familiarity with OS internals and concurrency. Comfortable across back-end and system-level code, he has a track record of shipping reliable, production-facing services and infrastructure. Colleagues can expect a research-informed engineer who bridges theoretical foundations with pragmatic implementation.
6 years of coding experience
Bachelor of Science - BS, Computer Science, Pure Mathemtics, Physics, 3.98/4.0, Bachelor of Science - BS, Computer Science, Pure Mathemtics, Physics, 3.98/4.0 at Georgia Institute of Technology
Github Skills (8)
system-calls10
process-management10
rust10
signal-handling10
rcon10
thread10
microkernel10
rc10
Programming languages (4)
Github contributions (5)
rcore-os/zCore
Mar 2022 - Jun 2022
Reimplement Zircon microkernel in Rust.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:33 commits in 2 months
Contributions summary:Songming implemented core system call functionalities within the Zircon microkernel reimplementation. Their primary focus was on implementing signal handling, including `tkill`, `tgkill`, and `rt_sigreturn` system calls. These changes involved modifying the signal-related structures and integrating them with the existing thread and process management components. Further contributions include enhancements to the kill system calls.
microkernelrustzirconembeddedreimplement
OSLab-zCore/OSLab-Docs
Mar 2022 - Jun 2022
Contributions:42 commits, 32 pushes in 2 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.