TACL Seminar

From CSWiki
Revision as of 14:39, 15 August 2006 by Ddantas (talk | contribs) (Potential Topics)

Jump to: navigation, search

Potential Topics

  • Compilers,
  • 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.



Mailing List

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


Previous Schedules