Difference between revisions of "TACL Seminar"
From CSWiki
m (→Potential Topics) |
m (→Potential Topics) |
||
| Line 1: | Line 1: | ||
==Potential Topics== | ==Potential Topics== | ||
| − | * Compilers | + | * 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 and language design, |
| − | * | + | * Programming language semantics |
| − | * | + | * Language-based security. |
==Time/Location== | ==Time/Location== | ||
Revision as of 14:41, 15 August 2006
Contents
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 and language design,
- Programming language semantics
- Language-based security.
Time/Location
TBA
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
TBA
