Glenn Ammons Karthikeyan Bhargavan Gavin M. Bierman Jong-Deok Choi Brian J. Corcoran Cédric Fournet Andrew D. Gordon Dan Grossman Manish Gupta Ken Hennacy Michael W. Hicks Trevor Jim J. Gregory Morrisett Don Perlis James Rose Stephen Tse Steve Zdancewic