*********************************************************************
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
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
