Difference between revisions of "TACL Seminar"
From CSWiki
m (→Fall '06 Schedule) |
m (→Fall '06 Schedule) |
||
| Line 28: | Line 28: | ||
|- | |- | ||
| Sep -- || TBA || TBA || Abstract / Paper / Slides | | Sep -- || TBA || TBA || Abstract / Paper / Slides | ||
| + | |- | ||
| + | | Oct 13 || align="center" colspan="3" | [http://www.cs.nyu.edu/acsys/xnever/ Northeastern Verification Seminar (X-NEVER) | ||
|- | |- | ||
| Oct 19 || align="center" colspan="3" | [http://www.cis.upenn.edu/~stevez/njpls/ New Jersey Programming Languages and Systems Seminar (NJPLS)] | | Oct 19 || align="center" colspan="3" | [http://www.cis.upenn.edu/~stevez/njpls/ New Jersey Programming Languages and Systems Seminar (NJPLS)] | ||
Revision as of 16:42, 25 September 2006
Welcome to the Tool and Algorithms for Compilers and Languages (TACL) Seminar of the Computer Science department of Princeton University.
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.
Fall '06 Schedule
| Date | Speaker | Title | Links |
|---|---|---|---|
| Sep -- | TBA | TBA | Abstract / Paper / Slides |
| Oct 13 | [http://www.cs.nyu.edu/acsys/xnever/ Northeastern Verification Seminar (X-NEVER) | ||
| Oct 19 | New Jersey Programming Languages and Systems Seminar (NJPLS) | ||
| Nov 13 | Stevens / Columbia / IBM Research - Security and Privacy Day | ||
