Proceedings of the 2012 international symposium on Memory Management - Vechev, Martin (Association for Computing Machinery, 2012)