|
Sunday 21 October
|
|
09:15
|
09:30
|
Welcome
|
|
slides
|
09:30
|
10:30
|
Keynote: Separation
Logic and Concurrent Resource Management
|
Peter O'Hearn
|
|
10:30
|
11:00
|
Coffee Break
|
|
slides
|
11:00
|
11:30
|
Safe Manual Memory Management
|
David Gay, Robert Ennals, & Eric Brewer
|
|
11:30
|
12:00
|
Detecting and Eliminating Memory Leaks Using Cyclic
Memory Allocation
|
Huu
Hai Nguyen & Martin Rinard
|
|
12:00
|
13:30
|
Lunch
|
|
slides
|
13:30
|
14:00
|
PATH: Page Access Tracking to Improve Memory
Management
|
Reza Azimi,
Livio Soares,
Michael Stumm, Angela Demke
Brown, & Tom Walsh
|
slides
|
14:00
|
14:30
|
Effective Prefetch for
Mark-Sweep Garbage Collection
|
Robin Garner, Stephen Blackburn,
& Daniel Frampton
|
slides
|
14:30
|
15:00
|
Accordion Arrays: Selective Compression of
Unicode Arrays in Java
|
Craig Zilles
|
|
15:00
|
15:30
|
Coffee Break
|
|
slides
|
15:30
|
16:00
|
Decrypting the Java Gene Pool: Predicting Object
Lifetimes with Micro-Patterns
|
Sebastien
Marion, Richard
Jones, & Chris Ryder
|
slides
|
16:00
|
16:30
|
Allocation-Phase Aware Scheduling Policies to Improve
Garbage Collection Performance
|
Feng
Xian, Witawas Srisa-an,
& Hong Jiang
|
slides
|
16:30
|
17:00
|
Intelligent Selection of Application-Specific Garbage
Collectors
|
Jeremy Singer, Gavin
Brown, Ian Watson, & John Cavazos
|
|
Monday, 22 October
|
slides
|
09:00
|
10:00
|
Keynote: NVIDIA
CUDA Software and GPU Parallel Computing Architecture
|
David Kirk
|
|
10:00
|
10:30
|
Coffee Break
|
|
slides
|
10:30
|
11:00
|
Heap Space Analysis for Java Bytecode
|
Elvira
Albert, Samir
Genaim, & Miguel Gomez-Zamalloa
|
|
11:00
|
11:30
|
Uniqueness Inference for Compile-Time Object Deallocation
|
Sigmund Cherem & Radu
Rugina
|
slides
|
11:30
|
12:00
|
A Correct and Useful Incremental Copying Garbage
Collector
|
Martin Kero, Johan Nordlander, & Per Lindgren
|
|
12:00
|
13:30
|
Lunch
|
|
|
13:30
|
15:00
|
Wild and Crazy Ideas
|
Moderated
by Trishul Chilimbi
|
|
15:00
|
15:30
|
Coffee Break
|
|
slides
|
15:30
|
16:00
|
Overlooking Roots: A Framework for Making Nondeferred Reference-Counting Garbage
Collection Fast
|
Pramod
Joisha
|
slides
|
16:00
|
16:30
|
Stopless: A Real-Time
Garbage Collector for Modern Platforms
|
Filip
Pizlo, Daniel Frampton, Erez
Petrank, & Bjarne
Steensgaard
|
slides
|
16:30
|
17:00
|
Mark-Sweep or Copying? A "Best of Both Worlds"
Algorithm and a Hardware-Supported Real-Time Implementation
|
Sylvain
Stanchina & Matthias Meyer
|
