Martín Abadi
Computer Science Department
Baskin Engineering Building
University of California at Santa Cruz
Santa Cruz, CA 95064
and
Microsoft Research, SVC
1065 L'Avenida
Mountain View, CA 94043
abadi@cs.ucsc.edu