Building the Xen toolstack using OCaml / Nov 2010
Talk on building the Xen toolstack using OCaml at ICFP 2010. This was one of the early talks that helped establish OCaml as a viable language for systems programming. We shared our experiences rewriting parts of the Xen hypervisor toolstack in OCaml, demonstrating that functional programming could deliver the performance, reliability, and safety needed for critical infrastructure software. The work laid the groundwork for MirageOS and showed that you could build high-performance systems software with strong type safety. It was exciting to show the functional programming community that OCaml wasn't just for compilers and theorem provers - it could handle real systems work.