Program

Saturday June 5

08:50-09:00 Welcome. Chair Doug Lea (SUNY Oswego)

9:00-10:00 Memory safety. Chair Martin Hirzel (IBM)

CETS: Compiler Enforced Temporal Safety for C.
Santosh Nagarakatte, Jianzhou Zhao, Milo Martin, and Steve Zdancewic (University of Pennsylvania)
Parallel Checking of Expressive Heap Assertions.
Martin Vechev, Eran Yahav, and Greta Yorsh (IBM)

10:30-12:00 Parallel Garbage Collection. Chair Richard Jones (University of Kent)

Tracing Garbage Collection on Highly Parallel Platforms.
Katherine Barabash and Erez Petrank (Technion)
Concurrent, Parallel, Real-Time Garbage-Collection.
Fridtjof Siebert (aicas)
Optimizations in a Private Nursery-based Garbage Collector.
Todd Anderson (Intel)

13:30-15:00 Memory Management Techniques. Chair Christine Flood (Sun Labs, Oracle)

Collecting Hollywood's garbage: Avoiding space-leaks in composite events.
Tomas Petricek (Charles University) and Don Syme (Microsoft)
Speculative Parallelization Using State Separation and Multiple Value Prediction.
Chen Tian, Min Feng, and Rajiv Gupta (University of California at Riverside)
The Locality of Concurrent Write Barriers.
Laurence Hellyer, Richard Jones (University of Kent) and Antony Hosking (Purdue)

15:30-16:30 Invited talk. Chair Jan Vitek (Purdue)

Memory, an Elusive Abstraction.
Peter Sewell (Cambridge University)

Sunday June 6

09:00-10:00 Instrumentation and Evaluation. Chair Martin Vechev (IBM)

Improved Replication-Based incremental Garbage Collection for Embedded Systems.
Tomoharu Ugawa, Hideya Iwasaki (The University of Electro-Communications), and Taiichi Yuasa (Kyoto University)
Efficient Memory Shadowing for 64-bit Architecture.
Qin Zhao (MIT), Derek Bruening (VMWare), and Saman Amarasinghe (MIT)

10:30-12:00 Wild And Crazy Ideas. Chair Filip Pizlo (Fiji Systems)

This session is a fun and informal forum for discussion of interesting ideas in the area of memory management. Presenters are given just 4 minutes in which to present their idea and 1 minute to take questions. Prizes are awarded for the idea most crazy and the one most worthy of implementation. Contact pizlo@mac.com to reserve a slot.

13:30-15:00 Analysis. Chair Matthew Hertz (Canisius College)

Parametric Inference of Memory Requirements for Garbage Collected Languages.
Elvira Albert, Samir Genaim, and Miguel Gomez-Zamalloa (Complutense University of Madrid)
A Graph Theoretic Approach to Cache-Conscious Placement of Data for Direct Mapped Caches.
Mirza Beg and Peter van Beek (University of Waterloo)
The Economics of Garbage Collection.
Jeremy Singer (University of Manchester), Richard Jones (University of Kent), Gavin Brown, and Mikel Lujan (University of Manchester).