Xavier Denis
Software Engineer at turbopuffer
Contact Info
Other
Summary
🤩
Rockstar🎓
Top SchoolXavier Denis is a software engineer and researcher with 14 years' experience building reliable, correctness-focused systems from production-scale infrastructure to verified software. He helped Shopify migrate to a podded architecture as an SRE using programming-language insights, and his PhD work produced Creusot, showing verifiability need not sacrifice performance. Xavier gravitates toward systems with tight correctness guarantees—databases, kernels, solvers and servers—while keeping continuous delivery and uptime paramount. An active open-source contributor, he has implemented CRDTs in Rust and improved GHC/GHCi tooling and proposals, blending practical engineering with deep PL expertise. Colleagues find him comfortable straddling rigorous research and pragmatic production improvements, reducing bug surface through language design, verification, and tooling.
14 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Université Paris-SaclayBachelor of Science (BS) Honours Computer Science, Bachelor of Science (BS) Honours Computer Science at McGill University
French, English
Github Skills (30)
algorithm10
algorithms10
kubernetes10
restructuredtext10
rs10
distributed-systems10
kubectl10
crdt10
data-structure10
cicd10
type-system10
automation10
automation-testing10
kubernetes-pods10
ghc10
Programming languages (18)
Github contributions (5)
Shopify/krane
Mar 2017 - Jun 2017
A command-line tool that helps you ship changes to a Kubernetes namespace and understand the result
Role in this project:
DevOps Engineer
DevOps EngineerContributions:14 commits, 11 PRs, 85 pushes in 3 months
Contributions summary:Xavier focused on enhancing the deployment workflow and adding automation capabilities within the Kubernetes environment. Their contributions include the addition of a task runner for triggering one-off jobs, and improvements to the Kubernetes resource handling, including the use of `kubectl` commands for various resource types. They made modifications to integrate Google Cloud authentication for enhanced security and improved versioning to the project, showing a focus on improving the reliability and functionality of the deployment process.
command-line-toolkubernetes-namespacekubernetesdeploy-tool
rust-crdt/rust-crdt
Apr 2020 - Apr 2020
a collection of well-tested, serializable CRDTs for Rust
Role in this project:Back-end Developer
Back-end DeveloperContributions:10 commits, 2 PRs, 51 comments in 19 days
Contributions summary:Xavier primarily contributed to the implementation and refinement of CRDT (Conflict-free Replicated Data Type) data structures within the Rust-based repository. They focused on the `LSEQ` and `VVwE` components, demonstrating skills in distributed systems concepts. Key modifications include making the `LSEQ` type generic, and adding a `VVwE` (Version Vector with Exceptions) implementation.
rustserializablecrdtdistributed-systemsserialization
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.