********************************************************************* 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øvring and Jacob Thamsborg *** Design Patterns in Separation Logic Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kaspar Svendsen and Alexandre Buisse