These people work on Typed Assembly language and related typed intermediate languages.
Karl Crary
Neal Glew
Dan Grossman
Greg Morrisett
Richard Samuels
Frederick Smith
David Walker
Stephanie Weirich
Steve Zdancewic