********************************************************************* 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