START Conference Manager    

TLDI 2009: Accepted Submissions

A Generic Type-and-Effect System
  Daniel Marino and Todd Millstein
Compiling Functional Types to Relational Specifications for Low Level Imperative Code
  Nick Benton and Nicolas Tabareau
Design Patterns in Separation Logic
  Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kaspar Svendsen and Alexandre Buisse
Opis: Reliable Distributed Systems in OCaml
  Pierre-Evariste Dagand, Dejan Kostic and Viktor Kuncak
Relational Parametricity for References and Recursive Types
  Lars Birkedal, Kristian StÝvring and Jacob Thamsborg
Secure Compilation of a Multi-Tier Web Language
  Ioannis Baltopoulos and Andrew Gordon
Static Extraction of Sound Hierarchical Runtime Object Graphs
  Marwan Abi-Antoun and Jonathan Aldrich
Type-theoretic semantics for transactional concurrency
  Aleksandar Nanevski, Paul Govereau and Greg Morrisett
Typed Transformations of Typed Abstract Syntax
  Arthur Baars, S. Doaitse Swierstra and Marcos Viera

START Conference Manager (V2.56.8 - Rev. 399)