Simon Hughes

Memory Management with Stephen Dolan

Stephen Dolan, KC Sivaramakrishnan, Ron Minsky, Mark Mandelmann, Simon Hughes, Matt Sullivan, Mark Blyther, Paul Lewisohn, Simon Verstraeteker

Stephen Dolan discusses advanced optimizations in the OCaml language, detailing how generational, incremental garbage collection and software pre-fetching reduce memory access latency by up to 90%. He introduces local types and unboxed representations to enable safe stack allocation and native memory layouts, thereby eliminating heap overhead for temporary values while maintaining automatic memory safety without manual lifetime annotations. The presentation concludes with a roadmap for integrating multi-core garbage collection and lifting GC barriers to support denser data structures, balancing performance with ergonomic simplicity.