… has won awards including ACM SIGSOFT Outstanding Dissertation Award, SIGPLAN PLDI …

… , ECOOP, Coordination and TOOLS. He was the general chair of PLDI (in Beijing …, JTRES, ICFP, OOPLSA, POPL, PLDI, LCTES, ESOP. …

… has served as both Program Chair (1999) and General Chair (2010) of the PLDI …