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

	Formal Specification of an Erase Block Management Layer for Flash Memory ? J¨ org Pf¨ ahler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif DocID: 1xUfd - View Document
	Implicit Ownership Types for Memory Management Tian Zhaoa,∗ , Jason Bakerb , James Huntc , James Nobled , Jan Vitekb,∗ a University of Wisconsin – Milwaukee, USA University, West Lafayette, USA DocID: 1vpbl - View Document
	CMCP: A Novel Page Replacement Policy for System Level Hierarchical Memory Management on Many-cores Balazs Gerofi† , Akio Shimada‡ , Atsushi Hori‡ , Takagi Masamichi§ , Yutaka Ishikawa†,‡ † Graduate School DocID: 1voJ5 - View Document
	Origins of Spurious Long Memory∗ Christian Leschinski and Philipp Sibbertsen1 Institute of Statistics, Faculty of Economics and Management, Leibniz University Hannover, Germany Abstract DocID: 1vmUy - View Document
	Partially Separated Page Tables for Efficient Operating System Assisted Hierarchical Memory Management on Heterogeneous Architectures Balazs Gerofi∗ , Akio Shimada∗ , Atsushi Hori∗ and Yutaka Ishikawa∗† ∗ DocID: 1vhWc - View Document