ISMM 13 Proceedings of the ACM SIGPLAN International Symposium on Memory Management