Skip to main content

Feedback Directed Optimization for OCaml

Greta Yorsh ( Jane Street )

OCamlFDO is a tool that uses information about frequently-executed program parts to guide compile-time optimization decisions. Code layout optimization is a classic example of why this information is useful, how hardware and compilers interact, and how (not to) measure performance.
In this talk we will explore the design of OCamlFDO and how it was influenced by practical needs to fit in with different built systems, developers' workflows, and the open-source compiler itself.

Register for the event here and choose your Jane Street T-Shirt size!

https://docs.google.com/forms/d/e/1FAIpQLSfBt4CyRya7aF1wPdnlr0nDsOkYqZ0f90mffm8-sJa2oU0cPg/viewform?usp=sf_link

 

 

Speaker bio

Greta Yorsh works on OCaml compiler here at Jane Street, having previously worked on GCC compiler at ARM. She is passionate about low-level optimizations that present the combined challenges of ensuring correctness and achieving the best possible performance on modern hardware. She studied Computer Science in Tel Aviv University, and has been involved in several academic and industrial research projects in the areas of software verification, program synthesis and superoptimization.

 

 

Share this: