Members

  Home TAL Overview Papers Software Members Related Projects

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