Version franÁaise
Home ††† About ††† Download ††† Resources ††† Contact us †††

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Final Call for Participation: TLDI'10
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-12-22 (15:14)
From: Andrew Kennedy <akenn@m...>
Subject: Final Call for Participation: TLDI'10
                       FINAL 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



Early registration deadline for POPL: December 22, 2009 (TODAY!)
Hotel reservation deadline: December 28, 2009 (Monday)


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


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


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.


Matthias Felleisen, Northeastern University, Boston


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



  Andrew Kennedy, Microsoft Research, Cambridge 


  Nick Benton, Microsoft Research, Cambridge


  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