TLDI 2009 Call for Participation

[Amal Ahmed <amal@tti-c.org>]

*********************************************************************
                         CALL FOR PARTICIPATION

                               TLDI 2009

                         ACM SIGPLAN Workshop on
              Types in Language Design and Implementation

                            24 January 2009
                         Savannah, Georgia, USA

               To be held in conjunction with POPL 2009

               http://ttic.uchicago.edu/~amal/tldi2009/
*********************************************************************

IMPORTANT DATES

Hotel reservation deadline: December 18, 2008
Early registration deadline: December 19, 2008


VENUE

TLDI'09 and all POPL'09 affiliated events will take place at the
Hyatt Regency Savannah.


SCOPE

The role of types in all aspects of language design, compiler
construction, and software development has expanded greatly in recent
years.  Type systems, type analyses, and formal deduction 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.  The
TLDI Workshop series aims to bring together researchers in all these
areas to share novel ideas and stimulate interaction and discussion on
the ever expanding use of types.


INVITED TALK

Ulf Norell, Chalmers University of Technology, Sweden
   Title: Dependently Typed Programming in Agda


PRELIMINARY PROGRAM

A preliminary program can be found at the end of this email, or it can
be found here:

    http://ttic.uchicago.edu/~amal/tldi2009/program.html


GENERAL CHAIR

Andrew Kennedy       Microsoft Research, Cambridge


PROGRAM CHAIR

Amal Ahmed           Toyota Technological Institute, Chicago


PROGRAM COMMITTEE

Amal Ahmed           Toyota Technological Institute, Chicago  (Chair)
Juan Chen            Microsoft Research
Peter Dybjer         Chalmers University of Technology
Jeff Foster          University of Maryland, College Park
Neal Glew            Intel
Robert Harper        Carnegie Mellon University
Andrew Myers         Cornell University
Atsushi Ohori        Tohoku University
Matthew Parkinson    University of Cambridge
Didier Remy          INRIA Paris-Rocquencourt
Andreas Rossberg     Max Planck Institute for Software Systems


PRELIMINARY PROGRAM

* SATURDAY, January 24, 2009

** Opening remarks: 8:50-9:00

** Invited talk  9:00-10:00

   Ulf Norell, Chalmers University of Technology, Sweden
   Title: Dependently Typed Programming in Agda

----------------------
** Session I   10:30-12:00

*** Compiling Functional Types to Relational Specifications for Low
     Level Imperative Code
   Nick Benton and Nicolas Tabareau

*** Typed Transformations of Typed Abstract Syntax
   Arthur Baars, S. Doaitse Swierstra and Marcos Viera

*** Secure Compilation of a Multi-Tier Web Language
   Ioannis Baltopoulos and Andrew Gordon

----------------------
** Session II   1:30-3:00

*** A Generic Type-and-Effect System
   Daniel Marino and Todd Millstein

*** Static Extraction of Sound Hierarchical Runtime Object Graphs
   Marwan Abi-Antoun and Jonathan Aldrich

*** Opis: Reliable Distributed Systems in OCaml
   Pierre-Evariste Dagand, Dejan Kostic and Viktor Kuncak

----------------------
** Session III   3:30-5:00

*** Type-theoretic semantics for transactional concurrency
   Aleksandar Nanevski, Paul Govereau and Greg Morrisett

*** Relational Parametricity for References and Recursive Types
   Lars Birkedal, Kristian Støvring and Jacob Thamsborg

*** Design Patterns in Separation Logic
   Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kaspar
   Svendsen and Alexandre Buisse