[Caml-list] 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

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

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs