Difference between revisions of "TACL Seminar"

From CSWiki
Jump to: navigation, search
m (Fall '06 Schedule)
m (Fall '06 Schedule)
Line 27: Line 27:
 
! Date !! Speaker !! Title !! Links
 
! Date !! Speaker !! Title !! Links
 
|-  
 
|-  
| Sep 27 || [http://www.cs.princeton.edu/~ljia/ Limin Jia] || Linear Logic and Imperative Programming || Abstract / Paper / Slides
+
| Sep 27 || [http://www.cs.princeton.edu/~ljia/ Limin Jia] || Linear Logic and Imperative Programming || [[ TACL_Seminar#Limin_Jia | Abstract ]]
 
|-
 
|-
 
| Oct 13 || align="center" colspan="3" | [http://www.cs.nyu.edu/acsys/xnever/ Northeastern Verification Seminar (X-NEVER)]
 
| Oct 13 || align="center" colspan="3" | [http://www.cs.nyu.edu/acsys/xnever/ Northeastern Verification Seminar (X-NEVER)]

Revision as of 11:52, 26 September 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

Date Speaker Title Links
Sep 27 Limin Jia Linear Logic and Imperative Programming Abstract
Oct 13 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

Previous Seminars

Abstracts