Coming Up‎ > ‎

June meetup - 05/06/2012

posted 26 Sep 2012, 08:28 by Ed Lambda
Speaker: Jeremy Singer, University of Glasgow
Title: Controlling Heap Size in Poly/ML
Typical theorem-proving workloads on the Poly/ML [1] runtime system
may execute for several hours, occupying multi-gigabyte heaps.
The heap size may be fixed at execution startup time, or it may be
allowed to vary dynamically. To date, runtime heap size growth
has been implemented using simple hard-coded heuristics.
In this talk, I will argue that a mathematically rigorous approach
to heap sizing, based on control theory, is more appropriate.

1 -