ABOUT

These pages are intended to serve the SPACE community.

BACKGROUND

Since the inception of programming languages increasingly powerful run-time support has been devised for memory management, starting with static memory management, via run-time stacks with explicitly managed heaps and now garbage collection. Correspondingly, harnessing dynamic memory management for predictability, performance, real-time applications, mobility, and distribution has become increasingly more challenging. Highlighted by the advent of region inference in the early 90s, compile-time techniques have been proposed for reasoning about and improving dynamic memory management. Such techniques bear the promise of reducing memory footprints, guaranteeing real-time constraints, meeting resource constraints for embedded devices, etc., and may in the end provide a foundation for the next generation of memory management.

UPDATES

Please send suggestions for updates, comments, or feedback to henglein@diku.dk.

ACKNOWLEDGEMENTS

These pages were originally constructed by Henning Niss.