TLDI 2009  Preliminary Program

SATURDAY, January 24, 2009


Invited Talk 9:00-10:00

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

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