Conference paper
Programming by sketching for bit-streaming programs
Armando Solar-Lezama, Rodric Rabbah, et al.
PLDI 2005
Traditional mark and sweep garbage collectors use time proportional to the heap size when sweeping memory, since all objects in the heap, dead or alive, must be traversed. Here we introduce a sweeping algorithm which traverses only the live objects. Since this sweeping algorithm is slower when the heap occupancy is high, we also discuss how to avoid this slowdown by using an adaptive algorithm. Copyright © 2004 John Wiley & Sons, Ltd.
Armando Solar-Lezama, Rodric Rabbah, et al.
PLDI 2005
Suhyun Kim, Soo-Mook Moon, et al.
IEICE Transactions on Information and Systems
Uwe Schwiegelshohn, Franco Gasperoni, et al.
Journal of Parallel and Distributed Computing
Soo-Mook Moon, Kemal Ebcioǧlu
ACM TOPLAS