David Vernet
Core Systems Software Engineer at Meta
Chicago, Illinois, United States
Summary
🤩
Rockstar🎓
Top SchoolDavid Vernet is a core systems software engineer with 12 years of experience focusing on Linux kernel internals, scheduling, BPF, RCU, and livepatching, currently on the Linux kernel team at Meta. He previously led core systems services at Meta Reality Labs and built foundational virtualization and kernel work at VMware, blending deep platform engineering with production reliability. A co-chair of the IETF BPF standardization effort, he contributes to high-profile open source like Facebook's folly (notably RCU primitives) and co-created the JCoz performance tool. David pairs rigorous academic training from Carnegie Mellon with practical systems craftsmanship, runs a technical blog (Byte Lab), and enjoys teaching and deep technical discussions. Based in Chicago, he brings a rare mix of specification-level influence, hands-on kernel hacking, and leadership across large-scale systems projects.
12 years of coding experience
4 years of employment as a software developer
School of Continuing Education, Computer Science, A-, School of Continuing Education, Computer Science, A- at Columbia University in the City of New YorkThe University of Maryland, College ParkHigh School Diploma, 3.8, High School Diploma, 3.8 at Walter Johnson High SchoolMaster of Science (M.S.), Computer Science, Master of Science (M.S.), Computer Science at Carnegie Mellon University
English, French, Hebrew, Spanish
Github Skills (6)
c-language10
cprogramming-language10
multithreading10
concurrency10
testing10
memory-management9
Programming languages (9)
Github contributions (5)
facebook/folly
Mar 2022 - Aug 2022
An open-source C++ library developed and used at Facebook.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:20 commits in 5 months
Contributions summary:David primarily contributed to the folly library, focusing on the Read-Copy-Update (RCU) synchronization primitives. Their work involved adding new APIs, such as `rcu_synchronize`, to align with the C++ Concurrency Technical Specification 2 standard. They also deprecated and removed older functions like `synchronize_rcu`. Furthermore, they modified and extended the RCU stress tests, incorporating features like concurrent updater threads and nested reader tests, to ensure the robustness of the RCU implementation.
facebookcppc-library
Byte-Lab/JCoz
Mar 2016 - Oct 2019
JCoz -- A Java causal profiler
Contributions:86 commits, 26 PRs, 63 pushes in 3 years 7 months
javacausal
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.