PLDI'16 proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - Krintz, Chandra 1970-; Berger, Emery (Association for Computing Machinery, 2016)