From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 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 67DD4BB84 for ; Tue, 9 Dec 2008 19:23:41 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArkCAMxGPkmM9zwYe2dsb2JhbACTXgEBFiIFvVuDBw X-IronPort-AV: E=Sophos;i="4.33,742,1220220000"; d="scan'208";a="18227722" Received: from bowser.eecs.harvard.edu (HELO mail.eecs.harvard.edu) ([140.247.60.24]) by mail2-smtp-roc.national.inria.fr with ESMTP; 09 Dec 2008 19:23:40 +0100 Received: from [192.168.2.187] (adsl-76-223-9-199.dsl.chcgil.sbcglobal.net [76.223.9.199]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by mail.eecs.harvard.edu (Postfix) with ESMTP id 9767F1A3C71 for ; Tue, 9 Dec 2008 13:23:36 -0500 (EST) Mime-Version: 1.0 (Apple Message framework v753.1) Content-Transfer-Encoding: quoted-printable Message-Id: Content-Type: text/plain; charset=ISO-8859-1; format=flowed To: caml-list@yquem.inria.fr From: Amal Ahmed Subject: TLDI 2009 Call for Participation Date: Tue, 9 Dec 2008 12:23:22 -0600 X-Mailer: Apple Mail (2.753.1) X-Spam: no; 0.00; tldi:01 tldi:01 sigplan:01 popl:01 compiler:01 compilation:01 dybjer:01 atsushi:01 ohori:01 tohoku:01 didier:01 rossberg:01 syntax:01 compilation:01 runtime:01 ********************************************************************* 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=F8vring and Jacob Thamsborg *** Design Patterns in Separation Logic Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kaspar Svendsen and Alexandre Buisse