Marcos Kawazoe Aguilera David G. Andersen Deepavali Bhagwat Andrew Birrell Michael Burrows Peter Camble Vinay Deolalikar Sameh Elnikety Kave Eshghi Cormac Flanagan Philippe Golle Robert Harper Michael Isard Minwen Ji K. Rustan M. Leino Kevin Leyton-Brown Xiaozhou Li John MacCormick Timothy Mann Ilya Mironov Greg Nelson Erwin Oertli James B. Saxe Raymie Stata Chandramohan A. Thekkath Greg Trezis