Difference between revisions of "TACL Seminar"
m (→Previous Schedules)
m (→Potential Topics)
|Line 1:||Line 1:|
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
domain-specific programming languages,
program logics, or logics in general,
software engineering & language design,
programming language semantics
Revision as of 14:39, 15 August 2006
- 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