A Verified Generational Garbage Collector for CakeML Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes ˚ Aman Pohjola Chalmers University of Technology, Sweden

First Page		Document Content
Date: 2017-07-03 06:09:00 Computing Software engineering Memory management Computer programming Pointer Garbage collection Heap C dynamic memory allocation Region-based memory management Go Garbage Sort		A Verified Generational Garbage Collector for CakeML Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes ˚ Aman Pohjola Chalmers University of Technology, Sweden Add to Reading List Source URL: cakeml.org Download Document from Source Website File Size: 407,07 KB Share Document on Facebook

	REGION-BASED MEMORY MANAGEMENT FOR EXPRESSIVE GPU PROGRAMMING Eric Holk Submitted to the faculty of the University Graduate School DocID: 1tJGL - View Document
	Region-Based Memory Management in Cyclone ∗ Dan Grossman Michael Hicks Greg Morrisett Trevor Jim† DocID: 1sVGD - View Document
	ACDC: Towards a Universal Mutator for Benchmarking Heap Management Systems Martin Aigner Christoph M. Kirsch DocID: 1qR0e - View Document
	Region-based Memory Management for GPU Programming Languages Enabling Rich Data Structures on a Spartan Host Andrew Lumsdaine Ar DocID: 1pFko - View Document
	REGION-BASED MEMORY MANAGEMENT FOR EXPRESSIVE GPU PROGRAMMING Eric Holk Submitted to the faculty of the University Graduate School DocID: 1pnvi - View Document