Bo Chen
Senior Staff Software Engineer at Crusoe
Portland, Oregon, United States
Summary
🤩
Rockstar🎓
Top SchoolBo Chen is a Senior Staff Software Engineer and Ph.D. in Computer Science with a decade of experience building and hardening large-scale systems, specializing in fuzzing, symbolic/concolic execution, Linux kernel development, and virtualization. He has driven core features and reliability improvements in high-profile open-source projects like Cloud Hypervisor and Kata Containers, and contributed fuzzers to Google OSS-Fuzz to expand coverage of virtio devices. At Intel he maintained VMM and container runtime components with a security-first focus, and earlier academic work produced CRETE, a binary-level concolic testing framework whose bugs and patches reached mainstream Linux distributions. Bo combines deep low-level expertise in C/C++, LLVM, x86 assembly and kernel internals with practical CI/CD and DevOps skills, and is currently based in Portland, Oregon. An oft-overlooked strength is his ability to take research prototypes into production-ready maintenance, evidenced by patches adopted into long-term supported kernels and widely used virtualization stacks.
10 years of coding experience
12 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, 3.95, Doctor of Philosophy (PhD), Computer Science, 3.95 at Portland State UniversityBachelor's degree, Electrical and Electronics Engineering, Bachelor's degree, Electrical and Electronics Engineering at Wuhan University of Science and Technology
Github Skills (25)
kubernetes10
kvm10
docker10
seccomp10
memory-management10
bash10
system-design10
dockers10
cicd10
virtualization10
kubernetes-pods10
fuzzing10
rust10
fuzz-testing10
testing9
Programming languages (8)
Github contributions (5)
kata-containers/kata-containers
Mar 2020 - Jan 2023
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/
Role in this project:
Back-end & Systems Engineer
Back-end & Systems EngineerContributions:112 reviews, 153 commits, 110 PRs in 2 years 11 months
Contributions summary:Bo primarily contributed to the Kata Containers project by modifying the Cloud Hypervisor (CLH) driver. They implemented features related to the Cloud Hypervisor, including setting up and managing virtual machines and their resources. The user also worked on integrating various functionalities, such as enabling CPU hotplug and block device hotplug within the Kata Containers environment. Their work involved updating the CLH driver, leveraging openAPI knobs, and modifying code related to ACPI and kernel parameters.
firecrackervirtualizationociworkloadvdi
cloud-hypervisor/cloud-hypervisor
Feb 2020 - Jan 2023
A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal compact footprint. Written in Rust with a strong focus on security.
Role in this project:Back-end Developer & System Architect
Back-end Developer & System ArchitectContributions:1185 reviews, 319 commits, 671 PRs in 3 years
Contributions summary:Bo was involved in the development and maintenance of the cloud-hypervisor project, focusing on core functionality related to the virtual machine monitor. The user implemented features for memory management, including the addition of shared memory and hugepage controls, alongside updates to corresponding tests. Furthermore, the user worked on improving the reliability and stability of the project through bug fixes, particularly those related to file descriptor handling, and by refactoring existing codebase for improved code quality. Their work spanned across multiple components of the system, highlighting a strong understanding of the project's architecture.
memorymonitorcompactfirecrackervirtualization
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.