TLDI'05 Program

The ACM SIGPLAN Workshop on Types in Language Design and Implementation (Formerly called TIC, The International Workshop on Types in Compilation)
Call for Papers

Colocated with POPL'05
TLDI is a workshop on the role of types in all aspects of language design, compiler construction, and software development. In recent years, type systems and type analyses have led to new concepts in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. In recognition of the expanding role of types, TLDI'03 expanded on the previous Workshops on Types in Compilation (TIC) to bring together researchers to share new ideas and results in this area.

This year the workshop will be January 10th, preceding POPL'05. The workshop will be held at the Hyatt Regency in Long Beach, CA.

Session 1:  8:30am-10:00am
Invited Talk:  Evolution of a Safe Type System for C
Trevor Jim, AT&T Laboratories
Session 2: 10:30am-12:30pm
The Open Verifier Framework for Foundational Verifiers
  Bor-Yuh Chang, Adam Chlipala, George Necula, Robert Schneck
An Open and Shut Typecase
   Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich
Types for Describing Coordinated Data Structures
  Michael Ringenburg, Dan Grossman
Decideable Subclassing-Bounded Quantification
  Juan Chen
Session 3: 2:00pm-3:30pm
Type Inference for Atomicity
  Cormac Flanagan, Stephen Freund, Marina Lifshin
Grammar-Based Analysis of String Expressions
Peter Thiemann
Nonlocal Type Inference
Adam Chlipala, Leaf Petersen, Robert Harper
Session 4: 4:00pm-5:30pm
Automated and Certified Conformance to Responsiveness Policies
Joseph Vanderwaart, Karl Crary
Type-Based Verification of Assembly Language for Compiler Debugging
Bor-Yuh Chang, Adam Chlipala, George Necula, Rober Schneck
Non-Interfaerence for a JVM-like Language
Gilles Barthe, Tamara Rezk

Program chair: Manuel Fähndrich, Microsoft Research,

Program committee:

  • Karl Crary (Carnegie Mellon University)
  • Dominic Duggan (Stevens Institute of Technology)
  • Cormac Flanagan (University of California at Santa Cruz)
  • Todd Millstein (University of California at Los Angeles)
  • Yasuhiko Minamide (University of Tsukuba)
  • Francois Pottier (INRIA Rocquencourt)
  • Peter Sewell (Cambridge University)
  • Carsten Schuermann (Yale University)

General chair: Greg Morrisett, Harvard University,