PLDI 2012 | Programming Language Design and Implementation — 11–16 June, Beijing