Call for Participation: TLDI'10

[Andrew Kennedy <akenn@microsoft.com>]

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

                               TLDI 2010 

                         ACM SIGPLAN Workshop on 
              Types in Language Design and Implementation 

                            23 January 2010 
                              Madrid, Spain

               To be held in conjunction with POPL 2010

             http://research.microsoft.com/~akenn/tldi2010/
********************************************************************* 

IMPORTANT DATES 

Hotel reservation deadline: December 28, 2009 (Monday)


VENUE 

TLDI'10 and all POPL'10 affiliated events will take place at the 
Melia Castilla Hotel, Madrid.


REGISTRATION

To register for TLDI'10, follow the link from the POPL 2010 page, at

  http://www.cse.psu.edu/popl/10/


SCOPE 

The role of types and proofs in all aspects of language design,
compiler construction, and software development has expanded greatly
in recent years. Type systems, type-based analyses and type-theoretic
deductive systems have been central to advances in compilation
techniques for modern programming languages, verification of safety
and security properties of programs, program transformation and
optimization, and many other areas. The ACM SIGPLAN Workshop on Types
in Language Design and Implementation brings researchers together to
share new ideas and results concerning all aspects of types and
programming, and is now an annual event.


INVITED SPEAKER

Matthias Felleisen, Northeastern University, Boston


PRELIMINARY PROGRAM 

---------------------- 
Opening remarks: 9:20-9:30 

Invited talk  9:30-10:30 

*** Adding Types to Untyped Languages
   Matthias Felleisen, Northeastern University, Boston

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

*** Effects for Cooperable and Serializable Threads
   Jaeheon Yi and Cormac Flanagan

*** Race-free and Memory-safe Multithreading: Design and Implementation in Cyclone
   Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas

*** Distributed programming with distributed authorization
   Kumar Avijit, Anupam Datta and Robert Harper 

---------------------- 
** Session II   2:30-4:00 

*** let should not be generalized
   Dimitrios Vytiniotis, Simon Peyton Jones and Tom Schrijvers 

*** Pointwise Generalized Algebraic Data Types
   Chuan-kai Lin and Tim Sheard

*** Verifying Event-Driven Programs using Ramified Frame Properties
   Neelakantan Krishnaswami, Lars Birkedal and Jonathan Aldrich 

---------------------- 
** Session III   4:30-5:30 

*** Lightweight Linear Types in System F^o
   Karl Mazurak, Jianzhou Zhao and Steve Zdancewic 

*** F-ing Modules
   Andreas Rossberg, Claudio Russo and Derek Dreyer

---------------------- 


GENERAL CHAIR 

  Andrew Kennedy, Microsoft Research, Cambridge 


PROGRAM CHAIR 

  Nick Benton, Microsoft Research, Cambridge


PROGRAM COMMITTEE 

  Gilles Barthe, IMDEA Software, Spain
  Viviana Bono, University of Torino, Italy
  Giorgio Ghelli, University of Pisa, Italy
  Dan Grossman, University of Washington, USA
  Atsushi Igarashi, Kyoto University, Japan
  Conor McBride, University of Strathclyde, UK
  Jeremy Siek, University of Colorado at Boulder, USA
  Zhong Shao, Yale University, USA
  Matthieu Sozeau, Harvard University, USA
  Chris Stone, Harvey Mudd College, USA
  Kristian Støvring, ITU Copenhagen, Denmark