Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Martín Abadi's home page at UC Santa Cruz
[go: Go Back, main page]

Martín Abadi

Contact information

Papers by subject

A book: A Theory of Objects

Some future conferences:

  • ACM CCS 2007
  • IEEE Symposium on Logic in Computer Science

    Some journals:

  • Logical Methods in Computer Science
  • Information and Computation
  • Journal of the ACM
  • ACM Transactions on Programming Languages and Systems

    A magazine:

  • IEEE Security & Privacy

    Miscellaneous records:

  • Some courses
  • A workshop: Workshop on security and languages (October 1997)

    Information for prospective students. (Please see this before sending me e-mail on admissions.)

    Martín Abadi