Michael Barnett John Tang Boyland Dave Clarke Agostino Cortesi Manuel Fähndrich Pietro Ferrara Peli de Halleux Vincent Laviron Gary T. Leavens K. Rustan M. Leino Doron Peled Marco Pistoia Arnd Poetzsch-Heffter Nikolai Tillmann Songtao Xia Lenore D. Zuck