English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-12-09 (18:23)
From: Amal Ahmed <amal@t...>
Subject: TLDI 2009 Call for Participation
                         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



Hotel reservation deadline: December 18, 2008
Early registration deadline: December 19, 2008


TLDI'09 and all POPL'09 affiliated events will take place at the
Hyatt Regency Savannah.


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.


Ulf Norell, Chalmers University of Technology, Sweden
   Title: Dependently Typed Programming in Agda


A preliminary program can be found at the end of this email, or it can
be found here:



Andrew Kennedy       Microsoft Research, Cambridge


Amal Ahmed           Toyota Technological Institute, Chicago


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


* 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øvring and Jacob Thamsborg

*** Design Patterns in Separation Logic
   Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kaspar
   Svendsen and Alexandre Buisse