A Retrospective on Region-Based Memory Management

Authors:
Mads Tofte;Lars Birkedal;Martin Elsman;Niels Hallenberg
Affiliations:
The IT University of Copenhagen, Denmark. tofte@itu.dk;The IT University of Copenhagen, Denmark. birkedal@itu.dk;The IT University of Copenhagen, Denmark. mael@itu.dk;The IT University of Copenhagen, Denmark. nh@itu.dk
Venue:
Higher-Order and Symbolic Computation
Year:
2004

Citing 45
Cited 15

Garbage collection can be faster than stack allocation

Information Processing Letters
Polymorphic effect systems

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Algebraic reconstruction of types and effects

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Tag-free garbage collection for strongly typed programming languages

PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Polymorphic type reconstruction for garbage collection without tags

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Implementation of the typed call-by-value λ-calculus using a stack of regions

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Tag-free garbage collection using explicit type parameters

LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Garbage collection for strongly-typed languages using run-time type reconstruction

LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
The type and effect discipline

Information and Computation
Better static memory management: improving region-based analysis of higher-order languages

PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
From region inference to von Neumann machines via region representation inference

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Region-based memory management

Information and Computation
Escape analysis: correctness proof, implementation and experimental results

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Memory management with explicit regions

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
A region inference algorithm

ACM Transactions on Programming Languages and Systems (TOPLAS)
Typed memory management in a calculus of capabilities

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Static interpretation of modules

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Unification and polymorphism in region inference

Proof, language, and interaction
Stratified operational semantics for safety and correctness of the region calculus

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type-preserving garbage collectors

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A region-based memory manager for prolog

Proceedings of the 2nd international symposium on Memory management
A nonrecursive list compacting algorithm

Communications of the ACM
The AED free storage package

Communications of the ACM
Typed memory management via static capabilities

ACM Transactions on Programming Languages and Systems (TOPLAS)
A constraint-based region inference algorithm

Theoretical Computer Science
Language support for regions

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Principled scavenging

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
On regions and linear types (extended abstract)

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Combining region inference and garbage collection

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Region-based memory management in cyclone

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Writing Apache Modules with PERL and C

Writing Apache Modules with PERL and C
Syntactic type soundness results for the region calculus

Information and Computation
Principal type-schemes for functional programs

POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Static prediction of heap space usage for first-order functional programs

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Garbage collection safety for region-based memory management

Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations

ESOP '90 Proceedings of the 3rd European Symposium on Programming
Dynamic Storage Allocation: A Survey and Critical Review

IWMM '95 Proceedings of the International Workshop on Memory Management
Web Programming with SMLserver

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Cyclone: A Safe Dialect of C

ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
A type system for bounded space and functional in-place update

Nordic Journal of Computing
A direct approach to control-flow sensitive region-based memory management

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Ownership types for safe region-based memory management in real-time Java

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Region Analysis and the Polymorphic Lambda Calculus

LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Garbage Collection is Fast, but a Stack is Faster

Garbage Collection is Fast, but a Stack is Faster
Region analysis and a π-calculus with groups

Journal of Functional Programming

Editorial

Higher-Order and Symbolic Computation
Bisimilarity for the Region Calculus

Higher-Order and Symbolic Computation
AGCMemory: a new real-time Java region type for automatic floating garbage recycling

ACM SIGBED Review - Special issue: The second workshop on high performance, fault adaptive, large scale embedded real-time systems (FALSE-II)
Optimistic stack allocation for java-like languages

Proceedings of the 5th international symposium on Memory management
There and Back Again

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Memory management for self-adjusting computation

Proceedings of the 7th international symposium on Memory management
Runtime support for region-based memory management in Mercury

Proceedings of the 7th international symposium on Memory management
Local reasoning about a copying garbage collector

ACM Transactions on Programming Languages and Systems (TOPLAS)
Flattening tuples in an SSA intermediate representation

Higher-Order and Symbolic Computation
Types and trace effects for object orientation

Higher-Order and Symbolic Computation
Static region analysis for mercury

ICLP'07 Proceedings of the 23rd international conference on Logic programming
Typing safe deallocation

ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Shifting the stage: Staging with delimited control

Journal of Functional Programming
There and Back Again

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Enhancing OSGi with real-time Java support

Software—Practice & Experience

Quantified Score

Hi-index	0.00

Visualization

Abstract

We report on our experience with designing, implementing, proving correct, and evaluating a region-based memory management system.