ACM Logo ACM Logo

The Fifth ACM SIGPLAN Workshop on


Types in Language Design and Implementation

 


Madrid, Spain

Saturday, 23 January, 2010


To be held in conjunction with POPL 2010

 

Welcome to TLDI 2010

TLDI '10 is the fifth ACM SIGPLAN Workshop on Types in Language Design and Implementation.

The role of types and proofs in all aspects of language design, compiler construction, and software development has expanded greatly in recent years. Type systems, type-based analyses and type-theoretic deductive systems have been central to advances in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. The ACM SIGPLAN Workshop on Types in Language Design and Implementation brings researchers together to share new ideas and results concerning all aspects of types and programming, and is now an annual event. TLDI 2010 will be co-located with POPL in Madrid, Spain.

New! List of accepted papers.

New! We're pleased to announce that Matthias Felleisen will present the keynote talk at TLDI 2010.

Registration

To register for TLDI'10, follow the link from the POPL 2010 page.

Schedule

 Invited Talk (9:30 - 10:30)

Adding Types to Untyped Languages
Matthias Felleisen,  Northeastern University, Boston

Session 1 (11:00-12:30)

Effects for Cooperable and Serializable Threads
Jaeheon Yi and Cormac Flanagan

Race-free and Memory-safe Multithreading: Design and Implementation in Cyclone
Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas

Distributed programming with distributed authorization
Kumar Avijit, Anupam Datta and Robert Harper

Session 2 (14:30-16:00)

let should not be generalized
 Dimitrios Vytiniotis, Simon Peyton Jones and Tom Schrijvers

Pointwise Generalized Algebraic Data Types
Chuan-kai Lin and Tim Sheard

Verifying Event-Driven Programs using Ramified Frame Properties
 Neelakantan Krishnaswami, Lars Birkedal and Jonathan Aldrich

Session 3 (16:30-17:30)

Lightweight Linear Types in System Fo
Karl Mazurak, Jianzhou Zhao and Steve Zdancewic

F-ing Modules
Andreas Rossberg, Claudio Russo and Derek Dreyer


 
General Chair:

Andrew Kennedy
Microsoft Research, Cambridge
akenn at microsoft dot com

 

Program Chair:

 

Nick Benton
Microsoft Research, Cambridge

nick at microsoft dot com

 

Program Committee: 

 
Gilles Barthe  IMDEA Software
Viviana Bono University of Torino
Giorgio Ghelli University of Pisa
Dan Grossman University of Washington
Atsushi Igarashi Kyoto University
Conor McBride University of Strathclyde
Jeremy Siek University of Colorado at Boulder
Zhong Shao Yale University
Matthieu Sozeau Harvard University
Chris Stone Harvey Mudd College
Kristian Støvring ITU Copenhagen

 

Steering Committee: 

 
Amal Ahmed Indiana University
Craig Chambers University of Washington
Robert Harper Carnegie Mellon University (Chair)
Xavier Leroy INRIA Paris-Rocquencourt
Greg Morrisett Harvard University
George Necula Rinera Networks and UC Berkeley
Atsushi Ohori Tohoku University
Francois Pottier INRIA Paris-Rocquencourt
Zhong Shao Yale University