- program optimization,
- program analysis,
- compiler-hardware interfaces,
- run-time systems,
- virtual machines,
- type systems,
- domain-specific programming languages,
- program logics, or logics in general,
- software engineering & language design,
- programming language semantics
- language-based security.
Seminars are also announced on the TACL mailing list. If you are giving a talk, send your abstract to the list a day or so in advance.
Schedule for Fall '06