Difference between revisions of "TACL Seminar"

From CSWiki
Jump to: navigation, search
m (Previous Seminars)
m (Previous Seminars)
Line 29: Line 29:
 
* [[TACL Seminar Fall '05 | Fall '05]]
 
* [[TACL Seminar Fall '05 | Fall '05]]
 
* [[TACL Seminar Spring '05 | Spring '05]]
 
* [[TACL Seminar Spring '05 | Spring '05]]
 +
* [[TACL Seminar Fall '04 | Fall '04]]
 
* [[TACL Seminar Spring '03 | Spring '03]]
 
* [[TACL Seminar Spring '03 | Spring '03]]
 
* [[TACL Seminar Fall '02 | Fall '02]]
 
* [[TACL Seminar Fall '02 | Fall '02]]

Revision as of 03:53, 27 August 2006

Welcome to the Tool and Algorithms for Compilers and Languages (TACL) Seminar of the Computer Science department of Princeton University.

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

TBA

Previous Seminars