Juan Chen Derrick Coetzee Jeremy Condit Jeffrey S. Fischer Dimitra Giannakopoulou Chris Hawblitzel Ranjit Jhala Eddie Kohler Rupak Majumdar Corina S. Pasareanu Frances Perry Polyvios Pratikaki Koushik Sen