From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 0D449BC37 for ; Tue, 24 Nov 2009 14:29:09 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjoAAKZuC0vVx4q1kWdsb2JhbACcGAEBAQEJCwoHEwYopAuXJoQ5BA X-IronPort-AV: E=Sophos;i="4.47,279,1257116400"; d="scan'208";a="37330143" Received: from smtp-dub.microsoft.com ([213.199.138.181]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-MD5; 24 Nov 2009 14:29:08 +0100 Received: from DB3EX14HUBC304.europe.corp.microsoft.com (10.166.18.184) by DUB-EXGWY-E802.partners.extranet.microsoft.com (10.251.129.2) with Microsoft SMTP Server (TLS) id 8.2.176.0; Tue, 24 Nov 2009 13:29:31 +0000 Received: from DB3EX14MBXC306.europe.corp.microsoft.com ([169.254.6.205]) by DB3EX14HUBC304.europe.corp.microsoft.com ([10.166.18.184]) with mapi; Tue, 24 Nov 2009 13:29:07 +0000 From: Andrew Kennedy To: "caml-list@inria.fr" Subject: Call for Participation: TLDI'10 Thread-Topic: Call for Participation: TLDI'10 Thread-Index: AcptChayjycqd9mJR5KksoCobjisBQ== Date: Tue, 24 Nov 2009 13:29:03 +0000 Message-ID: <39B4CD0B764E1B44AEA3DAA2F0385D5406D68934@DB3EX14MBXC306.europe.corp.microsoft.com> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Spam: no; 0.00; tldi:01 sigplan:01 popl:01 tldi:01 popl:01 compiler:01 type-based:01 compilation:01 sigplan:01 felleisen:01 untyped:01 felleisen:01 sagonas:01 kumar:01 sheard:01 *********************************************************************=20 CALL FOR PARTICIPATION=20 TLDI 2010=20 ACM SIGPLAN Workshop on=20 Types in Language Design and Implementation=20 23 January 2010=20 Madrid, Spain To be held in conjunction with POPL 2010 http://research.microsoft.com/~akenn/tldi2010/ *********************************************************************=20 IMPORTANT DATES=20 Hotel reservation deadline: December 28, 2009 (Monday) VENUE=20 TLDI'10 and all POPL'10 affiliated events will take place at the=20 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=20 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=20 ----------------------=20 Opening remarks: 9:20-9:30=20 Invited talk 9:30-10:30=20 *** Adding Types to Untyped Languages Matthias Felleisen, Northeastern University, Boston ----------------------=20 ** 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=20 ----------------------=20 ** Session II 2:30-4:00=20 *** let should not be generalized Dimitrios Vytiniotis, Simon Peyton Jones and Tom Schrijvers=20 *** 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=20 ----------------------=20 ** Session III 4:30-5:30=20 *** Lightweight Linear Types in System F^o Karl Mazurak, Jianzhou Zhao and Steve Zdancewic=20 *** F-ing Modules Andreas Rossberg, Claudio Russo and Derek Dreyer ----------------------=20 GENERAL CHAIR=20 Andrew Kennedy, Microsoft Research, Cambridge=20 PROGRAM CHAIR=20 Nick Benton, Microsoft Research, Cambridge PROGRAM COMMITTEE=20 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=F8vring, ITU Copenhagen, Denmark