newsfilter.io

Latest Interviews

Showing 1–1 of 1 transcripts.

Clear all filters
  1. Jane Street47 min

    Making OCaml Safe for Performance Engineering

    Mark

    Jane Street's research introduces a suite of OCaml extensions featuring unboxed types and stack allocation to eliminate memory waste and garbage collection overhead in performance-critical applications. These innovations expand into a static mode system that guarantees data race freedom for parallel execution by enforcing lifetime and portability constraints without explicit annotations. Currently deployed in production for memory management features and undergoing beta testing for concurrency safety, this work aims to integrate into mainline OCaml while earning a POPL award for its formal verification of race freedom.