Insert Logo HereThe 2013 ACM SIGPLAN International Symposium on Memory Management (ISMM 2013)

Seattle, Washington, June 20th 2013

ISMM Program

All talks will take place in the Seattle 1 hall.

8:00 - 9:00 Breakfast in the Belltown Foyer on the 4th floor.  
8:45 - 9:00 Chairs Welcome  
9:00 - 10:00

Keynote (session chair: Erez Petrank)

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

The talk slides are now available here.

10:00 - 10:20 Coffee Break  
10:20 - 12:00

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


12:00 - 13:30 Lunch
13:45 - 15:00

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


15:00 - 15:30 Coffee Break  
15:30 - 17:10

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


Best Student Presentation Award

The best student presentation award was given to Nathan Ricci, for his presentation of the paper "Elephant Tracks: Portable Production of Complete and Precise GC Traces".