Compiler Optimization with Greta Yorsh

Jane Street compiler engineer Greta Jorsch presents a strategic shift toward combining formal verification with targeted testing and super optimization to address the undecidability limits of pure verification in compiler design. Her team's implementation of sampling-based Feedback-Directed Optimization in the OCaml compiler achieved 10–20% performance gains by stabilizing runtime behavior and minimizing cache misses while managing the trade-off between portability and architecture-specific micro-optimizations. Jorsch advocates for open-sourcing these performance tooling benchmarks to influence upstream development, emphasizing that modular compiler passes can balance internal innovation with community maintainability.