Feedback Directed Optimization for OCaml
Greta Yorsh ( Jane Street )
- 13:00 17th November 2022 ( week 6, Michaelmas Term 2022 )Lecture Theatre A - Wolfson building
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!
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:
