Fred Blau Kenneth Cline Karl Crary Patrice Godefroid Robert Harper Lalita Jategaonkar Jagadeesan Radha Jagadeesan Konstantin Läufer Peter Lee George C. Necula Frank Pfenning Mark Plesko Carlos Puchol