Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation - Vitek, Jan (Association for Computing Machinery, 2012)