Difference between revisions of "TACL Seminar"

From CSWiki
Jump to: navigation, search
m (Previous Schedules)
m (Potential Topics)
Line 1: Line 1:
 
==Potential Topics==
 
==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 & language design, programming language semantics or language-based security.
+
* 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  
 +
*language-based security.
  
 
==Time/Location==
 
==Time/Location==

Revision as of 14:39, 15 August 2006

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 & 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


Previous Schedules