Home / PLDI, Beijing, June 2012