Boqun Feng

Software Engineer

United States13 yrs 7 mos experience

Highly Stable

Key Highlights

Expert in Linux kernel development and formal verification.
Keynote speaker at major Linux conferences.
Contributed to significant Linux kernel projects.

Stackforce AI infers this person is a Backend-heavy Infrastructure Engineer with deep expertise in Linux kernel development.

Contact

Skills

Other Skills

Rust (Programming Language)Linux KernelC++COperating SystemsSystem ProgrammingAlgorithmsComputer ArchitectureOpen SourceDiscrete MathematicsVirtualizationLLVMHaskellSchemeParallel Programming

About

Interested in system programming (Operating system kernels, Libraries). Linux kernel maintainers on locking, RCU, atomic, memory model and Rust. Believe that type-system/formal-verification can improve the development of OS: involved in development of the formal tool for memory orderings (herdtools), and learn TLA+, Coq as hobbies.

Experience

13 yrs 7 mos

Total Experience

3 yrs 2 mos

Average Tenure

9 mos

Current Experience

Netflix

Software Engineer

Aug 2025 – Present · 9 mos · Los Gatos, California, United States

Microsoft

2 roles

Senior Software Engineer

Jun 2022 – Aug 2025 · 3 yrs 2 mos

Senior Software Engineer

Jul 2019 – Jun 2022 · 2 yrs 11 mos

Highlights:
Recursive read-lock detection support for lockdep

Huawei technologies

Software Engineer

Apr 2018 – Jul 2019 · 1 yr 3 mos · Shanghai City, China

Intel corporation

Software Engineer

Apr 2017 – Apr 2018 · 1 yr · Shanghai City, China

Ibm

2 roles

Staff Software Engineer

Promoted

Jul 2016 – Mar 2017 · 8 mos · Shanghai

Software developer at LTC(Linux Technology Center), working on Linux kernel: scheduler, locking, RCU, filesystem, etc.
Highlights:
Linux Kernel rcutorture script support on PowerPC
Co-author of Linux Kernel Memory Model: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0124r2.html
Keynote speaker in China Linux Kernel Developer Conference 2016 (Topic: Linux Kernel Memory Ordering Model)
Nominated as a co-maintainer for atomic operations in Linux Kernel
PowerPC support for restartable sequence(a system call designed for scalability)

Software Engineer

Jan 2014 – Jul 2016 · 2 yrs 6 mos · Shanghai

Software developer at LTC(Linux Technology Center), working on Linux kernel: scheduler, locking, RCU, filesystem, etc.
Highlights:
Selftests for atomic operation variants in Linux kernel
Atomic operation variants in Linux kernel for PowerPC architecture
A prototype for tracing RCU dereference and critical sections.
Introduce a new modifer "__private" into Linux kernel.

Microsoft

SDE Intern

Jul 2013 – Sep 2013 · 2 mos · Shanghai City, China

Took part in developing a prototype for virtualization management software.
Developed a host-and-VM monitoring module using F# and Azure storage.

Intel corporation

SDE Intern

Nov 2010 – Jun 2013 · 2 yrs 7 mos · Shanghai City, China

Bug fixing in libva for h264 decoding on Intel g45 graphic card,
Bug fixing in Linux kernel about interrupt handle in Intel graphic driver.
Compiler development of beignet, an OpenCL implementation on Intel graphics card.