Martín Abadi
Microsoft Research Silicon Valley
1065 La Avenida Mountain View, CA 94043 USA +1 650 693 1085
Papers
Other contact information (at UCSC)
Various other links