Difference between revisions of "TACL Seminar"

From CSWiki
Jump to: navigation, search
m (Potential Topics)
m (Potential Topics)
Line 1: Line 1:
 
==Potential Topics==
 
==Potential Topics==
  
* Compilers,
+
* Compilers
* program optimization,
+
* Program optimization
* program analysis,
+
* Program analysis
* compiler-hardware interfaces,
+
* Compiler-hardware interfaces
* run-time systems,
+
* Run-time systems
* virtual machines,
+
* Virtual machines
* type systems,
+
* Type systems
* domain-specific programming languages,
+
* Domain-specific programming languages
* program logics, or logics in general,  
+
* Program logics, or logics in general,  
*software engineering & language design,  
+
* Software engineering and language design,  
* programming language semantics  
+
* Programming language semantics  
*language-based security.
+
* Language-based security.
  
 
==Time/Location==
 
==Time/Location==

Revision as of 14:41, 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 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


Previous Schedules