Brian E. Aydemir Steve Bishop Aaron Bohannon Nate Foster Michael Norrish Benjamin C. Pierce Peter Sewell Michael Smith Dimitrios Vytiniotis Keith Wansbrough Geoffrey Washburn Stephanie Weirich Steve Zdancewic