Keynote (session chair: Erez Petrank)

Safety-first Approach to Memory Consistency Models.
Madan Musuvathi, Microsoft Research

The talk slides are now available here.

GC, Runtime & Cache (chair: Michael Bond)

• Towards Hinted Collection.
  Philip Reames, George Necula.
• Adaptive Scanning Reduces Sweep Time for the Lisp2 Mark- Compact Garbage Collector.
  Kazuya Morikawa, Tomoharu Ugawa, Hideya Iwasaki.
• Control Theory for Principled Heap Sizing.
  David White, Jeremy Singer, Jon Aitken, Richard Jones
  
• Pacman: Program-Assisted Cache Management.
  Xiaoming Gu, Bin Bao, Jacob Brock, Chen Ding

Debugging & Benchmarking (chair: Eliot Moss)

• Generating Sound and Effective Memory Debuggers.
  Yan Wang, Iulian Neamtiu, Rajiv Gupta
• Rigorous Benchmarking in Reasonable Time.
  Tomas Kalibera, Richard Jones
• ACDC: Towards a Universal Mutator for Benchmarking Heap Management Systems.
  Martin Aigner, Christoph M. Kirsch

Analysis, Design & Tools (chair: David Detlefs)

• Precise and Scalable Context-Sensitive Pointer Analysis via Value Flow Graph.
  Lian Li, Cristina Cifuentes, Nathan Keynes
  
• Analyzing Memory Ownership Patterns in C Libraries.
  Tristan Ravitch, Ben Liblit
• Elephant Tracks: Portable Production of Complete and Precise GC Traces.
  Nathan Ricci, Samuel Guyer, Eliot Moss
• The Bloat-Aware Design for Big Data Applications.
  Yingyi Bu, Vinayak Borkar, Guoqing Xu, Michael Carey