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