Frédéric Dalleau
Senior Software Engineer at Docker, Inc
Montpellier, Occitania, France
Summary
🤩
Rockstar🎓
Top SchoolFrédéric Dalleau is a senior C/C++ software engineer based in Montpellier with over two decades of hands-on experience and five years in senior roles, currently building core infrastructure at Docker. He brings deep expertise in Linux, embedded systems, networking and virtualization, having worked on Android/Tizen graphics and kernel-level networking at Intel and as a consultant for Collabora and Seclab. Frédéric is a careful, security-minded developer — his open-source contributions to the widely used hyperkit project fixed critical function-pointer and uninitialized memory bugs that improved stability and mitigated potential vulnerabilities. Comfortable across kernel and userland code, he blends low-level systems rigor with practical product-focused delivery.
5 years of coding experience
19 years of employment as a software developer
Master 1, Computer Science, Master 1, Computer Science at Université de la RéunionMSc, Computer Science, MSc, Computer Science at Université de Rennes I
English, French
Github Skills (13)
c1710
hyper10
hypervisor10
memory-management10
c1110
hyper-v10
virtio10
debug9
pci9
embedded8
sys8
docker4
dockers4
Programming languages (7)
Github contributions (5)
moby/hyperkit
Jun 2021 - Sep 2021
A toolkit for embedding hypervisor capabilities in your application
Role in this project:
Back-end Developer
Back-end DeveloperContributions:2 reviews, 5 commits, 2 PRs in 3 months
Contributions summary:Frédéric primarily focused on fixing critical bugs related to function pointer dereferences and uninitialized memory usage within the `hyperkit` project. These fixes address potential security vulnerabilities and stability issues. Their contributions involved modifying code in the `virtio` and `pci_virtio_rnd` and `pci_virtio_sock` modules to resolve these memory-related problems. They also fixed an assertion that was incorrectly functioning as an assignment, potentially affecting the integrity of data validation.
capabilitieshypervisorembedding
fredericdalleau/linuxkit
Mar 2021 - Jun 2022
A toolkit for building secure, portable and lean operating systems for containers
Contributions:73 pushes, 9 branches in 1 year 3 months
containerssecureoperating-systemslinuxdocker
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.